Jannis Harder a52088b6af smtbmc: Improvements for --incremental and .yw fixes ... This extends the experimental incremental JSON API to allow arbitrary smtlib subexpressions, defining smtlib constants and to allow access of signals by their .yw path. It also fixes a bug during .yw writing where values would be re-emitted in later cycles if they have no newer defined value and a potential crash when using --track-assumes.		2024-05-07 17:57:37 +02:00
..
.gitignore
example.v
example.ys
Makefile.inc
smt2.cc	rename -witness: Bug fix and rename formal cells	2024-03-04 16:53:03 +01:00
smtbmc.py	smtbmc: Improvements for --incremental and .yw fixes	2024-05-07 17:57:37 +02:00
smtbmc_incremental.py	smtbmc: Improvements for --incremental and .yw fixes	2024-05-07 17:57:37 +02:00
smtio.py	smtbmc: Improvements for --incremental and .yw fixes	2024-05-07 17:57:37 +02:00
test_cells.sh
witness.py
ywio.py