iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Added vivado support to xsthammer	Clifford Wolf	2013-06-26	5	-7/+69
*	Added SAT support for -all/-max with -verify	Clifford Wolf	2013-06-23	1	-6/+11
*	Merge branch 'master' of github.com:cliffordwolf/yosys	Clifford Wolf	2013-06-20	1	-2/+28
\|\
\| *	Added renaming of wires and cells to "rename" command	Clifford Wolf	2013-06-19	1	-2/+28
* \|	Added timout functionality to SAT solver	Clifford Wolf	2013-06-20	6	-8/+120
\|/
*	Added "eval" pass	Clifford Wolf	2013-06-19	6	-189/+316
*	Fixed build with clang	Clifford Wolf	2013-06-18	1	-41/+69
*	Added splitnets command	Clifford Wolf	2013-06-18	2	-0/+110
*	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