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

703 Commits (44fe60e35a07d454069db623e6ffd3cc3ad1f1b4)

Author SHA1 Message Date
Sebastian Junges d246517757 removed src prefix in all includes
8 years ago
Sebastian Junges e1d201c85e c++ code compiles again after rename
8 years ago
sjunges df690536c6 Remove old files
8 years ago
dehnert df9ff5dfdb removed debug output in test and delete dylib if building fails
8 years ago
TimQu 0ee4c9badb removed some tests as they took way too long
8 years ago
TimQu 48b82e7b14 refactored auxData in linear equation solvers
8 years ago
TimQu f09e97d1e7 fixed tests, removed old files
8 years ago
dehnert 070e115b60 tests for JIT based model builder
8 years ago
TimQu 82a3be3d74 .. missing files
8 years ago
TimQu ea2315e903 restructured code for pcaa implementation
8 years ago
dehnert 812e1c4235 adapted test to new check policy and made jani variable and expression variable have the same name in PRISM-to-JANI conversion
8 years ago
TimQu 71e181bd93 some quick and dirty optimizations (that need to be reviewed)
8 years ago
dehnert 2471036df4 more work on jit-thing: transitioning to proper handling of synchronizing edges
8 years ago
dehnert 299b2d7a56 some start on JIT-based model builder
8 years ago
sjunges 7ef857137e tests updated to respect headers now missing in parsers
8 years ago
dehnert 1b42af776c missing test-input file
8 years ago
dehnert 0f1c1f28ab fixed bug related to input-enabling automata, tests now passing
8 years ago
dehnert d3cf9a4e7f adding Markov automaton tests to explicit JANI model builder
8 years ago
dehnert 3504d09500 added quite some debug output to see where things are going wrong
8 years ago
dehnert 36e07006f9 added test for legality check of synch vectors
8 years ago
dehnert d22d1daaa6 adapted more tests
8 years ago
dehnert ba35120683 fixing problems as a consequence of moving from PRISM programs to SymbolicModelDescription
8 years ago
dehnert 62ca16b20a alpha-draft of synchronization vectors in JANI
8 years ago
dehnert c2cab571f5 made tests work again
8 years ago
TimQu ee8d345667 csl MA model checker does not allow rational numbers
8 years ago
sjunges ba81925c1d renamed smt2smtsolver to smtlibsmtsolver and cleaned make files
8 years ago
sjunges 19bf801456 Fixed MDP tests
8 years ago
sjunges d97b0b2897 cleaned tests
8 years ago
sjunges b6465020a2 towards working tests in pla
8 years ago
sjunges ba1f6bf3d5 jani property stub
8 years ago
sjunges 2637d51afc set formula
8 years ago
sjunges 9632ca9f6f fixed tests
8 years ago
sjunges 0ef2b55c75 made some region settings attribute to the model checker instead of global
8 years ago
sjunges 548ba8bbeb somehow managed my way through the policy guessing, several minor extensions to solvers
8 years ago
sjunges 4999cfa8a0 By performance tests, you served us well but we do not love you any longer
8 years ago
sjunges d8d8f70f0c functional tests now work with the refactored code base
8 years ago
TimQu 0760e2a7f9 tiny MA example, small fix and test cases for MAs
8 years ago
Mavo 5b8cf447c7 Small changes in tests to compile without Carl
8 years ago
TimQu b267394a2c fixed the case where an objective is satisfied at the initial state.
9 years ago
TimQu 252c2308fe Renamed NeutralEcRemover -> EndComponentEliminator
9 years ago
sjunges 88af02e723 towards new jani version
9 years ago
TimQu d2c1c2d6f7 updated fragment checking for multi objective formulas
9 years ago
TimQu f681206393 building markov automata from prism code
9 years ago
PBerger 0f84cdcadb Fixed performance tests.
9 years ago
dehnert 83c4b1647c solvers now can allocated auxiliary memory
9 years ago
TimQu 4496b53002 merge fixes
9 years ago
dehnert 95b95d9c64 fixed some minor issues and renamed equation solver methods slightly to make the names a bit more compact
9 years ago
dehnert 9ab33528b4 started to fill value iteration implementation in new general min-max solver
9 years ago
dehnert b4e0cabef6 started working on general min-max solver that uses an underlying linear equation solver. provided necessary factories. adapted code and removed old min-max solvers
9 years ago
dehnert 8153306ced fixed wrong call to Eigen's iterative solvers
9 years ago