issues
search
bitwuzla
/
ocaml-bitwuzla
Bitwuzla SMT solver repackaged for convenient use in opam.
MIT License
6
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Segmentation fault when using parallel instances of the bindings
#7
filipeom
opened
2 weeks ago
16
Return Val_unit instead of void from api functions
#6
smuenzel
closed
9 months ago
1
Recover from exceptions during placement new
#5
smuenzel
closed
9 months ago
1
Caml API functions returning unit should not return void
#4
smuenzel
closed
9 months ago
0
Tracking of sort lifetimes is incomplete, leads to multiple frees
#3
smuenzel
closed
9 months ago
2
0.1.1
#2
recoules
closed
10 months ago
0
Build instructions in README seem to be incomplete.
#1
aniemetz
closed
3 years ago
21