374 Commits (430ddf33716c7b166659c7054313a1d434d7e9de)
 

Author SHA1 Message Date
Matthias Volk 430ddf3371 Merge branch 'master' of stormpy 6 years ago
Sebastian Junges c9d4584dd4 some support for the solver environment 6 years ago
Sebastian Junges 653144d415 counterexample support updated 6 years ago
Matthias Volk 944b5bd01c Updated test as TimeOperatorFormulas are now supported in Storm 6 years ago
Matthias Volk 8dfd0b4332 First part of DFT documentation 6 years ago
Matthias Volk 7821e72dac Fixed path in documentation 6 years ago
Matthias Volk a7cc7b3086 Extended bindings for DFT class 6 years ago
Sebastian Junges acb1004c04 choice origins 6 years ago
Sebastian Junges 134eae5741 extend capabilities for formulae 6 years ago
Sebastian Junges 953c1551dc access reward names in reward operator 7 years ago
Sebastian Junges eb3c7e8849 Get Choice Labeling 7 years ago
Matthias Volk 4efdb3db8c Started extending DFT bindings 6 years ago
Matthias Volk 92b1ed72bc Adaptions to changes in Storm 6 years ago
Matthias Volk 2ab55a3b30 Fixed number in doc test 7 years ago
Matthias Volk b90e061665 Added missing include 7 years ago
Matthias Volk d70f727c0b Updated BRP Jani file 7 years ago
Matthias Volk ae8615533b Relaxed relative tolerance for some model checking results 7 years ago
Matthias Volk 9b1c64860a Increase required storm version 7 years ago
Sebastian Junges 5a16a60038 fixed spacing 7 years ago
Sebastian Junges 50f7e054f7 bindings for cex generator stats 7 years ago
Sebastian Junges 2bb610885a initialise counterexample settings 7 years ago
Sebastian Junges 38b4960d8f add precompute bindings 7 years ago
Sebastian Junges fafe3e658a Merge branch 'master' into wrap_highlevel 7 years ago
Sebastian Junges 7bb7023e01 transformation: default no formulae given 7 years ago
Sebastian Junges 4ef4844c30 std::chrono support in stormpy 7 years ago
Sebastian Junges f08df44acf access to is prop operator, is reward operator in formulae 7 years ago
Sebastian Junges db71b7e5fd fixed transformation after changes in storm 7 years ago
Sebastian Junges c0ac30fcd2 access to: preserved label names during building 7 years ago
Sebastian Junges 367fa419dd add some fields to counterexample options 7 years ago
Matthias Volk 2cd54a1e0d Updated CHANGELOG 7 years ago
sjunges 70a54e26c9 updated based on changes in storm 7 years ago
Sebastian Junges 34ecebcb49 Merge branch 'master' into wrap_highlevel 7 years ago
Sebastian Junges b649847363 extended access to prism/jani/expressions/formulae 7 years ago
Sebastian Junges 2ac815b826 extended wrapper for counterexamples: 7 years ago
Sebastian Junges 668753696a more building options 7 years ago
Sebastian Junges 5f4bcfa61c switches for debug output 7 years ago
Matthias Volk 5cdc14bb0a Use find_library to search for storm libs 7 years ago
Matthias Volk 3cced14e29 Typo 7 years ago
Matthias Volk 5d4c344a9c Added missing include 7 years ago
Matthias Volk 78a56cf732 Added missing include 7 years ago
Matthias Volk c42ccaf644 Added missing include 7 years ago
Matthias Volk 054df185c0 Transformation from symbolic model to sparse model 7 years ago
Matthias Volk c30d5a1433 Symbolic bisimulation 7 years ago
Matthias Volk 62f3d3630e Bindings for dd and hybrid model checking 7 years ago
Matthias Volk 32f468e92c Added tests for symbolic parametric models 7 years ago
Matthias Volk 54433ca8a3 Tests for symbolic model building 7 years ago
Matthias Volk f5a014ed5e Bindings for symbolic model building 7 years ago
Matthias Volk cfb6dfbf2f Better naming for sparse model building 7 years ago
Matthias Volk 21ecfacc3b Bindings for symbolic models using Sylvan 7 years ago
Matthias Volk 0072a3fc98 Refactoring for sparse models 7 years ago