2968 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Clifford Wolf	13a03b84d4	Added support for bus interfaces to "read_liberty -lib"	2016-09-18 18:48:59 +02:00
Clifford Wolf	0ead5a9e44	Merge branch 'master' of github.com:cliffordwolf/yosys	2016-09-18 00:50:02 +02:00
Clifford Wolf	7bc88e8101	yosys-smtbmc: added -i support smtc files	2016-09-18 00:48:36 +02:00
Clifford Wolf	d8ad889594	Bugfix in techmap parameter handling	2016-09-14 20:46:54 +02:00
Clifford Wolf	d39db41df8	Work-around for boolector bug	2016-09-13 13:23:06 +02:00
Clifford Wolf	d01e34136e	Merge pull request #228 from Kmanfi/test ... Fix for modules with big interfaces.	2016-09-13 12:34:19 +02:00
Kaj Tuomi	2c031cd24f	Fix for modules with big interfaces.	2016-09-13 13:13:27 +03: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	2c0d818296	Merge branch 'master' of github.com:cliffordwolf/yosys	2016-09-08 11:17:05 +02:00
Clifford Wolf	14bfd3c5c1	yosys-smtbmc meminit support	2016-09-08 11:16:12 +02:00
Clifford Wolf	9e72046906	Merge pull request #225 from Kmanfi/test ... Typo fix.	2016-09-08 10:06:40 +02:00
Kaj Tuomi	df4ab169a7	Typo fix.	2016-09-08 10:57:16 +03: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	ceff7ecd91	Install celledges.h	2016-09-07 13:43:57 +02:00
Clifford Wolf	cb7dbf4070	Improvements in assertpmux	2016-09-07 12:42:16 +02:00
Clifford Wolf	e2570ffb87	Updated ABC to hg 8e08604f8ad3	2016-09-07 11:08:54 +02:00
Clifford Wolf	ab18e9df7c	Added assertpmux	2016-09-07 00:28:01 +02:00
Clifford Wolf	f3f5a02045	Added "tee +INT -INT"	2016-09-06 17:43:24 +02:00
Clifford Wolf	fc5281b3f7	Run log_flush() before solving in sat command	2016-09-06 17:35:25 +02:00
Clifford Wolf	d55a93b39f	Bugfix in parsing of BLIF latch init values	2016-09-06 17:35:06 +02:00
Clifford Wolf	97583ab729	Avoid creation of bogus initial blocks for assert/assume in always @*	2016-09-06 17:34:42 +02:00
Larry Doolittle	dcb5a6ea8a	Fix spelling and grammar in README	2016-09-06 11:25:33 +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	19a3b3732c	Minor README updates	2016-09-03 18:49:53 +02:00
Clifford Wolf	fa5565b606	Added boolector support to yosys-smtbmc	2016-09-03 14:26:00 +02:00
Clifford Wolf	d2eba7631f	Merge branch 'smtbmc-kmanfi'	2016-09-02 13:55:51 +02:00
Clifford Wolf	068d5bc02f	Made examples/smtbmc/demo1.v more interesting	2016-09-02 13:54:24 +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	2ee9bf10d0	Added "prep -nomem"	2016-08-30 23:57:24 +02:00
Clifford Wolf	aa25a4cec6	Added $anyconst support to yosys-smtbmc	2016-08-30 19:27:42 +02:00
Clifford Wolf	6f41e5277d	Removed $aconst cell type	2016-08-30 19:09:56 +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	4ea7054b56	Improved init spec handling in opt_rmdff, modernized the code a bit	2016-08-30 01:34:04 +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	eae390ae17	Removed $predict again	2016-08-28 21:35:33 +02:00
Clifford Wolf	66582964bc	Improved "show" help message	2016-08-28 12:34:36 +02:00