iCE40/yosys - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Added RTLIL::Module::fixup_ports() API and RTLIL::*::rewrite_sigspecs() API	Clifford Wolf	2013-06-18	2	-2/+79
\|
*	Added more stuff to xsthammer, found first xst bug	Clifford Wolf	2013-06-17	2	-2/+175
\|
*	Added support for "assign" statements in abc vlparse	Clifford Wolf	2013-06-15	2	-2/+39
\|
*	Added ternary op and concat op to xsthammer	Clifford Wolf	2013-06-15	1	-7/+124
\|
*	Fixed even more ConstEval bugs found using xsthammer	Clifford Wolf	2013-06-14	3	-30/+59
\|
*	Added consteval testing to xsthammer and fixed bugs	Clifford Wolf	2013-06-13	3	-2/+112
\|
*	More xsthammer improvements (using xst 14.5 now)	Clifford Wolf	2013-06-13	6	-70/+50
\|
*	More fixes for bugs found using xsthammer	Clifford Wolf	2013-06-13	5	-16/+24
\|
*	Merge branch 'master' of github.com:cliffordwolf/yosys	Clifford Wolf	2013-06-12	5	-5/+81
\|\
\| *	Added "scatter" command	Clifford Wolf	2013-06-12	2	-0/+73
\| \|
\| *	Renamed yosys-show temp files to be dot-files in the users home directory	Clifford Wolf	2013-06-12	1	-3/+3
\| \|
\| *	Fixed gcc build (c++11 stuff in ezSAT)	Clifford Wolf	2013-06-12	2	-2/+5
\| \|
* \|	Another fix for a bug found using xsthammer	Clifford Wolf	2013-06-12	2	-4/+18
\|/
*	Further improved and extended xsthammer	Clifford Wolf	2013-06-11	7	-138/+227
\|
*	More xsthammer improvements	Clifford Wolf	2013-06-10	2	-21/+27
\|
*	More sign-extension related fixes	Clifford Wolf	2013-06-10	1	-12/+13
\|
*	Sign-extension related fixes in SatGen and AST frontend	Clifford Wolf	2013-06-10	2	-8/+10
\|
*	Progress xsthammer scripts	Clifford Wolf	2013-06-10	3	-27/+37
\|
*	Improvements and fixes in SAT code	Clifford Wolf	2013-06-10	2	-9/+36
\|
*	Added history file read/write to driver	Clifford Wolf	2013-06-10	1	-0/+16
\|
*	Progress in xsthammer: working proof for cell models	Clifford Wolf	2013-06-10	3	-34/+51
\|
*	Fixes and improvements in AST const folding	Clifford Wolf	2013-06-10	2	-1/+11
\|
*	Enabled AST/Verilog front-end optimizations per default	Clifford Wolf	2013-06-10	5	-11/+30
\|
*	Fixed generation of newlines in "dump" output	Clifford Wolf	2013-06-10	1	-3/+4
\|
*	Added "rename" command	Clifford Wolf	2013-06-10	2	-0/+95
\|
*	Progress on xsthammer	Clifford Wolf	2013-06-10	5	-0/+268
\|
*	Added first xsthammer scripts	Clifford Wolf	2013-06-10	4	-0/+183
\|
*	Renamed "sat_solve" pass to "sat"	Clifford Wolf	2013-06-09	3	-13/+13
\|
*	Implemented temporal induction proofs in sat_solve	Clifford Wolf	2013-06-09	3	-39/+180
\|
*	Added support for non-temporal proofs to sat_solve	Clifford Wolf	2013-06-09	2	-26/+127
\|
*	Re-organization in sat_solver pass for temporal induction	Clifford Wolf	2013-06-09	1	-251/+296
\|
*	Added ezSAT api support for don't care values in models	Clifford Wolf	2013-06-09	3	-6/+23
\|
*	Fixed handling of $_XOR_ in SAT generator	Clifford Wolf	2013-06-09	2	-2/+4
\|
*	Added sequential solving support to sat_solve	Clifford Wolf	2013-06-09	3	-89/+257
\|
*	Set rl_basic_word_break_characters in shell	Clifford Wolf	2013-06-09	1	-0/+1
\|
*	Improved readline tab completion	Clifford Wolf	2013-06-09	2	-25/+75
\|
*	Look for yosys-abc and yosys-svgviewer where the main exe is	Clifford Wolf	2013-06-09	4	-3/+23
\|
*	Added "make abc" and "make install-abc"	Clifford Wolf	2013-06-08	4	-4/+20
\|
*	Moved cmds from kernel/ to passes/cmds/	Clifford Wolf	2013-06-08	4	-1/+4
\|
*	Fixed typo is sat_solve help msg	Clifford Wolf	2013-06-08	1	-1/+1
\|
*	Added support for shifter cells to SAT generator	Clifford Wolf	2013-06-08	3	-10/+43
\|
*	Added "cd" and "ls" commands for convenience	Clifford Wolf	2013-06-08	1	-0/+111
\|
*	Various improvements in sat_solve pass and SAT generator	Clifford Wolf	2013-06-08	4	-41/+155
\|
*	Added -all and -max options to sat_solve	Clifford Wolf	2013-06-08	1	-0/+31
\|
*	Fixes and improvements in ezSAT library	Clifford Wolf	2013-06-08	5	-10/+202
\|
*	Improved auto-detection of -show signals in sat_solve	Clifford Wolf	2013-06-08	3	-29/+96
\|
*	Improved sat generator and sat_solve pass	Clifford Wolf	2013-06-07	6	-15/+57
\|
*	Added SAT generator and simple sat_solve command	Clifford Wolf	2013-06-07	7	-3/+400
\|
*	Added ezSAT library	Clifford Wolf	2013-06-07	12	-8/+2854
\|
*	Renamed opt_rmunused to opt_clean	Clifford Wolf	2013-06-05	7	-17/+17
\|