iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Added missing :produce-models setting to smtio.py	Clifford Wolf	2016-09-11	1	-1/+2
*	Minor improvements to smtio.py vcd writer	Clifford Wolf	2016-09-10	1	-1/+3
*	fixed write_smt2 for (non-combinatorial) loops through hierarchical cells	Clifford Wolf	2016-09-10	1	-17/+34
*	smt2 mem init bugfix	Clifford Wolf	2016-09-08	1	-4/+6
*	Merge branch 'master' of github.com:cliffordwolf/yosys	Clifford Wolf	2016-09-08	1	-1/+1
\|\
\| *	Merge pull request #225 from Kmanfi/test	Clifford Wolf	2016-09-08	1	-1/+1
\| \|\
\| \| *	Typo fix.	Kaj Tuomi	2016-09-08	1	-1/+1
\| \|/
* /	yosys-smtbmc meminit support	Clifford Wolf	2016-09-08	4	-5/+52
\|/
*	Bugfix in "yosys-smtbmc --unroll"	Clifford Wolf	2016-09-07	1	-1/+1
*	Added "yosys-smtbmc --unroll"	Clifford Wolf	2016-09-07	1	-11/+130
*	Install celledges.h	Clifford Wolf	2016-09-07	1	-0/+1
*	Improvements in assertpmux	Clifford Wolf	2016-09-07	6	-23/+202
*	Updated ABC to hg 8e08604f8ad3	Clifford Wolf	2016-09-07	1	-1/+1
*	Added assertpmux	Clifford Wolf	2016-09-07	3	-0/+105
*	Added "tee +INT -INT"	Clifford Wolf	2016-09-06	1	-0/+10
*	Run log_flush() before solving in sat command	Clifford Wolf	2016-09-06	1	-0/+3
*	Bugfix in parsing of BLIF latch init values	Clifford Wolf	2016-09-06	1	-1/+1
*	Avoid creation of bogus initial blocks for assert/assume in always @*	Clifford Wolf	2016-09-06	3	-1/+13
*	Fix spelling and grammar in README	Larry Doolittle	2016-09-06	1	-4/+4
*	yosys-smtbmc: flush stdout after each log msg	Clifford Wolf	2016-09-06	1	-17/+21
*	Minor bugfix in write_smt2	Clifford Wolf	2016-09-04	1	-3/+3
*	Minor README updates	Clifford Wolf	2016-09-03	1	-4/+4
*	Added boolector support to yosys-smtbmc	Clifford Wolf	2016-09-03	3	-33/+58
*	Merge branch 'smtbmc-kmanfi'	Clifford Wolf	2016-09-02	3	-49/+34
\|\
\| *	Made examples/smtbmc/demo1.v more interesting	Clifford Wolf	2016-09-02	1	-1/+1
\| *	Don't re-create hex_dict for each value	Clifford Wolf	2016-09-02	1	-7/+10
\| *	More PEP 8 fixes.	Kaj Tuomi	2016-09-02	2	-7/+6
\| *	Indentation and PEP 8 fixes. CamelCase and white space after semicolon.	Kaj Tuomi	2016-09-02	2	-13/+13
\| *	Use dict lookup instead of many ifs.	Kaj Tuomi	2016-09-02	1	-19/+8
\| *	Fix: Unresolved reference.	Kaj Tuomi	2016-09-02	1	-1/+1
\| *	Some syntax fixes. Generator and comma separated list modifications.	Kaj Tuomi	2016-09-02	1	-14/+8
\|/
*	Added "prep -nomem"	Clifford Wolf	2016-08-30	1	-6/+16
*	Added $anyconst support to yosys-smtbmc	Clifford Wolf	2016-08-30	7	-2/+58
*	Removed $aconst cell type	Clifford Wolf	2016-08-30	7	-21/+8
*	Fixed memory bug in write_smt2	Clifford Wolf	2016-08-30	1	-9/+23
*	Made "write_smt2 -bv -mem" default, added "write_smt2 -nobv -nomem"	Clifford Wolf	2016-08-30	2	-18/+22
*	Added $anyconst support to smt2 back-end	Clifford Wolf	2016-08-30	1	-0/+17
*	Improved init spec handling in opt_rmdff, modernized the code a bit	Clifford Wolf	2016-08-30	1	-39/+82
*	Added "yosys-smtbmc --dump-all"	Clifford Wolf	2016-08-29	1	-45/+67
*	More yosys-smtbmc bugfixes	Clifford Wolf	2016-08-29	1	-6/+6
*	Various fixes and improvements in yosys-smtbmc	Clifford Wolf	2016-08-29	1	-42/+66
*	Removed $predict again	Clifford Wolf	2016-08-28	15	-38/+7
*	Improved "show" help message	Clifford Wolf	2016-08-28	1	-3/+5
*	Some changes to yosys-smtbmc cmd line options, add --final-only	Clifford Wolf	2016-08-27	1	-33/+49
*	Fixed handling of transparent bram rd ports on ROMs	Clifford Wolf	2016-08-27	2	-0/+4
*	Added smtc "final" statement	Clifford Wolf	2016-08-27	5	-9/+86
*	Merge branch 'master' of github.com:cliffordwolf/yosys	Clifford Wolf	2016-08-26	1	-3/+4
\|\
\| *	Merge pull request #215 from frznchckn/to_upstream	Clifford Wolf	2016-08-26	1	-3/+4
\| \|\
\| \| *	Relax test to see if yosys dir is a git repository in Makefile	Russell L Friesenhahn	2016-08-26	1	-1/+1
\| \| *	Allow redefining of the ABC repository URL	Russell L Friesenhahn	2016-08-26	1	-2/+3