yosys - Debian dgit repo for package yosys

	Commit message (Expand)	Author	Age
*	Progress in xsthammer	Clifford Wolf	2013-07-03
*	Added vivado support to xsthammer	Clifford Wolf	2013-06-26
*	Added SAT support for -all/-max with -verify	Clifford Wolf	2013-06-23
*	Merge branch 'master' of github.com:cliffordwolf/yosys	Clifford Wolf	2013-06-20
\|\
\| *	Added renaming of wires and cells to "rename" command	Clifford Wolf	2013-06-19
* \|	Added timout functionality to SAT solver	Clifford Wolf	2013-06-20
\|/
*	Added "eval" pass	Clifford Wolf	2013-06-19
*	Fixed build with clang	Clifford Wolf	2013-06-18
*	Added splitnets command	Clifford Wolf	2013-06-18
*	Added RTLIL::Module::fixup_ports() API and RTLIL::*::rewrite_sigspecs() API	Clifford Wolf	2013-06-18
*	Added more stuff to xsthammer, found first xst bug	Clifford Wolf	2013-06-17
*	Added support for "assign" statements in abc vlparse	Clifford Wolf	2013-06-15
*	Added ternary op and concat op to xsthammer	Clifford Wolf	2013-06-15
*	Fixed even more ConstEval bugs found using xsthammer	Clifford Wolf	2013-06-14
*	Added consteval testing to xsthammer and fixed bugs	Clifford Wolf	2013-06-13
*	More xsthammer improvements (using xst 14.5 now)	Clifford Wolf	2013-06-13
*	More fixes for bugs found using xsthammer	Clifford Wolf	2013-06-13
*	Merge branch 'master' of github.com:cliffordwolf/yosys	Clifford Wolf	2013-06-12
\|\
\| *	Added "scatter" command	Clifford Wolf	2013-06-12
\| *	Renamed yosys-show temp files to be dot-files in the users home directory	Clifford Wolf	2013-06-12
\| *	Fixed gcc build (c++11 stuff in ezSAT)	Clifford Wolf	2013-06-12
* \|	Another fix for a bug found using xsthammer	Clifford Wolf	2013-06-12
\|/
*	Further improved and extended xsthammer	Clifford Wolf	2013-06-11
*	More xsthammer improvements	Clifford Wolf	2013-06-10
*	More sign-extension related fixes	Clifford Wolf	2013-06-10
*	Sign-extension related fixes in SatGen and AST frontend	Clifford Wolf	2013-06-10
*	Progress xsthammer scripts	Clifford Wolf	2013-06-10
*	Improvements and fixes in SAT code	Clifford Wolf	2013-06-10
*	Added history file read/write to driver	Clifford Wolf	2013-06-10
*	Progress in xsthammer: working proof for cell models	Clifford Wolf	2013-06-10
*	Fixes and improvements in AST const folding	Clifford Wolf	2013-06-10
*	Enabled AST/Verilog front-end optimizations per default	Clifford Wolf	2013-06-10
*	Fixed generation of newlines in "dump" output	Clifford Wolf	2013-06-10
*	Added "rename" command	Clifford Wolf	2013-06-10
*	Progress on xsthammer	Clifford Wolf	2013-06-10
*	Added first xsthammer scripts	Clifford Wolf	2013-06-10
*	Renamed "sat_solve" pass to "sat"	Clifford Wolf	2013-06-09
*	Implemented temporal induction proofs in sat_solve	Clifford Wolf	2013-06-09
*	Added support for non-temporal proofs to sat_solve	Clifford Wolf	2013-06-09
*	Re-organization in sat_solver pass for temporal induction	Clifford Wolf	2013-06-09
*	Added ezSAT api support for don't care values in models	Clifford Wolf	2013-06-09
*	Fixed handling of $_XOR_ in SAT generator	Clifford Wolf	2013-06-09
*	Added sequential solving support to sat_solve	Clifford Wolf	2013-06-09
*	Set rl_basic_word_break_characters in shell	Clifford Wolf	2013-06-09
*	Improved readline tab completion	Clifford Wolf	2013-06-09
*	Look for yosys-abc and yosys-svgviewer where the main exe is	Clifford Wolf	2013-06-09
*	Added "make abc" and "make install-abc"	Clifford Wolf	2013-06-08
*	Moved cmds from kernel/ to passes/cmds/	Clifford Wolf	2013-06-08
*	Fixed typo is sat_solve help msg	Clifford Wolf	2013-06-08
*	Added support for shifter cells to SAT generator	Clifford Wolf	2013-06-08