dehnert
|
b7be027f7a
|
switching workplace
|
7 years ago |
|
dehnert
|
5e2ccaeeb5
|
started moving towards simpler sparse quotient extraction
|
7 years ago |
|
dehnert
|
2f97684d6d
|
fixed bug in recent optimization (only CUDD-based implementation was faulty)
|
7 years ago |
|
dehnert
|
d23547d99f
|
started optimizing some DdManager methods
|
7 years ago |
sjunges
|
2b01e2fa61
|
GraphConditions for any model type
|
7 years ago |
|
dehnert
|
93f385a399
|
remove debug output
|
7 years ago |
|
dehnert
|
7e723b2b8f
|
faster block encoding for CUDD; optimizations in sparse quotient extraction
|
7 years ago |
|
sjunges
|
a27e7bdc82
|
no longer use arithconstraint
|
7 years ago |
|
sjunges
|
a994b80931
|
getting rid of outdated carl simple constraint usage
|
7 years ago |
|
sjunges
|
e718acffba
|
move cli stuff from storm lib to an own small lib
|
7 years ago |
|
sjunges
|
2c2dc5acd8
|
Changed API such that the command line settings do not occur in the settings anymore. Moreover, to prevent having 15 Boolean arguments, the build options are now part of the API.
|
7 years ago |
|
sjunges
|
98d124bd06
|
As the builder options now occur in the API, we should improve their documentation.
|
7 years ago |
|
sjunges
|
bf6258bd86
|
builder options have uniform signature
|
7 years ago |
|
dehnert
|
8ed3a8a6db
|
fixed some issues with meta variables in DDs
|
7 years ago |
|
dehnert
|
115f7734eb
|
more work on dd bisim
|
7 years ago |
|
dehnert
|
9a20aed7f9
|
proper caching in all min/max/exists abstract representative functions
|
7 years ago |
|
dehnert
|
27ffeb3a45
|
fixed a critical bug in symbolic bisimulation and started reworking sparse quotient extraction
|
7 years ago |
|
dehnert
|
a71c0cb585
|
Made some sylvan Bdd creations explicit
|
7 years ago |
|
dehnert
|
51e5c11dfa
|
using refs in sylvan signature refinement
|
7 years ago |
|
dehnert
|
2441d9b8d7
|
removed conversion operator for Bdd
|
7 years ago |
|
dehnert
|
d0ec9a362f
|
added time output to cli
|
7 years ago |
|
dehnert
|
cdf76b0c15
|
fixed DD-based quotient extraction in bisimulation
|
7 years ago |
|
dehnert
|
653e5fc184
|
setting default native technique to jacobi again
|
7 years ago |
|
dehnert
|
d0cf2ef57b
|
update to version 1.4.0 of sylvan
|
7 years ago |
|
dehnert
|
81e9d2ae50
|
added some sanity checks and debug output
|
7 years ago |
Matthias Volk
|
38cc9b1265
|
Fixed typo in doc
|
7 years ago |
|
dehnert
|
9373e3d763
|
started on MDP quotient extraction
|
7 years ago |
|
dehnert
|
2b0911d627
|
more work on MDP bisimulation
|
7 years ago |
Sebastian Junges
|
07fe0a8e3a
|
new target: binaries, compiles all the storm binaries, but not the tests etc
|
7 years ago |
|
Sebastian Junges
|
324c0770dd
|
jani parser supports abscence of action declarations
|
7 years ago |
|
Sebastian Junges
|
ca3b475ce5
|
collect variables during collection of constraints
|
7 years ago |
|
dehnert
|
472eaffabc
|
more work on refiners that deal with nondeterminism variables
|
7 years ago |
TimQu
|
9ca14a54fc
|
templated the LpSolvers
|
7 years ago |
|
TimQu
|
f46e8bcccf
|
fixed selecting LPMinMaxSolver in --exact mode
|
7 years ago |
|
TimQu
|
8ff7cd1026
|
removed solver and constraint names in the LpMinMaxSolver
|
7 years ago |
|
TimQu
|
9341a5d386
|
added support for scheduler generation with the Lp based MinMaxSolver
|
8 years ago |
|
TimQu
|
89f1796c56
|
Fixed creation of LpMinMaxSolver with the generalMinMaxSolverFactory
|
8 years ago |
|
TimQu
|
5fdb03440d
|
First version of LpMinMaxLinearEquationSolver
|
8 years ago |
|
TimQu
|
499b25c3ea
|
removed methods 'getPrecision' and 'getRelative' from the abstract MinMax solver interface. Not every solver needs these methods.
|
8 years ago |
|
Matthias Volk
|
7330f1659e
|
Set development flag for Storm version
|
7 years ago |
|
dehnert
|
d0840f783a
|
further in debugging MDP bisimulation
|
8 years ago |
|
dehnert
|
a1db269e8f
|
started on debugging MDP bisimulation
|
8 years ago |
|
dehnert
|
f3ebfaa90f
|
more work on MDP bisimulation
|
8 years ago |
|
dehnert
|
03920c096a
|
missing file
|
8 years ago |
|
dehnert
|
c586213bc6
|
started on factoring out preservation information
|
8 years ago |
|
dehnert
|
277faf6673
|
started on MDP partition refiner
|
8 years ago |
|
dehnert
|
22d5cb95cd
|
add forgotten file
|
8 years ago |
|
dehnert
|
4af363811f
|
reworked refinement a bit in an attempt to prepare for MDPs
|
8 years ago |
|
Sebastian Junges
|
b3a2da48d9
|
storm wellformedness constraints fixed in case of negative coefficients
|
8 years ago |
|
Sebastian Junges
|
d1f8712542
|
Check updates do not contain negative likelihoods
|
8 years ago |
