utwente-fmt sylvan issues

utwente-fmt / sylvan

Multi-core Decision Diagram (BDD/LDD) implementation

Apache License 2.0

41 stars 8 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Debugging stuck computations

#20 michaelcadilhac opened 3 years ago
0
Build failure with clang on macOS Big Sur

#19 hassila closed 3 years ago
1
Header files, <> versus " "? (C version)

#18 glarange opened 4 years ago
0
Enhancement suggestion: fast BDD algorithm for large coherent boolean functions

#17 glarange opened 4 years ago
1
Replace CMAKE_SOURCE_DIR by PROJECT_SOURCE_DIR in CMakeLists.txt

#16 himito closed 5 years ago
0
Update lace.h

#15 gian21391 opened 6 years ago
0
Building Sylvan 1.1.2 on MacOS fails

#14 alaarman closed 5 years ago
7
GC in critical section

#13 thisiscam closed 7 years ago
5
Make sylvan's CMake reusable in SylvanSharp

#12 thisiscam closed 8 years ago
4
Use pkg-config for hwloc.

#11 Meijuh closed 8 years ago
0
Is the library thread safe?

#10 thisiscam closed 8 years ago
2
Reason protect preferred over addref ?

#9 thisiscam closed 7 years ago
1
link to Python bindings from README

#8 johnyf closed 8 years ago
0
cofactor x = False ?

#7 johnyf closed 8 years ago
4
lddmc_relprod_union broken

#6 Meijuh closed 8 years ago
3
Fix sylvan_fprintdot_nc missing quote

#5 dopefishh closed 8 years ago
1
autoconf: lower minimum required version and extra check for C11

#4 Meijuh closed 8 years ago
0
Fix incorrect use of mmap, and incorrect platform recognition for tls

#3 dennisaanstoot closed 8 years ago
1
Ignore files and print human readable strings of errno

#2 Meijuh closed 8 years ago
2
C++ support with g++

#1 ghost closed 9 years ago
4