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

5545 Commits (9859f60db0af7f9d56ca642545fc2ab4539b0365)
 

Author SHA1 Message Date
gereon 47cb1aa4d9 renamed BoundOperator to PathBoundOperator (StateBoundOperator is coming soon...)
12 years ago
Lanchid bb34e94eac Changed the output function of the formulae to produce a string in the
12 years ago
dehnert db01eb92d9 Splitted explicit model adapter into several logical functions.
12 years ago
Lanchid cfef571365 Merge branch 'master' into PrctlParser
12 years ago
Lanchid ab4174183b Changed PrctlParser to directly parse the input string as formula, and
12 years ago
Lanchid f35fff7061 Replaced log4cplus with its state in the master branch
12 years ago
Lanchid e829e613c0 Changed grammar such that brackets are not necessary around each binary
12 years ago
dehnert 34aff4cbd9 Added constructor for ExplicitModelAdapter class.
12 years ago
Lanchid e2f6b4b265 Extended parseComplexFormulaTest to use nested path formulas
12 years ago
dehnert 93af6147c4 Minor change to .gitignore.
12 years ago
gereon 10e25fbd61 fixed warnings in ParseMdpTest
12 years ago
gereon 51a5012dba fixed warnings in SparseMatrix
12 years ago
Lanchid 03bee97786 Merge branch 'master' into PrctlParser
12 years ago
Lanchid 3833c8af41 Some more test cases for PRCTL formula parsing
12 years ago
dehnert e52379bb54 Added XCode stuff to .gitignore. Fixed a few tests to compile with clang under -Werror.
12 years ago
Lanchid b66e1a34db Some fixes in formulas
12 years ago
Lanchid 02528f2bd9 Test cases for Prctl parser
12 years ago
dehnert 777aa3a914 Intermediate commit to switch workplace.
12 years ago
gereon 86965ff12a removed obsolete typedef
12 years ago
gereon bd39a9b44c Merge branch 'interfacelogic'
12 years ago
gereon d7a288d05a fixed "copy" constructor
12 years ago
gereon 55c2d5c03f implemented clone for BoundedNaryUntil
12 years ago
gereon 54565ddd55 changed rowMapping to vector<int>
12 years ago
gereon 583ebf62bd made rowMapping from NDSTParser available in MDP model class
12 years ago
gereon 1d1f9da315 made rowMapping from NDSTParser available in MDP model class
12 years ago
dehnert be182293ee Small fix on Eigen-based model checker to make it compile with clang.
12 years ago
Lanchid 21e0ecd9f0 Change in CmakeLists.txt: When building debug, add -g as CXX flag (For
12 years ago
Lanchid 7e87f35e95 First test case for prctl parser, and some necessary modifications for
12 years ago
PBerger a598d3751c The DeterministicSparseTransitionParser.cpp was still broken, rewrote it in a simpler and more convenient way.
12 years ago
PBerger 02cb1a2418 Replaced all calls to Matrix->toEigenSparseMatrix with calls to the adapter.
12 years ago
dehnert ff0f2197b2 Merge with master.
12 years ago
dehnert 6fb56748a6 Bugfix for correctly counting the number of values the parser inserts.
12 years ago
dehnert 726569d5f1 Fixed bug in parser that inserted 0-entries on the diagonal at the wrong places. Enabled link-time-optimizations for Release-Build when using clang. Fixed bug in base exception: what() returned a pointer to a char array belonging to a local variable, which got deallocated and thus invalidates the char array content.
12 years ago
PBerger 9a9cd968d9 Added a test to verify the RowSum Function in the Sparse Matrix.
12 years ago
gereon 43b56fce62 first version of BoundedNaryUntil. clone() does not work yet...
12 years ago
dehnert 1edd306032 Silenced warning of clang: Changed NULL to nullptr as this should be used in C++11.
12 years ago
dehnert 0a6a0b9fd3 Eliminated warning of clang by introducing proper getter.
12 years ago
gereon 9a73a2740a second hald of documentation. I guess that's it :-)
12 years ago
gereon 3716dedc78 first half of documentation.
12 years ago
gereon 8077952331 adding needed methods for more formula classes
12 years ago
gereon 8449c5ee11 implemented formula checker
12 years ago
dehnert c47b559986 Fixed minor bugs for Jacobi decomposition.
12 years ago
dehnert 5f57cbb12a Now able to build the BDD for the die example, including the reachability analysis! Booyah
12 years ago
dehnert 4d813999e3 Backup commit. On my way of buidling appropriate BDDs.
12 years ago
gereon 9d65bdeef3 next iteration on formulas...
12 years ago
dehnert c4af78b859 Added singleton utility class for CUDD-based things. Added some first methods to expression classes to generate ADDs, but this should be moved to a separate class implementing the expression visitor pattern.
12 years ago
dehnert 5b0af74fa6 Integrated a few more functions to CUDD which are necessary (PRISM adds them as well).
12 years ago
dehnert 278b425a35 Switched to die example.
12 years ago
PBerger 7e121b030e Merge branch 'master' of https://sselab.de/lab9/private/git/storm
12 years ago
dehnert 7331544377 Added output functionality to bit vector and moved test-checking lines in storm.cpp to the right place.
12 years ago