iCE40/yosys - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Added techmap -opt mode	Clifford Wolf	2013-08-09	1	-2/+5
\|
*	Some fixes to improve determinism	Clifford Wolf	2013-08-09	2	-2/+8
\|
*	Fixed SigPool::del() method	Clifford Wolf	2013-08-06	1	-1/+1
\|
*	Added proper deallocation of history buffer	Clifford Wolf	2013-08-06	1	-0/+5
\|
*	Added "design" command (-reset, -save, -load)	Clifford Wolf	2013-07-27	2	-12/+101
\|
*	Added "help -write-web-command-reference-manual"	Clifford Wolf	2013-07-26	1	-0/+52
\|
*	Added $lut cells and abc lut mapping support	Clifford Wolf	2013-07-23	1	-0/+3
\|
*	Fixed shift ops with large right hand side	Clifford Wolf	2013-07-09	1	-1/+1
\|
*	Added "eval" pass	Clifford Wolf	2013-06-19	2	-0/+86
\|
*	Fixed build with clang	Clifford Wolf	2013-06-18	1	-41/+69
\|
*	Added RTLIL::Module::fixup_ports() API and RTLIL::*::rewrite_sigspecs() API	Clifford Wolf	2013-06-18	2	-2/+79
\|
*	Fixed even more ConstEval bugs found using xsthammer	Clifford Wolf	2013-06-14	2	-28/+58
\|
*	Added consteval testing to xsthammer and fixed bugs	Clifford Wolf	2013-06-13	1	-0/+8
\|
*	More fixes for bugs found using xsthammer	Clifford Wolf	2013-06-13	1	-0/+1
\|
*	Another fix for a bug found using xsthammer	Clifford Wolf	2013-06-12	1	-0/+10
\|
*	Sign-extension related fixes in SatGen and AST frontend	Clifford Wolf	2013-06-10	1	-8/+8
\|
*	Improvements and fixes in SAT code	Clifford Wolf	2013-06-10	1	-5/+22
\|
*	Added history file read/write to driver	Clifford Wolf	2013-06-10	1	-0/+16
\|
*	Implemented temporal induction proofs in sat_solve	Clifford Wolf	2013-06-09	1	-2/+2
\|
*	Fixed handling of $_XOR_ in SAT generator	Clifford Wolf	2013-06-09	1	-1/+1
\|
*	Added sequential solving support to sat_solve	Clifford Wolf	2013-06-09	1	-32/+49
\|
*	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	2	-1/+21
\|
*	Moved cmds from kernel/ to passes/cmds/	Clifford Wolf	2013-06-08	2	-1736/+0
\|
*	Added support for shifter cells to SAT generator	Clifford Wolf	2013-06-08	1	-7/+26
\|
*	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	1	-31/+81
\|
*	Improved auto-detection of -show signals in sat_solve	Clifford Wolf	2013-06-08	1	-0/+24
\|
*	Improved sat generator and sat_solve pass	Clifford Wolf	2013-06-07	1	-9/+46
\|
*	Added SAT generator and simple sat_solve command	Clifford Wolf	2013-06-07	1	-0/+137
\|
*	Added "dump" command (part ilang backend)	Clifford Wolf	2013-06-02	2	-16/+16
\|
*	Added log_assert() api	Clifford Wolf	2013-05-24	2	-2/+5
\|
*	Added log_abort() api	Clifford Wolf	2013-05-24	1	-0/+2
\|
*	Only initialize TCL interpreter when needed	Clifford Wolf	2013-05-23	3	-39/+50
\|
*	Added labels to "help -write-tex-command-reference-manual" output	Clifford Wolf	2013-05-23	1	-0/+2
\|
*	Added support for processes to show command	Clifford Wolf	2013-05-23	1	-2/+81
\|
*	Fixed show command for constant assignments	Clifford Wolf	2013-05-23	1	-2/+2
\|
*	Added tcl "yosys -import" command	Clifford Wolf	2013-05-02	1	-3/+29
\|
*	Improved/simplified TCL bindings	Clifford Wolf	2013-05-01	3	-40/+57
\|
*	Fixed "show -format ..." command line parsing	Clifford Wolf	2013-04-15	1	-1/+1
\|
*	Fixed/improved handling of colored wires in show command	Clifford Wolf	2013-04-01	1	-2/+2
\|
*	Added support for @<set-name> in expand select ops (%x, %ci, %co)	Clifford Wolf	2013-04-01	1	-2/+12
\|
*	Removed 4096 bytes limit for size of command from script file	Clifford Wolf	2013-04-01	1	-3/+20
\|
*	Added -color <color> <selection> option to show command	Clifford Wolf	2013-04-01	4	-22/+101
\|
*	Fixed "select" for "%%" stmt with emty stack	Clifford Wolf	2013-03-31	1	-1/+2
\|
*	Added "script" command	Clifford Wolf	2013-03-31	1	-0/+16
\|
*	Improved opt_share for reduce cells	Clifford Wolf	2013-03-29	2	-3/+12
\|
*	Implemented TCL support (only via -c option at the moment)	Clifford Wolf	2013-03-28	3	-7/+78
\|
*	Implemented proper handling of stub placeholder modules	Clifford Wolf	2013-03-28	1	-2/+11
\|