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

13 Commits (1460e8f9697c80ca2e9fb48a99612be8bb477b6b)

Author SHA1 Message Date
sjunges e718acffba move cli stuff from storm lib to an own small lib
8 years ago
dehnert ea02ea0838 started overhaul of cli/api
8 years ago
dehnert ad1fdd41ea fixed some wrong capitalizations
8 years ago
dehnert a323d21751 fixed some wrong capitalization
8 years ago
dehnert a85f4fdc89 replaced some StoRMs and Storms by storm, reworked version output a bit
8 years ago
dehnert a7e9c5819f removed 'size-in-memory' output as it was outdated and unreliable. added timing measurements for model construction and model checking
8 years ago
Matthias Volk d2e7de7067 Use Stopwatch for measuring total time
8 years ago
Matthias Volk de96f4444a Return exit code > 0 for exceptions
8 years ago
dehnert 61157cc1c5 add warning when computing minimal rewards on MDPs that reward values may be too low
8 years ago
Sebastian Junges d246517757 removed src prefix in all includes
9 years ago
Sebastian Junges e1d201c85e c++ code compiles again after rename
9 years ago
Sebastian Junges 3a7ee7867b rename files (does not compile)
9 years ago
dehnert 8f096e9475 more work on transient variables
9 years ago
dehnert 7ab88457a7 corrected reference to wrong settings module
9 years ago
sjunges fa9e33da59 option for print timings
9 years ago
dehnert 8f12b3b8c4 added option 'exact' (in addition to parametric)
9 years ago
TimQu cf648b5bf1 output of runtimes and other statistics
9 years ago
Mavo f48d8bc6b1 Initialize all modules in tests and normal storm
9 years ago
Mavo 8241df3b0b First step towards settings for multiple binaries
9 years ago
TimQu 56be3c183b implemented refinement of regions plus benchmarks
9 years ago
sjunges f219437acf Faster compilation times!
10 years ago
sjunges b50c823c77 Refactored for faster compilation times.
10 years ago
sjunges 1c776a25f2 removed inclusion of unnecessary headers
11 years ago
dehnert de5f90fe4b Rough version of refactored version of processing the options (in terms of computing something). Currently it is only capable of parsing the model and generating a counterexample.
11 years ago
dehnert e49814d391 Modified pctl/csl/ltl options to now take formulas instead of files. Prefixed the macros with STORM_. Moved these macros into a file in the utilities. Modified architecture of the exception classes slightly. Threw away all the contents of main(). This will now be build from scratch.
11 years ago
dehnert 266d660d89 Added functions responsible for printing the help. Started adapting the tests to the new option system.
11 years ago
dehnert 1cd01e3f28 Adapted all places that are accessing the settings to the new interface. It now compiles again with a lot of linker errors (because of method bodies that are not yet present).
11 years ago
sjunges 970f4aae39 changed scc model checker to support rational functions
11 years ago
sjunges 5817fe50b6 post merge fixes
11 years ago
dehnert 96e1f8faf9 Renamed Settings class to SettingsManager.
11 years ago
dehnert 95ee78ede2 First working version of SCC-based mc.
11 years ago
dehnert 77e2693ccc Further work on SCC-based mc.
11 years ago
dehnert 1cc930f0e4 Added proper source grouping for properties directory. Fixed one performance tests. Started on SCC-based reachability model checker.
11 years ago
sjunges daca9d5294 refactored main.cpp
11 years ago
dehnert 4f25312a6b Adapted SMT-based counterexample generator such that it works with the new property classes.
11 years ago
masawei 5a0059d110 Commented out the SMTMinimalCommandSetGeneraator, again.
11 years ago
masawei d75e32b83e Renames the folder formula to properties and the namespace property to properties.
11 years ago
PBerger 57882db84e Fixed warnings about unused variables in PathBasedSubsystemGenerator and SMTMinimalCommandSetGenerator. Also some stuff with type conversions.
11 years ago
PBerger 3bc31e927d Added per-formula timing output.
11 years ago
dehnert e2c2177dca Adapted MaxSAT-based minimal command set generator to some recent changes to make it work again.
11 years ago
masawei ee1ebdf91d Removed the visitor from LTL and refactured the formulas to use shared pointer in stead of standart pointer.
11 years ago
dehnert 28eed65a0d Fixed a reference to a non-existant option.
11 years ago
PBerger 5503e91bb3 Added detailed time measurement using std::chrono, leading to more useful information for comparison against Prism, etc.
11 years ago
masawei 4bf0299279 Changed the Prctl/Csl formula parsers to be static classes.
11 years ago
sjunges d4c2657856 Parsing parameteric dtmcs and exporting them to smt2
11 years ago
sjunges 7ca6a4edeb sub part for parameters, working parsing for non parametric systems into a parametric system
11 years ago
dehnert 7667933caf First working version of explicit model generation using the new PRISM classes and expressions.
11 years ago
dehnert e67eb05309 Changed internal data structures of PRISM classes slightly. Added classs for certain ingredients that were represented as primitives before.
11 years ago
sjunges a528610d98 version is now written into a seperate header file to prevent recompile of many files after a commit
11 years ago
dehnert dd15e60193 Removed faulty deletion of cudd utility (is obsolete now anyway).
11 years ago