Tree: 58e1cc6af0

Commit Graph

117 Commits (58e1cc6af042de4a4f0a0dab96ef90fce8afc2ce)

Author	SHA1	Message	Date
dehnert	0fee7d40a6	fixed bug in sylvan Former-commit-id: ef04d0c682	9 years ago
dehnert	10996b4ab5	more work on sylvan Former-commit-id: c1bfcd83ee	9 years ago
dehnert	7ea0cb19b3	added some new functions to sylvan. isolated new code to make it easier to update sylvan to newer versions later Former-commit-id: 6b489993a5	9 years ago
dehnert	8eb3720f91	more work on sylvan integration Former-commit-id: 1bd63e5373	9 years ago
dehnert	6c1a21c43f	added more functions in sylvan Former-commit-id: f2e0c158a6	9 years ago
dehnert	472851508c	changed return type of equal, notEqual, less, lessOrEqual, greater, greaterOrEqual to BDD since returning an ADD is logically not quite correct Former-commit-id: 64bf8b0704	9 years ago
dehnert	8194454621	more work on making sylvan mtbdds work Former-commit-id: 98454b0ff4	9 years ago
dehnert	7080f954b9	Fixed sylvan cmake file to also work with xcode (stripping the build type from the directory) Former-commit-id: 5c934c7793	9 years ago
dehnert	226c77db77	added sylvan and started making it compile using cmake Former-commit-id: b6b6171d0f	9 years ago