iCE40/yosys - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	Added expose -dff	Clifford Wolf	2014-02-06	1	-1/+44
\|
*	Added support for #-comments in same line as command	Clifford Wolf	2014-02-06	1	-0/+2
\|
*	presentation progress	Clifford Wolf	2014-02-06	10	-12/+265
\|
*	Changed techmap description from "simple" to "generic"	Clifford Wolf	2014-02-06	1	-1/+1
\|
*	Added miter -make_outcmp	Clifford Wolf	2014-02-06	1	-2/+23
\|
*	Added sat -set-init-zero support	Clifford Wolf	2014-02-06	1	-2/+22
\|
*	Added support for backslash continuation in script files	Clifford Wolf	2014-02-06	1	-2/+13
\|
*	Added counters sat test case	Clifford Wolf	2014-02-06	2	-0/+45
\|
*	Added sat -verify and -falsify support for non-prove cases	Clifford Wolf	2014-02-06	1	-14/+26
\|
*	Added expose command	Clifford Wolf	2014-02-05	2	-0/+264
\|
*	presentation progress	Clifford Wolf	2014-02-05	4	-64/+221
\|
*	Simplified select "Assertation failed" message generation	Clifford Wolf	2014-02-05	1	-16/+4
\|
*	Merge branch 'master' of github.com:cliffordwolf/yosys	Clifford Wolf	2014-02-05	1	-7/+24
\|\
\| *	Merge pull request #22 from hansiglaser/master	Clifford Wolf	2014-02-05	1	-7/+24
\| \|\ \| \| \| \| \| \|	Little improvements for "select"
\| \| *	be more verbose for select -assert-any and -assert-none	Johann Glaser	2014-02-05	1	-2/+16
\| \| \|
\| \| *	improved help for "select"	Johann Glaser	2014-02-05	1	-5/+8
\| \|/
* \|	Added BTOR backend README file	Clifford Wolf	2014-02-05	2	-1/+24
\| \|
* \|	Added selection support for r: and selection with relational operators	Clifford Wolf	2014-02-05	1	-34/+80
\|/
*	presentation progress	Clifford Wolf	2014-02-05	5	-3/+62
\|
*	presentation progress	Clifford Wolf	2014-02-05	5	-8/+230
\|
*	Added read_verilog -setattr	Clifford Wolf	2014-02-05	1	-0/+15
\|
*	Added setattr and setparam commands	Clifford Wolf	2014-02-05	2	-0/+181
\|
*	Updated todo items in README file	Clifford Wolf	2014-02-05	1	-2/+2
\|
*	Removed old unused files from tests/	Clifford Wolf	2014-02-05	14	-2602/+0
\|
*	Added support for dump -append	Clifford Wolf	2014-02-04	1	-3/+12
\|
*	Throw errors if non-existing selection variables are used	Clifford Wolf	2014-02-04	1	-3/+4
\|
*	Added select -none	Clifford Wolf	2014-02-04	1	-4/+20
\|
*	presentation progress	Clifford Wolf	2014-02-04	3	-34/+104
\|
*	Fixed detection of init attribute in opt_rmdff	Clifford Wolf	2014-02-04	1	-1/+1
\|
*	Added support for inline commands to abc -script	Clifford Wolf	2014-02-04	1	-39/+75
\|
*	presentation progress	Clifford Wolf	2014-02-04	9	-3/+206
\|
*	Added hierarchy -purge_lib option	Clifford Wolf	2014-02-04	1	-3/+14
\|
*	Added test cases for sat command	Clifford Wolf	2014-02-04	7	-0/+127
\|
*	added sat -falsify	Clifford Wolf	2014-02-04	1	-4/+28
\|
*	Fixed bug in sequential sat proofs and improved handling of asserts	Clifford Wolf	2014-02-04	3	-9/+45
\|
*	Improved handling of reg init in opt_share and opt_rmdff	Clifford Wolf	2014-02-04	2	-7/+48
\|
*	presentation progress	Clifford Wolf	2014-02-04	2	-11/+55
\|
*	presentation progress	Clifford Wolf	2014-02-03	6	-1/+152
\|
*	Addred sat option -ignore_unknown_cells	Clifford Wolf	2014-02-03	1	-3/+17
\|
*	Added TRANSPARENT parameter to $memrd (and RD_TRANSPARENT to $mem)	Clifford Wolf	2014-02-03	11	-78/+186
\|
*	Replaced isim with xsim in tests/tools/autotest.sh, removed xst support	Clifford Wolf	2014-02-03	1	-50/+10
\|
*	More opt_const -mux_bool features	Clifford Wolf	2014-02-02	1	-7/+46
\|
*	presentation progress	Clifford Wolf	2014-02-02	19	-40/+194
\|
*	Added opt_const -mux_bool	Clifford Wolf	2014-02-02	2	-7/+47
\|
*	Added support for inverter chains to opt_const	Clifford Wolf	2014-02-02	1	-1/+21
\|
*	Added RTLIL::SigSpec::to_single_sigbit()	Clifford Wolf	2014-02-02	2	-0/+10
\|
*	Only generate write-enable $and if WE is not constant 1 in memory_map	Clifford Wolf	2014-02-02	1	-15/+18
\|
*	Added constant-clock case to opt_rmdff	Clifford Wolf	2014-02-02	1	-0/+8
\|
*	presentation progress	Clifford Wolf	2014-02-02	10	-0/+80
\|
*	Added show -notitle option	Clifford Wolf	2014-02-02	1	-4/+14
\|