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

3324 Commits (2a51f16b585e89bd32e63dd7b7ad586e86dedb53)
 

Author SHA1 Message Date
PBerger 2a51f16b58 Merge remote-tracking branch 'remotes/origin/menu_games' into sylvanRationalFunctions
9 years ago
dehnert b3e77730a9 added uniqueness mechanism in flattenModules to compensate for missing uniqueness in allsat of solvers
9 years ago
PBerger a1f8382af6 Merge remote-tracking branch 'remotes/origin/menu_games' into sylvanRationalFunctions
9 years ago
dehnert b14f866e01 added more flatten tests
9 years ago
dehnert 3e9f9552b1 fixed tests: using shared_ptr instead of unique_ptr for SMT solver factory in abstraction
9 years ago
PBerger 81311690ab Fixed errors because of changed API.
9 years ago
PBerger 2de905fd5f Merge remote-tracking branch 'remotes/origin/menu_games' into sylvanRationalFunctions
9 years ago
PBerger 4fff7b39ef Added template instanziation for storm::RationalFunction.
9 years ago
dehnert 4f7eaa0a43 some more work towards abstraction refinement
9 years ago
dehnert aca21eaf18 commit to switch workplace (no, not now)
9 years ago
dehnert 2d05555967 added abstraction settings and menu game abstractor
9 years ago
dehnert 28d2471d4d started on menu game abstractor interface
9 years ago
PBerger 595d9b4293 Merge branch 'menu_games' of https://sselab.de/lab9/private/git/storm into sylvanRationalFunctions
9 years ago
dehnert 7df822967c all abstraction tests working again
9 years ago
PBerger 428d21cdee Made code compile with GCC:
9 years ago
PBerger 1d3bb3010d Fixed merge mistake in InternalSylvanDdManager.cpp
9 years ago
dehnert 7a4d3740de some more work, not fully working again (yet)
9 years ago
PBerger 6873bd7d17 Merge remote-tracking branch 'remotes/origin/menu_games' into sylvanRationalFunctions
9 years ago
dehnert c1953cda46 started refactoring of abstraction
9 years ago
PBerger 0717ffe053 Added AND_EXISTS to sylvan+RationalFunction
9 years ago
dehnert 723999f885 intermediate work-place switch commit
9 years ago
dehnert 18b0f07581 tweaked Bdd toExpression a bit to be more versatile
9 years ago
dehnert 52577e2740 added game abstraction tests for sylvan and made them work (in particular implemented toExpression for sylvan BDDs)
9 years ago
dehnert 20eb0a6e0c made value type in game abstraction more generic
9 years ago
dehnert 53f83c9214 moved menu-game abstraction to separate folder and made everything compile again
9 years ago
PBerger 9eee889539 Added missing parameter to #ifdef - its gettings late.
9 years ago
PBerger 74a14a046c Merge branch 'future' into sylvanRationalFunctions
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
dehnert 4733643bcf made the games compile again
9 years ago
dehnert 6bee853a5a Merge branch 'future' into menu_games
9 years ago
Mavo 221bb59af1 CURL instead of curl
9 years ago
dehnert 510e525274 removed unnecessary define for boost::variant problem
9 years ago
dehnert cc958bedf0 fixed wrong usage of boost::variant in NextStateGenerator
9 years ago
PBerger bc7e533d6b Some debug,
10 years ago
PBerger dbbae87962 Fixed template specialization.
10 years ago
PBerger b01abf831b Fixing template spec.
10 years ago
PBerger cdff7d4b0f Added template specialization for getIdentity.
10 years ago
PBerger 6ced56a0cc More ptr fixes.
10 years ago
PBerger 1345f018fc Fixed some issues with pointers.
10 years ago
PBerger 9e90f41608 Implemented functions for BDD -> ADD conversion and some helpers.
10 years ago
Mavo e258fe4fd2 Merge branch 'no_carl' into future
10 years ago
Mavo e6abef0615 Pass compiler through to resources
10 years ago
sjunges 14fc78bdec boost minimal is 1.57
10 years ago
sjunges 7938ce448e trying to fix boost variant by adding a define
10 years ago
sjunges 7e0d519670 add carl to resource dependency
10 years ago
sjunges ae9073ac50 moved cpplint in 3rdparty
10 years ago
sjunges 240f2291c6 some work towards documentation
10 years ago
sjunges b11ba27c34 some documentation stub
10 years ago
sjunges fdbc0bf694 moved doxygen generation file to the resources
10 years ago