71 Commits

Author	SHA1	Message	Date
Clifford Wolf	fa5565b606	Added boolector support to yosys-smtbmc	2016-09-03 14:26:00 +02:00
Clifford Wolf	948aac9e1e	Don't re-create hex_dict for each value	2016-09-02 13:46:56 +02:00
Kaj Tuomi	d88cd0ae7f	More PEP 8 fixes.	2016-09-02 13:09:09 +03:00
Kaj Tuomi	c4ba1965fd	Indentation and PEP 8 fixes. CamelCase and white space after semicolon.	2016-09-02 13:01:31 +03:00
Kaj Tuomi	2343dda946	Use dict lookup instead of many ifs.	2016-09-02 12:50:23 +03:00
Kaj Tuomi	279298c0b8	Fix: Unresolved reference.	2016-09-02 11:12:30 +03:00
Clifford Wolf	aa25a4cec6	Added $anyconst support to yosys-smtbmc	2016-08-30 19:27:42 +02:00
Clifford Wolf	17233b11e1	Various fixes and improvements in smt2 back-end	2016-08-26 17:33:02 +02:00
Clifford Wolf	583ceee6eb	Added "yosys-smtbmc --constr"	2016-08-22 17:27:43 +02:00
Clifford Wolf	7a33b9892a	yosys-smtbmc: improved --dump-vlogtb handling of memories	2016-08-21 15:56:22 +02:00
Clifford Wolf	ed785194de	Added support for memories to smtio.py	2016-08-20 18:42:32 +02:00
Clifford Wolf	a889acb897	Added smtbmc longopt support	2016-08-20 16:07:59 +02:00
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