sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
3594 Commits
2 Branches
0 Tags
187 MiB
Tree: 6f11b688d3
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '6f11b688d3'
${ noResults }
Commit Graph

14 Commits (6f11b688d3498e78bf580b8af90b5ddc97d5bec0)

Author SHA1 Message Date
dehnert 0f1c1f28ab fixed bug related to input-enabling automata, tests now passing
9 years ago
dehnert c2cab571f5 made tests work again
9 years ago
dehnert a699272dc6 renamed storm::Variable to storm::RationalFunctionVariable to avoid confusion with storm::expressions::Variable. fixed some Eigen tests
9 years ago
dehnert 4cc780cbc0 tests compiling and running again
9 years ago
dehnert d35c99e844 renamed central model builder function
9 years ago
dehnert 6655ee41d8 started to restructure explicit model builder to make it fit for JANI models
9 years ago
Mavo a0d659f2da always use shared_ptr<Formula const>
9 years ago
TimQu d2d1ebdb1a test didn't compile due to recent changes in carl::rationalize
9 years ago
Mavo 67d77608bd Refactoring of settings
10 years ago
dehnert adb42b3ac0 fixed minor things related to merge
10 years ago
Mavo 652aeb7562 Fixed compile error with CarlRationalNumber instead of RationalNumber
10 years ago
TimQu 6e8602413e ModelInstantiator + test
10 years ago
TimQu da0dafe5be ModelInstantiator!!!!11
10 years ago