109 commits

Author	SHA1	Message	Date
Clifford Wolf	de8ee412c3	Improved smtbmc vcd generation performance	2016-08-18 11:17:45 +02:00
Clifford Wolf	dfcd30ea86	Added printing of code loc of failed asserts to yosys-smtbmc	2016-08-17 20:10:02 +02:00
Clifford Wolf	c71785d65e	Yosys-smtbmc: Support for hierarchical VCD dumping	2016-07-11 12:49:33 +02:00
Clifford Wolf	0153ad85d9	Moved smt2 yosys info parsing from smtbmc.py to smtio.py	2016-07-11 11:49:05 +02:00
Clifford Wolf	302166dd59	Improvements in yosys-smtbmc	2015-10-15 15:10:33 +02:00
Clifford Wolf	5dd3e93e8f	More "yosys-smtbmc -c" fixes	2015-10-14 23:23:25 +02:00
Clifford Wolf	3c31572152	Added yosys-smtbmc copyright	2015-10-14 01:31:54 +02:00
Clifford Wolf	d7de0f4bd1	Improvements in yosys-smtbmc	2015-10-14 01:27:55 +02:00
Clifford Wolf	29160525aa	Added smtbmc.py	2015-10-13 17:17:23 +02:00