18 Commits

Author	SHA1	Message	Date
Clifford Wolf	b5b1816101	Better "steps" default in smt2-bmc/sync.py	2015-10-06 11:35:23 +02:00
Clifford Wolf	e063f64ea2	Improvements to smtio.py	2015-09-18 20:19:14 +02:00
Clifford Wolf	686289adc5	Improvements in smtio.py	2015-08-28 00:59:12 +02:00
Clifford Wolf	534ea17811	Improvements in smtio.py "timer display during solving" feature	2015-08-28 00:12:45 +02:00
Clifford Wolf	3512605052	Added smtio.py "timer display during solving" feature	2015-08-27 22:25:11 +02:00
Clifford Wolf	ebb0ea6f7b	Added mkvcd class to smtio.py	2015-08-27 13:44:53 +02:00
Clifford Wolf	4b62d4cbb9	Added (set-info ..) generation to smtio.py	2015-08-27 12:46:02 +02:00
Clifford Wolf	8d1956f0da	Using "#!/usr/bin/env python3"	2015-08-22 09:54:21 +02:00
Clifford Wolf	c6ee9522df	More improvements in smt2-bmc scripts	2015-08-15 18:07:01 +02:00
Clifford Wolf	e4ddc26576	Added cvc4 and mathsat to scripts/smt2-bmc	2015-08-15 11:51:55 +02:00
Clifford Wolf	f227332a98	Added scripts/smt2-bmc/sync.*	2015-08-15 11:28:35 +02:00
Clifford Wolf	ec0891326a	Renamed scripts/smt2-bmc/mem_equiv to .../async	2015-08-15 10:50:27 +02:00
Clifford Wolf	b28e82cb81	Refactoring of scripts/smt2-bmc/	2015-08-15 00:20:06 +02:00
Clifford Wolf	0ab0b6eca4	Added z3 support to mem_equiv.py	2015-08-14 23:57:09 +02:00
Clifford Wolf	16f97a86a1	Reset bugfix (bug found via scripts/smt2-bmc/mem_equiv.*)	2015-08-13 13:30:21 +02:00
Clifford Wolf	8397962424	Progress with smt2-based bmc scripts	2015-08-13 11:52:53 +02:00
Clifford Wolf	12e64c7968	Progress with smt2-based bmc scripts	2015-08-10 12:11:33 +02:00
Clifford Wolf	93d78f38d8	Added smt2-based bmc scripts	2015-08-09 14:23:02 +02:00