iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Improved undef handling in == and != for ConstEval	Clifford Wolf	2013-11-06	1	-11/+25
*	Improved width extension with regard to undef propagation	Clifford Wolf	2013-11-06	2	-67/+100
*	Fixed handling of undef values in POS cells in ConstEval	Clifford Wolf	2013-11-06	1	-3/+1
*	Fixed handling of undef values in MUX select input in ConstEval	Clifford Wolf	2013-11-06	1	-32/+58
*	Added eval -vloghammer_report mode	Clifford Wolf	2013-11-06	1	-0/+3
*	Fixed sign handling in const eval of sshl and sshr	Clifford Wolf	2013-11-05	1	-2/+6
*	Write yosys version to output files	Clifford Wolf	2013-11-03	2	-3/+3
*	Fixed get_share_file_name() for installed yosys	Clifford Wolf	2013-10-27	1	-2/+3
*	Added API and Makefile rules for share/ files	Clifford Wolf	2013-10-27	2	-0/+22
*	Added design->full_selection() helper method	Clifford Wolf	2013-10-27	1	-0/+3
*	Fixed handling of boolean attributes (passes)	Clifford Wolf	2013-10-24	1	-1/+1
*	Fixed handling of boolean attributes (kernel)	Clifford Wolf	2013-10-24	1	-5/+17
*	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