1498 commits

Author	SHA1	Message	Date
Clifford Wolf	d009cdd6ee	Improved handling of SMT2 logics in yosys-smtbmc	2016-09-18 20:48:09 +02:00
Clifford Wolf	7bc88e8101	yosys-smtbmc: added -i support smtc files	2016-09-18 00:48:36 +02:00
Clifford Wolf	d39db41df8	Work-around for boolector bug	2016-09-13 13:23:06 +02:00
Clifford Wolf	6f416c1953	Added missing :produce-models setting to smtio.py	2016-09-11 18:17:22 +02:00
Clifford Wolf	5199aafca0	Minor improvements to smtio.py vcd writer	2016-09-10 16:24:08 +02:00
Clifford Wolf	b582f11074	fixed write_smt2 for (non-combinatorial) loops through hierarchical cells	2016-09-10 15:14:41 +02:00
Clifford Wolf	3ceba145d5	smt2 mem init bugfix	2016-09-08 18:08:15 +02:00
Clifford Wolf	14bfd3c5c1	yosys-smtbmc meminit support	2016-09-08 11:16:12 +02:00
Clifford Wolf	209a3d9ffc	Bugfix in "yosys-smtbmc --unroll"	2016-09-07 21:01:51 +02:00
Clifford Wolf	6770d6e0f8	Added "yosys-smtbmc --unroll"	2016-09-07 20:57:56 +02:00
Clifford Wolf	97b449fe55	yosys-smtbmc: flush stdout after each log msg	2016-09-06 01:40:31 +02:00
Clifford Wolf	372d672c2a	Minor bugfix in write_smt2	2016-09-04 16:32:47 +02:00
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
Kaj Tuomi	74dd36ad55	Some syntax fixes. Generator and comma separated list modifications.	2016-09-02 11:02:19 +03:00
Clifford Wolf	aa25a4cec6	Added $anyconst support to yosys-smtbmc	2016-08-30 19:27:42 +02:00
Clifford Wolf	a8124c137e	Fixed memory bug in write_smt2	2016-08-30 14:49:47 +02:00
Clifford Wolf	b04a40d9fe	Made "write_smt2 -bv -mem" default, added "write_smt2 -nobv -nomem"	2016-08-30 12:40:09 +02:00
Clifford Wolf	39e4faa2e4	Added $anyconst support to smt2 back-end	2016-08-30 11:26:10 +02:00
Clifford Wolf	c417421495	Added "yosys-smtbmc --dump-all"	2016-08-29 22:41:45 +02:00
Clifford Wolf	b226893461	More yosys-smtbmc bugfixes	2016-08-29 14:53:32 +02:00
Clifford Wolf	a2e2fc5980	Various fixes and improvements in yosys-smtbmc	2016-08-29 13:53:12 +02:00
Clifford Wolf	f56dba8e20	Some changes to yosys-smtbmc cmd line options, add --final-only	2016-08-27 22:04:15 +02:00
Clifford Wolf	adcda6817e	Added smtc "final" statement	2016-08-27 14:30:36 +02:00
Clifford Wolf	17233b11e1	Various fixes and improvements in smt2 back-end	2016-08-26 17:33:02 +02:00
Clifford Wolf	ad56ad44c3	More yosys-smtbmc smtc features	2016-08-24 23:18:29 +02:00
Clifford Wolf	ee3e7a0e45	yosys-smtbmc --smtc -g	2016-08-24 22:09:50 +02:00
Clifford Wolf	6523023645	Minor yosys-smtbmc bugfix	2016-08-22 17:45:01 +02:00
Clifford Wolf	583ceee6eb	Added "yosys-smtbmc --constr"	2016-08-22 17:27:43 +02:00
Clifford Wolf	2bd30e2026	Added "yosys-smtbmc --dump-constr"	2016-08-22 16:48:46 +02:00
Clifford Wolf	7a33b9892a	yosys-smtbmc: improved --dump-vlogtb handling of memories	2016-08-21 15:56:22 +02:00
Clifford Wolf	f7578b0239	Added "yosys-smtbmc --dump-vlogtb"	2016-08-20 18:43:39 +02:00
Clifford Wolf	ed785194de	Added support for memories to smtio.py	2016-08-20 18:42:32 +02:00
Clifford Wolf	c325bae792	Deprecated "write_smt2 -regs" (by default on now), and some other smt2 back-end improvements	2016-08-20 18:41:57 +02:00
Clifford Wolf	28271e43c9	Added "yosys-smtbmc -g"	2016-08-20 16:32:50 +02:00
Clifford Wolf	a889acb897	Added smtbmc longopt support	2016-08-20 16:07:59 +02:00
Clifford Wolf	75bf7416f0	Bugfix in partial mem write handling in verilog back-end	2016-08-20 13:06:06 +02:00
Clifford Wolf	9b8e06bee1	Added missing support for mem read enable ports to verilog back-end	2016-08-18 21:47:02 +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	f0a8713fea	Fixed upto handling in verilog back-end	2016-08-15 08:26:20 +02:00
Clifford Wolf	21e1bac084	Merge branch 'master' of github.com:cliffordwolf/yosys	2016-07-30 12:50:39 +02:00
Clifford Wolf	5fe13a16ea	Added "write_verilog -defparam"	2016-07-30 12:46:06 +02:00
Clifford Wolf	7fa61cba1b	Added "write_verilog -nodec -nostr"	2016-07-30 12:38:40 +02:00
Clifford Wolf	da56a5bbc6	Added $initstate support to smtbmc flow	2016-07-27 16:11:37 +02:00
whitequark	546233f0e1	write_json: also write module attributes.	2016-07-12 06:32:04 +00:00