yosys - Debian dgit repo for package yosys

	Commit message (Expand)	Author	Age
...
*	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
*	Added "cd" and "ls" commands for convenience	Clifford Wolf	2013-06-08
*	Various improvements in sat_solve pass and SAT generator	Clifford Wolf	2013-06-08
*	Added -all and -max options to sat_solve	Clifford Wolf	2013-06-08
*	Fixes and improvements in ezSAT library	Clifford Wolf	2013-06-08
*	Improved auto-detection of -show signals in sat_solve	Clifford Wolf	2013-06-08
*	Improved sat generator and sat_solve pass	Clifford Wolf	2013-06-07
*	Added SAT generator and simple sat_solve command	Clifford Wolf	2013-06-07
*	Added ezSAT library	Clifford Wolf	2013-06-07
*	Renamed opt_rmunused to opt_clean	Clifford Wolf	2013-06-05
*	Implemented technology mapping for multipliers (using array multiplier)	Clifford Wolf	2013-06-03
*	Added "dump" command (part ilang backend)	Clifford Wolf	2013-06-02