sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
5615 Commits
2 Branches
0 Tags
187 MiB
Tree: f5a3291ce7
Commit Graph

17 Commits (f5a3291ce74667ca80be6a81719762b8c6102edf)

Author SHA1 Message Date
Joachim Klein f5a3291ce7 Fix memory leak in BitVector::operator=(BitVector&& other)
8 years ago
dehnert c20f3a9400 fixed bug in bit vector copy constructor pointed out by Joachim Klein
8 years ago
dehnert c94bc3a585 fix erroneous copy constructor of bit vector
8 years ago
dehnert 95fae73833 slight improvements to bit vector hashmap
8 years ago
dehnert 8b557c36a7 adding murmur3 as a possible hash fct for bit vectors
8 years ago
dehnert d6c5367e85 fix possible memory leak in bitvector
8 years ago
dehnert 03489be59f sligh FNV1a hash improvement
8 years ago
dehnert 1f9e2967c8 some optimizations in explicit model building
8 years ago
dehnert 3a11914da0 commit to switch workplace
8 years ago
dehnert c8e19d2e44 fixed priority queue implementation and upper reward bound computation
8 years ago
TimQu 433c05cc3e Fixed compiling under Linux
8 years ago
TimQu e7bc5fdef9 fixed several minor bugs regarding the choicelabeling
8 years ago
TimQu 25074b50a9 Added function to get the next unset bit in a bitvector
8 years ago
Sebastian Junges 276261ae55 slightly more informative error message in out-of-bounds in bitvector
9 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 4f369f10e4 adapted delete to delete[] in BitVector to match new[]
9 years ago
dehnert bba69684c9 reworked explicit Markov automaton generation a bit
9 years ago
PBerger 67244869db src/storage/BitVector: Replaced constant 1 unsigned long long with cast to decltype. This fixes a template resolvation error in std::max.
9 years ago
TimQu 12287e5090 small fix for building MAs
9 years ago
TimQu f681206393 building markov automata from prism code
9 years ago
TimQu b0d2af20ae added check for existence of __builtin_popcountll (reverted from commit 30bcfcad0e [formerly 65f94a6d6e])
9 years ago
TimQu 30bcfcad0e added check for existence of __builtin_popcountll
9 years ago
Mavo bc10291680 STORM_DEVELOPER mode introduced
9 years ago
Mavo eeb0f620ec STORM_DEVELOPER mode introduced
9 years ago
Mavo 5eaa46c7de More refactoring
9 years ago
Mavo ebbc4ce7b4 Fixed compile issues introduced in merge
9 years ago
Mavo 811d04c2a7 Fixed bug in BitVector
9 years ago
Mavo 83b6496fd2 Fixed bugs in BitVector
9 years ago
Mavo 9d97750ca5 Improved compareAndSwap on BitVector
9 years ago
dehnert fad28df7d6 first working version of next-state generator for PRISM models
9 years ago
Mavo e9b4f06972 Better assertions in BitVector
9 years ago
Mavo f6374c60f8 Bitte ein Bit
9 years ago
dehnert a75e0f5323 more work wrt cleaner model exploration
9 years ago
Mavo c5214c6aba Removed unused include
9 years ago
dehnert 33757633c8 first version of conditional probabilities for (non-parametric) DTMCs a la Baier
10 years ago
sjunges 0cdca6a5fc BitVector iterator +=
10 years ago
dehnert 27e06940a9 templated all explicit parsers so that they may now be modified to produce non-double models
10 years ago
sjunges ebab145180 use default bitvector move, which is fine
10 years ago
sjunges d4ba7905fa Extra constructor for simple testing.
10 years ago
dehnert 56b4f53ce7 got rid of more warnings
10 years ago
sjunges fd3ffafcd9 First version of the monolithic state space generation
10 years ago
dehnert a1dae8849e Reworked (sparse) model files: moved them into their own namespace and deleted some functionality that is never used and not that nicely implemented.
10 years ago
dehnert f49d89144e Fixed issue that could cause wrong models to be generated.
10 years ago
dehnert 5e37c09fc0 Fixed some bugs.
11 years ago
dehnert 231d2223a9 Model building works again (more or less)
11 years ago
dehnert 6f2916d557 Adapted the explicit model generator to the new hash map. Surprise: doesn't work yet.
11 years ago
dehnert 26e9eac934 Added another convenience operation to bit vector class.
11 years ago
dehnert 827839e7fd Changed internal representation of bit vector slightly, adjusted all operations. New bit vector operation runs fine now.
11 years ago