Matthias Volk
|
190e36605a
|
Refactored computation of relevant events
|
5 years ago |
|
Matthias Volk
|
936985f536
|
Add labels for claiming in Markov chain with flag --labels-claiming
|
5 years ago |
|
Matthias Volk
|
06941e7c48
|
Setting 'dft-statistics' prints information about intermediate approximation results
|
5 years ago |
Tim Quatmann
|
9962da7453
|
Registered missing settings modules in storm-dft and storm-pars
|
5 years ago |
|
Tim Quatmann
|
11ed073632
|
Making storm-dft compile again...
|
5 years ago |
|
Tim Quatmann
|
20f5cf158b
|
storm-dft: Using symmetry reduction by default.
|
5 years ago |
Sebastian Junges
|
debabb01bb
|
cmd line arguments for hinting on the number of states added
|
5 years ago |
|
Matthias Volk
|
ba6358c3fa
|
Set optional arguments for settings
|
5 years ago |
Alexander Bork
|
a257071346
|
Added option to transform a DFT to only use one unique constantly failed BE
|
6 years ago |
|
Alexander Bork
|
a73c2691b6
|
Integration of the new settings in the DFT analysis
|
6 years ago |
|
Matthias Volk
|
b34351ec85
|
Maximal exploration depth can be specified for state space generation
|
6 years ago |
|
Matthias Volk
|
f2c902eedb
|
Set labels, dont care propagation and unique failed state according to relevant events
|
6 years ago |
|
Matthias Volk
|
972371c9a2
|
Started on the notion of 'relevant events' for DFT analysis
|
6 years ago |
|
Matthias Volk
|
5d8fc7db77
|
Removed approximation heuristic NONE
|
6 years ago |
|
Matthias Volk
|
34edb426be
|
Fixed arguments for exploration heuristic settings
|
6 years ago |
|
Matthias Volk
|
5952aa8a6f
|
Set labels, dont care propagation and unique failed state according to relevant events
|
6 years ago |
|
Alexander Bork
|
4507b484d5
|
Re-added option to export DFTs to smtlib2 SMT files
|
6 years ago |
|
Matthias Volk
|
99651bdc71
|
Started on the notion of 'relevant events' for DFT analysis
|
6 years ago |
|
Matthias Volk
|
7b4a51effe
|
Removed approximation heuristic NONE
|
6 years ago |
|
Matthias Volk
|
b4bd898f1b
|
Fixed arguments for exploration heuristic settings
|
6 years ago |
|
Matthias Volk
|
ce3b63da12
|
Fixed json export settings
|
6 years ago |
|
TimQu
|
4a7a82627f
|
storm-gspn and storm-dft now use functionalities of storm-conv
|
7 years ago |
|
Alexander Bork
|
ec3cb1a134
|
Added alternative method to calculate priorities for better compatibility with MC4CSLTA
|
7 years ago |
|
Matthias Volk
|
cf316df35e
|
Added settings for DFT-GSPN transformation
|
7 years ago |
|
Matthias Volk
|
4bdedfbb9a
|
Added missing settings
|
7 years ago |
|
Matthias Volk
|
8b757466e8
|
Added GameSolverSettings which are now required
|
7 years ago |
|
TimQu
|
7d705240ce
|
introduced model checker settings
|
7 years ago |
|
Matthias Volk
|
31821bc1d0
|
Display DFT stats
|
7 years ago |
|
Matthias Volk
|
8ba365fee9
|
Fixed includes after moving files
|
7 years ago |
|
Matthias Volk
|
8a74be1b72
|
Refactored DFT settings
|
7 years ago |
|
Matthias Volk
|
40212bb7e6
|
Added possibility to avoid non-determinism by only taking the first dependency
|
8 years ago |
|
Matthias Volk
|
b178703a88
|
Check for set of timepoints
|
8 years ago |
|
TimQu
|
dccedcad24
|
fixed minor compile issues
|
8 years ago |
dehnert
|
49597fca86
|
reworked argument validators for settings
|
8 years ago |
|
Matthias Volk
|
743ce2b023
|
Export DFT to Cytoscape JSON format
|
8 years ago |
|
Matthias Volk
|
63d594fb45
|
Rudimentary DFT parser from Cytoscape's JSON
|
8 years ago |
|
Sebastian Junges
|
82a740a74e
|
storm-dft running again
|
8 years ago |
