sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
6761 Commits
2 Branches
0 Tags
187 MiB
Tree: 07588df137
Commit Graph

9 Commits (07588df1376364c76ab300cae4abc907fe4ff52c)

Author SHA1 Message Date
Sebastian Junges 07588df137 operators to remove bounds / optimality types from a formula
6 years ago
dehnert 6ab7859c84 fixing more of Lindas issues
7 years ago
dehnert c3d40d634b started working on the github issues by Linda
7 years ago
dehnert ea02ea0838 started overhaul of cli/api
8 years ago
TimQu f0ae3a2dfb Bounds of operator formulas are now expressions, allowing formulas such as P<1/N [ F "goal" ] for model constant N
8 years ago
Tom Janson 1d5786dd58 catch uninit access on wrong formula type
8 years ago
Sebastian Junges d246517757 removed src prefix in all includes
8 years ago
Sebastian Junges e1d201c85e c++ code compiles again after rename
8 years ago
Sebastian Junges 3a7ee7867b rename files (does not compile)
8 years ago
sjunges cf583ec9dd formulae with rational number bounds
9 years ago
dehnert c2b287a1e1 more work on learning approach
9 years ago
dehnert 51402ec853 removed measure type and only added measure type to reward/time operators
9 years ago
dehnert 016ab53f42 making the logic formulas better
9 years ago
dehnert 45e59848a9 first steps
9 years ago
dehnert bdcd4b26a3 refactoring early termination and solve goals and bounds
9 years ago
dehnert 4367bdb378 properly introduced CheckTask in all model checkers and made it compile again (+ functional tests working)
9 years ago
sjunges bb408b2b29 parser returns non-const formulae now
9 years ago
sjunges 8568ee3986 only one optimization direction enum -- towards integration of termination criterions on the model checker
10 years ago
dehnert 9026aa9ac9 Adapted first model checker to the new properties.
10 years ago
dehnert 1699732dce More work on logic classes.
10 years ago
dehnert 4c9d6ccfc5 Removed actions and filters and old logic classes.
10 years ago