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

113 Commits (e933df1fc1364e50ad4d89f4636a8815c653e4f7)

Author SHA1 Message Date
dehnert f0f9831ac3 reworked CMake stuff a bit, removed some superfluous things
9 years ago
PBerger d76e9729da Leave Replacement finally working.
9 years ago
PBerger c9f2eef826 Added functionality for replacing leaves in SRF MTBDDs.
9 years ago
PBerger d3c492124a Fixed min/max Abstract w. repr.
9 years ago
PBerger da199866e6 Added tests for minAbstractRepresentative.
9 years ago
PBerger 68b14b3076 Moved BDD functionality in Sylvan to sylvan_bdd_int.h to allow reuse.
9 years ago
dehnert 8b29ab079c fixed some bugs in custom cudd functions
9 years ago
PBerger 73a3461650 Fixed CUDD and Sylvan existsRepresentative.
9 years ago
PBerger c184f6a541 Worked on Sylvan min/max ADD abstract w. representative.
9 years ago
PBerger e45b3d2940 Fixed Sylvan implementation of existsAbstractRepresentative.
9 years ago
PBerger be7353358f Added Test for constants in Cudd/Sylvan.
9 years ago
PBerger 4fff7b39ef Added template instanziation for storm::RationalFunction.
9 years ago
PBerger 0717ffe053 Added AND_EXISTS to sylvan+RationalFunction
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
PBerger bc7e533d6b Some debug,
9 years ago
PBerger 6ced56a0cc More ptr fixes.
9 years ago
PBerger 1345f018fc Fixed some issues with pointers.
9 years ago
PBerger 9e90f41608 Implemented functions for BDD -> ADD conversion and some helpers.
9 years ago
PBerger 157c9f4f5a Reverted MINONE change.
9 years ago
PBerger c4b7d778f3 Add MINONE macro back into lace.h
9 years ago
PBerger fb4bfd724d Reverted lace.h back to find the regression.
9 years ago
PBerger ca65cecbfd Fixed a few of Sylvans nasty habits.
9 years ago
PBerger e0647f34eb Added missing template instantiation.
9 years ago
PBerger c8262a3022 Added function for retrieving the ID of the custom leaves.
9 years ago
PBerger a73c48880c Initial commit.
9 years ago
PBerger d80423b760 Fixed the stupid array with size zero warning in Sylvan/Lace.
9 years ago
PBerger be9648fc18 Added -fPIC to Sylvan. Since it is linked into Storm it is necessary for relocation to be possible, hence PIC.
9 years ago
dehnert 818760e0ad removed sylvan version from resources
9 years ago
dehnert 86c233f3df fixed bug in sylvan
9 years ago
dehnert 5cd8254263 use better version of FindGMP for sylvan as well
9 years ago
dehnert 2ea5fd7418 fix in sylvan, minor changes to cmake list
9 years ago
sjunges 1e1400d68d merge
9 years ago
dehnert 0708672a68 removed ite for ADDs as this operation should be formed with a BDD as the first argument. as a compensation, we provide a version of ite that takes a BDD and two ADDs and returns the corresponding ADD
10 years ago
dehnert b7ea918d1b update to latest version of sylvan and accompanying changes (mostly because 0 * inf = nan in IEEE754)
10 years ago
dehnert 7f75db2790 ADD iterator working for sylvan. enabled more tests for sylvan. symbolic Dtmc model checker now working.
10 years ago
dehnert f2a01afbdf ODD-based stuff working for Sylvan. Almost all tests passing
10 years ago
dehnert 36a6e9e76e more work on sylvan ODD-related stuff
10 years ago
dehnert ebe9ccbb15 some work on DD stuff
10 years ago
dehnert 4a772fe48d fixed bug in sylvan
10 years ago
dehnert 693dce8618 update to newest version of sylvan
10 years ago
dehnert e43bdfaaaa more work on the dd stuff *sigh*
10 years ago
dehnert 598ed08116 worked in newest sylvan changes to api
10 years ago
dehnert 5a0c54034e committed missing files
10 years ago
dehnert fb4c103320 merged sylvan updates into the sylvan copy. made more tests work
10 years ago
dehnert 0fee7d40a6 fixed bug in sylvan
10 years ago
dehnert 10996b4ab5 more work on sylvan
10 years ago
dehnert 7ea0cb19b3 added some new functions to sylvan. isolated new code to make it easier to update sylvan to newer versions later
10 years ago
dehnert 8eb3720f91 more work on sylvan integration
10 years ago