566 Commits (7a5b93bdfa94acfb8e8addef024d301ee326ecc7)

Author SHA1 Message Date
sjunges 42fccfeb08 modernjson updated, and removed deprecated flag as it causes some issues on ubuntu 16.10 8 years ago
sjunges 6431d8d410 let xerces inclusion work on linux systems 8 years ago
dehnert 6f11b688d3 forward Boost location to carl 8 years ago
dehnert 392f56aab5 made jit model builder work on Ubuntu 16.04/g++ 8 years ago
dehnert b579978938 cleaned up jit model builder, added options, added doctor procedure, prepared Markov automata 8 years ago
TimQu 71e181bd93 some quick and dirty optimizations (that need to be reviewed) 8 years ago
dehnert 342356ceb1 minor fixes to make storm work with boost 1.62 8 years ago
dehnert 299b2d7a56 some start on JIT-based model builder 8 years ago
dehnert 6f663bde0e fixing hwloc entry in CMakeLists.txt 8 years ago
dehnert ccfcbc0c69 fixed hwloc issue even harder 8 years ago
sjunges 6a80319c18 another Hwloc script 8 years ago
dehnert 69a351999c adding cpptemplate library 8 years ago
dehnert a9e01b8698 adding sparsepp as resource to cmake 8 years ago
dehnert 2476b7c254 adding sparsepp as a 3rd-party resource 8 years ago
Mavo cfc082417b Refactoring 8 years ago
sjunges 30297dd237 latest version of modernjson 8 years ago
PBerger d76e9729da Leave Replacement finally working. 8 years ago
PBerger c9f2eef826 Added functionality for replacing leaves in SRF MTBDDs. 8 years ago
PBerger d3c492124a Fixed min/max Abstract w. repr. 8 years ago
dehnert 375ea1b194 fixed bug in cudd minAbstractRepresentative, adapted tests, passing now 8 years ago
dehnert f45b7f9171 fixed some bugs and started on quantitative refinement 8 years ago
PBerger da199866e6 Added tests for minAbstractRepresentative. 8 years ago
dehnert 142eb96736 hopefully fixing cudd's min/maxAbstractRepresentative 8 years ago
PBerger 68b14b3076 Moved BDD functionality in Sylvan to sylvan_bdd_int.h to allow reuse. 8 years ago
dehnert 56b5b98a2c towards strategy generation in game solver 8 years ago
dehnert bde84d0073 fixed symbolic game solver wrt. illegal masks. numerical solving step in game-based model checker working, but no refinement yet. 8 years ago
dehnert 8b29ab079c fixed some bugs in custom cudd functions 8 years ago
dehnert 5fcc2e9e7e created separate version of Cudd_addToBddApply to deal with negated edges in resulting BDDs 8 years ago
dehnert 6168af3c99 intermediate commit in an attempt to have proper cudd support for some operations 8 years ago
dehnert 24667fffc4 added cudd functions for equal/less/less_equal/greater/greater_equal that directly return a BDD instead of an ADD 8 years ago
dehnert 93010f3731 ported fix for CUDD existsAbstractRepresentative from Philip's branch to game-branch 8 years ago
PBerger 73a3461650 Fixed CUDD and Sylvan existsRepresentative. 8 years ago
PBerger c184f6a541 Worked on Sylvan min/max ADD abstract w. representative. 8 years ago
dehnert 44c8877044 fixed a bug in CUDD's existsAbstractRepresentative 8 years ago
dehnert 3ea11188b7 fixed an issue in the CMakeLists.txt that prevented carl from being properly loaded if it's not already present 8 years ago
PBerger e45b3d2940 Fixed Sylvan implementation of existsAbstractRepresentative. 8 years ago
dehnert 469d856267 fixed bug in CUDD implementation of existsAbstractRepresentative 8 years ago
dehnert 3f15644e60 fixed minor bug in existsAbstractRepresentative 8 years ago
dehnert 5bf666be4c fix in existsAbstractRepresentative 8 years ago
PBerger be7353358f Added Test for constants in Cudd/Sylvan. 8 years ago
PBerger 4fff7b39ef Added template instanziation for storm::RationalFunction. 8 years ago
sjunges 2a1c317363 removed debug output from cmake 8 years ago
sjunges ba81925c1d renamed smt2smtsolver to smtlibsmtsolver and cleaned make files 8 years ago
PBerger 0717ffe053 Added AND_EXISTS to sylvan+RationalFunction 9 years ago
sjunges 6fed20e097 l3pp specific commit, avoid requiring internet connection 9 years ago
dehnert 53f83c9214 moved menu-game abstraction to separate folder and made everything compile again 9 years ago
dehnert c2ec3c7377 changed cmake UPDATE_COMMAND to PATCH_COMMAND as this avoids rebuilds by Xcode 9 years ago
PBerger 9eee889539 Added missing parameter to #ifdef - its gettings late. 9 years ago
PBerger 867de852ab Added the conditional debug output in the wrapper to the tracked code. 9 years ago
PBerger 58eb54926c Fixed Sylvan bugs. 9 years ago