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

7 Commits (41089dee26ced3f6bbae44d15661a20b1974969e)

Author SHA1 Message Date
Sebastian Junges d295f6e777 export of bdds into dot and text format
6 years ago
dehnert 3ad85ba0e6 fixes and improvements for game-based abstraction
7 years ago
dehnert c2e646b887 working towards predicate synthesis from explicit (qualitative) result for game-based abstraction
7 years ago
dehnert b7be027f7a switching workplace
8 years ago
dehnert 2e8ff870ff completed interface of (sylvan) ADDs for storing rational functions
8 years ago
Sebastian Junges e1d201c85e c++ code compiles again after rename
8 years ago
Sebastian Junges 3a7ee7867b rename files (does not compile)
8 years ago
sjunges 1e1400d68d merge
9 years ago
dehnert 4a772fe48d fixed bug in sylvan
9 years ago
dehnert a258d1ab48 restructured ODD to be independent of the DD library being used
9 years ago
dehnert 340b39e4a7 more work on refactoring DD abstraction layer
9 years ago
dehnert d683e38d4a started refactoring DD-interface a bit in an attempt to ease the integration of sylvan
9 years ago
dehnert 5d53c6efa5 Added ODD-concept to easily convert between DD-based and explicit formats.
11 years ago