Commit b499357a authored by Christian Müller's avatar Christian Müller
Browse files

add readme

parent 8a956206
...@@ -5,10 +5,6 @@ Scala Implementation of the workflow language with loops. ...@@ -5,10 +5,6 @@ Scala Implementation of the workflow language with loops.
Workflows can be written directly in Scala by instantiating case classes. Workflows can be written directly in Scala by instantiating case classes.
You can find implicits helping with that in ``de.tum.workflows.Implicits``. You can find implicits helping with that in ``de.tum.workflows.Implicits``.
For now, it is possible to generate the LTL formula for a workflow using
``Encoding.toFOLTL(w)``
and translate it to pure LTL that can be parsed by Spot.
## Building ## Building
To get sbt to build the project properly, you have to add the Supersafe Compiler plugin by adding To get sbt to build the project properly, you have to add the Supersafe Compiler plugin by adding
``resolvers += "Artima Maven Repository" at "http://repo.artima.com/releases"`` to ``~/.sbt/0.13/global.sbt`` ``resolvers += "Artima Maven Repository" at "http://repo.artima.com/releases"`` to ``~/.sbt/0.13/global.sbt``
...@@ -17,7 +13,7 @@ To get sbt to build the project properly, you have to add the Supersafe Compiler ...@@ -17,7 +13,7 @@ To get sbt to build the project properly, you have to add the Supersafe Compiler
## Testing ## Testing
An example can be found at ``de.tum.workflows.Main`` An example can be found in ``de.tum.workflows.Main`` and many tests in ``src/test/scala``
It can be run using ``sbt run`` and logs the resulting LTL formulas for the example workflows to results/. It can be run using ``sbt run`` and logs the resulting LTL formulas for the example workflows to results/.
### Aalta ### Aalta
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment