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

14 Commits (46e39e6a6e188ef80286f7dff7033b46c1c748e5)

Author SHA1 Message Date
Matthias Volk 46e39e6a6e Removed statistics in BitVectorHashmap which were only used for debugging purposes
7 years ago
dehnert 77a031aaeb changed encoding of spirit parser, fixed an issue in variable information related to how many bits are necessary to store the state, changed some output formatting
7 years ago
dehnert a72f82a6d4 fixed typo
8 years ago
dehnert 95fae73833 slight improvements to bit vector hashmap
8 years ago
dehnert 1f9e2967c8 some optimizations in explicit model building
8 years ago
dehnert 6501fffac3 several optimizations related to explicit model building
8 years ago
dehnert 8116b360ba changed hash function of bit vector hash map
8 years ago
dehnert 3a11914da0 commit to switch workplace
8 years ago
dehnert f772af6241 fixed bug in bit vector hash map
8 years ago
dehnert db7d058800 converted some assertions into exceptions in bit vector hash map
8 years ago
dehnert b99bc59215 adding some primes
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
TimQu f285858e28 added required includes
9 years ago
Mavo 37a86d8190 Compile fixes for gcc
9 years ago
dehnert ffe63ea95d made dfs as exploration order available
9 years ago
dehnert 55fd1b66c3 introducing exploration orders to explicit builder
9 years ago
dehnert fad28df7d6 first working version of next-state generator for PRISM models
9 years ago
Mavo 8a77228e32 Set value in BitVectorHashMap
9 years ago
Mavo 0156b12764 Fixed compile problem under gcc
9 years ago
Mavo d160bb1b13 Use only state ids instead of complete data structure
9 years ago
Mavo 69a464d5ef Changed unordered_set to BitVectorHashMap for DFTState
9 years ago
Mavo dd17955a3e Added functionality to BitVectorHashMap
9 years ago
dehnert e20942393e added some primes
9 years ago
dehnert 5c838e2006 added the feature to build information about the state space that can be retrieved after building the model to the explicit model builder
10 years ago
dehnert 2bd0e2e377 Improved performance of explicit model generation a bit.
10 years ago
dehnert 91e177028d Started refactoring explicit model generator of PRISM models
10 years ago
dehnert 5e37c09fc0 Fixed some bugs.
10 years ago
dehnert 231d2223a9 Model building works again (more or less)
10 years ago
dehnert 6f2916d557 Adapted the explicit model generator to the new hash map. Surprise: doesn't work yet.
10 years ago
dehnert 43d77e0adc Wrote tests for the new necessary bit vector operations (they fail, because the bit vector is organized in a weird way and needs to be restructured.)
10 years ago
dehnert 30f78b0a99 Intermediate commit. Started improving explicit model adapter performance.
10 years ago
dehnert aaefe7dfa5 Fixed some tests/parser.
10 years ago
dehnert 53196f5610 Created bit vector hash map and some necessary bit vector methods.
10 years ago