iCE40/yosys - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Changed NEW_WIRE API to return the wire, not the signal	Clifford Wolf	2013-10-18	2	-2/+2
\|
*	Added RTLIL NEW_WIRE macro	Clifford Wolf	2013-10-18	2	-0/+13
\|
*	Added $_SR_[PN][PN]_, $_DFFSR_[PN][PN][PN]_, $_DLATCH_[PN]_	Clifford Wolf	2013-10-18	1	-0/+14
\|
*	Added $sr, $dffsr and $dlatch cell types	Clifford Wolf	2013-10-18	1	-1/+3
\|
*	Added version info to yosys command and added -V option	Clifford Wolf	2013-08-20	1	-2/+13
\|
*	Implemented same div-by-zero behavior as found in other synthesis tools	Clifford Wolf	2013-08-15	1	-5/+28
\|
*	Fixed signed div/mod in const eval (rounding and stuff)	Clifford Wolf	2013-08-15	1	-2/+8
\|
*	Added sat -ignore_div_by_zero switch	Clifford Wolf	2013-08-15	1	-1/+6
\|
*	Added eval -brute_force_equiv_checker_x mode	Clifford Wolf	2013-08-15	1	-4/+10
\|
*	Added SAT support for $div and $mod cells	Clifford Wolf	2013-08-11	1	-0/+46
\|
*	Added "clean -purge" and ";;;" support	Clifford Wolf	2013-08-11	1	-0/+2
\|
*	Added ";;" as shortcut for "; clean;"	Clifford Wolf	2013-08-11	1	-1/+4
\|
*	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
\|