yosys - Debian dgit repo for package yosys

	Commit message (Collapse)	Author	Age
*	Merged OSX fixes from Siesh1oo with some modifications	Clifford Wolf	2014-03-13
\|
*	Some fixes in libs/minisat (thanks to Siesh1oo)	Clifford Wolf	2014-03-12
\|
*	- kernel/register.h, kernel/driver.cc: refactor ↵	Siesh1oo	2014-03-12
\| \| \| \| \| \| \|	rewrite_yosys_exe()/get_share_file_name() to portable proc_self_dirname()/proc_share_dirname(). This refactoring improves robustness and allows OSX support with only 7 new lines of code, and easy extension for other systems. - passes/abc/abc.cc, passes/cmds/show.cc, passes/techmap/techmap.cc: use new, refactored semantics.
*	Fixed dependencies of "make test"	Clifford Wolf	2014-03-12
\|
*	Added libs/minisat (copy of minisat git master)	Clifford Wolf	2014-03-12
\|
*	OSX compatible creation of stdcells.inc, using code from ↵	Clifford Wolf	2014-03-11
\| \| \| \| \| \|	github.com/Siesh1oo/yosys (see https://github.com/cliffordwolf/yosys/pull/28)
*	Merged addition of SED makefile variable from github.com/Siesh1oo/yosys	Clifford Wolf	2014-03-11
\| \| \| \|	(see https://github.com/cliffordwolf/yosys/pull/28)
*	Merged a few fixes for non-posix systems from github.com/Siesh1oo/yosys	Clifford Wolf	2014-03-11
\| \| \| \|	(see https://github.com/cliffordwolf/yosys/pull/28)
*	Added support for `line compiler directive	Clifford Wolf	2014-03-11
\|
*	Fixed memory corruption in passes/abc/blifparse.cc	Clifford Wolf	2014-03-11
\|
*	Fixed yosys path in tests/techmap/mem_simple_4x1_runtest.sh	Clifford Wolf	2014-03-11
\|
*	Use "verilog -noattr" in tests/techmap/mem_simple_4x1 test (for old iverilog)	Clifford Wolf	2014-03-11
\|
*	Fixed a typo in RTLIL::Module::addReduce...	Clifford Wolf	2014-03-10
\|
*	Improved verific command (added support for some operators)	Clifford Wolf	2014-03-10
\|
*	Improvements in verific command	Clifford Wolf	2014-03-10
\|
*	Added RTLIL::Module::add... helper methods	Clifford Wolf	2014-03-10
\|
*	Added "verific" command	Clifford Wolf	2014-03-09
\|
*	Fixed dumping of timing() { .. } block in libparse	Clifford Wolf	2014-03-09
\|
*	Verbose reading of liberty and constr files in ABC pass	Clifford Wolf	2014-03-09
\|
*	Fixed bug in freduce command	Clifford Wolf	2014-03-07
\|
*	Some minor code cleanups in freduce command	Clifford Wolf	2014-03-07
\|
*	Bugfix in ilang frontend autoidx recovery	Clifford Wolf	2014-03-07
\|
*	Use log_abort() and log_assert() in BTOR backend	Clifford Wolf	2014-03-07
\|
*	Added freduce -dump	Clifford Wolf	2014-03-06
\|
*	Added freduce -stop	Clifford Wolf	2014-03-06
\|
*	Fixed gcc compiler warning	Clifford Wolf	2014-03-06
\|
*	Fixed undef handling in opt_reduce	Clifford Wolf	2014-03-06
\|
*	Fixes for improved techmap of shifts with large B inputs	Clifford Wolf	2014-03-06
\|
*	Fixed use of frozen literals in SatGen	Clifford Wolf	2014-03-06
\|
*	Strictly zero-extend unsigned A-inputs of shift operations in techmap	Clifford Wolf	2014-03-06
\|
*	Added techmap -max_iter option	Clifford Wolf	2014-03-06
\|
*	Improved techmap of shift with wide B inputs	Clifford Wolf	2014-03-06
\|
*	Strictly zero-extend unsigned A-inputs of shift operations	Clifford Wolf	2014-03-06
\|
*	Switched to EZMINISAT_SIMPSOLVER as default SAT solver	Clifford Wolf	2014-03-05
\|
*	Include id2ast pointers when dumping AST	Clifford Wolf	2014-03-05
\|
*	Fixed merging of compatible wire decls in AST frontend	Clifford Wolf	2014-03-05
\|
*	Bugfix in recursive AST simplification	Clifford Wolf	2014-03-05
\|
*	fixed freduce for Minisat::SimpSolver: use frozen_literal()	Clifford Wolf	2014-03-03
\|
*	ezSAT: Added frozen_literal() API	Clifford Wolf	2014-03-03
\|
*	ezSAT: Fixed handling of eliminated Literals, added auto-freeze for expressions	Clifford Wolf	2014-03-03
\|
*	Added ezSAT::eliminated API to help the SAT solver remember eliminated variables	Clifford Wolf	2014-03-01
\|
*	ezSAT bugfix: don't call virtual methods in base class constructor	Clifford Wolf	2014-03-01
\|
*	Removed ezSAT::assumed() API	Clifford Wolf	2014-03-01
\|
*	Removed ezSAT built-in brute-froce solver	Clifford Wolf	2014-03-01
\|
*	Fixed vhdl2verilog temp dir name	Clifford Wolf	2014-03-01
\|
*	Fixed vhdl2verilog help message	Clifford Wolf	2014-03-01
\|
*	Fixed const folding of $bu0 cells	Clifford Wolf	2014-02-27
\|
*	Fixed bit-extending in $mux argument (use $bu0 instead of $pos)	Clifford Wolf	2014-02-26
\|
*	Added support for $bu0 to SatGen	Clifford Wolf	2014-02-26
\|
*	Don't blow up constants unneccessarily in Verilog frontend	Clifford Wolf	2014-02-24
\|