iCE40/yosys - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
* \|	Better handling of nameDef and nameRef in edif backend	Clifford Wolf	2014-02-21	1	-21/+27
\| \|
* \|	Fixed instantiating multi-bit ports in edif backend	Clifford Wolf	2014-02-21	1	-2/+4
\| \|
* \|	Use private namespace in mem_simple_4x1_map	Clifford Wolf	2014-02-21	1	-4/+4
\| \|
* \|	Added tests/techmap/mem_simple_4x1	Clifford Wolf	2014-02-21	8	-0/+215
\| \|
* \|	Renamed "write_blif -subckt" to "write_blif -icells" and added -gates and -param	Clifford Wolf	2014-02-21	1	-17/+65
\| \|
* \|	Progress in presentation	Clifford Wolf	2014-02-21	5	-19/+177
\| \|
* \|	Progress in presentation	Clifford Wolf	2014-02-20	4	-11/+51
\| \|
* \|	Added _TECHMAP_REPLACE_ feature to techmap	Clifford Wolf	2014-02-20	1	-4/+21
\| \|
* \|	Added "extract -ignore_parameters" and "extract -ignore_param ..."	Clifford Wolf	2014-02-20	1	-0/+79
\| \|
* \|	Added "extract -map %<design_name>"	Clifford Wolf	2014-02-20	1	-10/+30
\| \|
* \|	Added "design -push" and "design -pop"	Clifford Wolf	2014-02-20	2	-8/+49
\| \|
* \|	Progress in presentation	Clifford Wolf	2014-02-20	5	-0/+207
\| \|
* \|	Added connwrappers command	Clifford Wolf	2014-02-20	2	-0/+206
\| \|
* \|	Cleanups in handling of read_verilog -defer and -icells	Clifford Wolf	2014-02-20	1	-6/+7
\| \|
* \|	Progress in presentation	Clifford Wolf	2014-02-20	10	-10/+152
\| \|
* \|	Added vcd2txt.pl and txt2tikztiming.py (tests/tools/...)	Clifford Wolf	2014-02-19	2	-0/+170
\| \|
* \|	Merge branch 'master' of github.com:cliffordwolf/yosys	Clifford Wolf	2014-02-18	2	-50/+99
\|\ \
\| * \|	Added "sat -dump_cnf"	Clifford Wolf	2014-02-18	1	-5/+34
\| \| \|
\| * \|	Coding style corrections in SatHelper::dump_model_to_vcd()	Clifford Wolf	2014-02-18	1	-31/+31
\| \| \|
\| * \|	Improved non-verbose ezSAT::printDIMACS() format	Clifford Wolf	2014-02-18	1	-1/+6
\| \| \|
\| * \|	Added "sat -initsteps"	Clifford Wolf	2014-02-18	1	-14/+29
\| \| \|
* \| \|	Progress in presentation	Clifford Wolf	2014-02-18	6	-3/+72
\| \| \|
* \| \|	Added techmap support for _TECHMAP_CONNMAP_*_	Clifford Wolf	2014-02-18	1	-0/+39
\|/ /
* \|	Added Verilog support for "`default_nettype none"	Clifford Wolf	2014-02-17	8	-8/+31
\| \|
* \|	Renamed "sat -dump_fail_to_vcd" to "sat -dump_vcd" and some minor cleanups	Clifford Wolf	2014-02-17	1	-5/+9
\| \|
* \|	Added "-dump_fail_to_vcd" argument to SAT solver	Andrew Zonenberg	2014-02-17	1	-0/+114
\| \|
* \|	Progress in presentation	Clifford Wolf	2014-02-17	3	-9/+37
\| \|
* \|	Better preserve wires when flattening (in comparison to techmap)	Clifford Wolf	2014-02-17	1	-12/+12
\| \|
* \|	Progress in presentation	Clifford Wolf	2014-02-16	5	-1/+80
\| \|
* \|	Added some additional checks to techmap	Clifford Wolf	2014-02-16	1	-0/+14
\| \|
* \|	Added CONSTMSK and CONSTVAL feature to techmap	Clifford Wolf	2014-02-16	1	-0/+23
\| \|
* \|	Fixed handling of "keep" attribute on wires in opt_clean	Clifford Wolf	2014-02-16	1	-2/+2
\| \|
* \|	Added a warning note about error reporting to read_verilog help message	Clifford Wolf	2014-02-16	1	-0/+5
\| \|
* \|	Progress in presentation	Clifford Wolf	2014-02-16	5	-1/+79
\| \|
* \|	Fixed use of selection in splitnets command	Clifford Wolf	2014-02-16	1	-1/+1
\| \|
* \|	Added recursion support to techmap	Clifford Wolf	2014-02-16	1	-260/+262
\| \|
* \|	Progress in presentation	Clifford Wolf	2014-02-16	6	-3/+74
\| \|
* \|	Progress in presentation	Clifford Wolf	2014-02-16	6	-1/+114
\| \|
* \|	Improved support for constant functions	Clifford Wolf	2014-02-16	1	-1/+50
\| \|
* \|	Now we are in Yoys 0.2.0+ development	Clifford Wolf	2014-02-16	2	-3/+9
\| \|
* \|	Tagging Yoys 0.2.0	Clifford Wolf	2014-02-16	2	-5/+88
\| \|
* \|	Added != support for relational select pattern	Clifford Wolf	2014-02-16	1	-1/+7
\| \|
* \|	Added iopadmap -bits	Clifford Wolf	2014-02-15	1	-14/+48
\| \|
* \|	Added ff and latch support to read_liberty	Clifford Wolf	2014-02-15	1	-40/+254
\| \|
* \|	Bugfix in expression parser of read_liberty	Clifford Wolf	2014-02-15	1	-2/+1
\| \|
* \|	Fixed dfflibmap for cell libraries with no set-reset-ff	Clifford Wolf	2014-02-15	1	-1/+1
\| \|
* \|	Correctly convert constants to RTLIL (fixed undef handling)	Clifford Wolf	2014-02-15	1	-11/+1
\| \|
* \|	Added frontend (-f) option to autotest.sh	Clifford Wolf	2014-02-15	1	-5/+8
\| \|
* \|	Fixed opt_const handling of double invert with non-1 output width	Clifford Wolf	2014-02-15	1	-1/+1
\| \|
* \|	Added liberty frontend	Clifford Wolf	2014-02-15	2	-0/+362
\| \|