Skip to content

CVC4: use updated version 1.8.1-11 with disabled finalizers

72ac1f4
Select commit
Loading
Failed to load commit list.
Merged

CVC4: update CVC4 to v1.8.1-X to remove buggy finalizers (again) #642

CVC4: use updated version 1.8.1-11 with disabled finalizers
72ac1f4
Select commit
Loading
Failed to load commit list.