Issues
- 0
Rename default branch to main
#321 opened by CyanoKobalamyne - 3
Build failed when bash > 5.2
#318 opened by gipsyh - 0
Pono outputs longer than expected witness
#320 opened by Gallagator - 3
cmake failed by not found gmp
#317 opened by gipsyh - 3
How to use `pono` correctly with `clk2fflogic`?
#319 opened by Isweet - 0
Unwanted skbuild printouts
#316 opened by cterrill26 - 1
Using old version of smt-switch
#315 opened by cterrill26 - 0
Allow out-of-tree dependencies
#313 opened by CyanoKobalamyne - 1
Failure for a small btor2 case
#309 opened by CoriolisSP - 8
Look into performance issues with large unrolls
#29 opened by makaimann - 1
Look into infrequent errors in interpolation
#55 opened by makaimann - 0
- 0
Revisit input formalism
#262 opened by makaimann - 0
support for Arithmetic Theories
#20 opened by ahmed-irfan - 0
Improve interface with original TS
#256 opened by makaimann - 3
MBIC3 issue
#225 opened by zhanghongce - 1
- 0
Consider changing logger implementation
#166 opened by makaimann - 1
Use constant references for iteration
#140 opened by makaimann - 0
Make better interface for TS abstraction
#123 opened by makaimann - 2
- 0
Handle multi-property monitors better
#105 opened by makaimann - 1
- 2
tests/python/test_encoders.py AttributeError
#98 opened by leonardt - 18
Python bindings should use `-undefined dynamic_lookup` when `Py_ENABLE_SHARED` is 0
#92 opened by leonardt - 0
Clean up array axiom enumeration
#89 opened by makaimann - 2
- 3
Constraint Handling
#86 opened by zhanghongce - 2
Implement Cone of Influence reduction
#15 opened by ahmed-irfan - 3
- 0
Encoder directly from Yosys RTLIL
#77 opened by makaimann - 0
- 2
- 2
- 6
Heisenbug with smt-switch boolector backend
#36 opened by makaimann - 0
Destruct pointers in Cython bindings
#43 opened by makaimann - 6
UNKNOWN instead of SAT for BMC benchmark
#38 opened by clairexen - 2
Build broken with latest smt-switch
#35 opened by cliffordwolf - 3
Crash when extracting counterexample trace
#31 opened by zhanghongce - 4
Suggestion to the Yosys Script
#26 opened by zhanghongce - 3
Don't declare states/inputs up front
#12 opened by makaimann - 0
step function of the interpolantion engine is not aligned with other engines
#22 opened by ahmed-irfan - 0
- 0
Copy TransitionSystem to Property
#18 opened by makaimann - 0
- 0
Special unroller for functional unrolling
#14 opened by makaimann