yosys - Debian dgit repo for package yosys

	Commit message (Collapse)	Author	Age
...
*	Updated ABC to rev fa4404b395f0	Clifford Wolf	2014-05-29
\|
*	Merge pull request #36 from hansiglaser/master	Clifford Wolf	2014-05-29
\|\ \| \| \| \|	Various changes merged
\| *	added log_header to miter and expose pass, show cell type for exposed ports	Johann Glaser	2014-05-28
\| \|
\| *	new flags -ignore_miss_func and -ignore_miss_dir for read_liberty	Johann Glaser	2014-05-28
\| \|
\| *	be more verbose when techmap yielded processes	Johann Glaser	2014-05-26
\|/
*	Fixed bug in opt_reduce (see vloghammer issue_044)	Clifford Wolf	2014-05-12
\|
*	fixed syntax error in dot file created by "show" command	Clifford Wolf	2014-05-10
\|
*	Merge branch 'master' of github.com:cliffordwolf/yosys	Clifford Wolf	2014-05-09
\|\
\| *	Progress in presentation	Clifford Wolf	2014-05-06
\| \|
\| *	Improved ezsat stand-alone tests	Clifford Wolf	2014-05-06
\| \|
* \|	Updated ABC to 67c84cdd49e4	Clifford Wolf	2014-05-09
\|/
*	workaround for OpenBSD 'stdout' implementation	Clifford Wolf	2014-05-03
\|
*	workaround for OpenBSD 'stdin' implementation	Clifford Wolf	2014-05-02
\|
*	Merge pull request #35 from bentley/dox	Clifford Wolf	2014-05-02
\|\ \| \| \| \|	Typos and grammar fixes through chapter 4.
\| *	Typos and grammar fixes through chapter 4.	Anthony J. Bentley	2014-05-02
\|/
*	Fixed clang -Wdeprecated-register warnings	Clifford Wolf	2014-04-20
\|
*	Replaced depricated %name-prefix= bison directive	Clifford Wolf	2014-04-20
\|
*	minisat compile fix	Clifford Wolf	2014-04-20
\|
*	Updated README	Clifford Wolf	2014-04-18
\|
*	Merge pull request #33 from bentley/dox	Clifford Wolf	2014-04-11
\|\ \| \| \| \|	Typos and grammar fixes through chapter 2.
\| *	Typos and grammar fixes through chapter 2.	Anthony J. Bentley	2014-04-11
\|/
*	Merge pull request #31 from bentley/posix-rm	Clifford Wolf	2014-04-05
\|\ \| \| \| \|	Remove non-POSIX 'rm -v'.
\| *	POSIX find requires a path argument.	Anthony J. Bentley	2014-04-04
\| \|
\| *	Remove non-POSIX 'rm -v'.	Anthony J. Bentley	2014-04-04
\|/
*	Added SIMLIB_NOLUT to simlib.v	Clifford Wolf	2014-04-02
\|
*	Added SIMLIB_NOSR to simlib.v	Clifford Wolf	2014-04-02
\|
*	Added support for dlatchsr cells	Clifford Wolf	2014-03-31
\|
*	Fixed mapping of Verific WIDE_DFFRS operator	Clifford Wolf	2014-03-20
\|
*	Fixed mapping of Verific FADD primitive with unconnected outputs	Clifford Wolf	2014-03-20
\|
*	Fixed performance problem in opt_mux with nets driven by many conflicting ↵	Clifford Wolf	2014-03-19
\| \| \| \|	drivers
*	Progress in Verific bindings	Clifford Wolf	2014-03-17
\|
*	Fixed typo in RTLIL::Module::addAdff()	Clifford Wolf	2014-03-17
\|
*	Progress in Verific bindings	Clifford Wolf	2014-03-17
\|
*	Progress in Verific bindings	Clifford Wolf	2014-03-17
\|
*	Added support for memories to verific bindings	Clifford Wolf	2014-03-16
\|
*	Use Verific Net::{IsGnd,IsPwr} API in Verific bindings	Clifford Wolf	2014-03-16
\|
*	Fixed typo in RTLIL::Module::{addSshl,addSshr}	Clifford Wolf	2014-03-15
\|
*	Progress in Verific bindings	Clifford Wolf	2014-03-15
\|
*	Progress in Verific bindings	Clifford Wolf	2014-03-15
\|
*	Progress in Verific bindings	Clifford Wolf	2014-03-15
\|
*	Added RTLIL::Module::add{Dff,Dffsr,Adff,Dlatch}Gate() API	Clifford Wolf	2014-03-15
\|
*	Progress in Verific bindings	Clifford Wolf	2014-03-14
\|
*	Added log_dump() support for generic pointers	Clifford Wolf	2014-03-14
\|
*	Progress in Verific bindings	Clifford Wolf	2014-03-14
\|
*	Added RTLIL::Module::Add{Inv,And,Or,Xor,Mux}Gate API	Clifford Wolf	2014-03-14
\|
*	Progress in Verific bindings	Clifford Wolf	2014-03-13
\|
*	Copy Verific vdbs files to Yosys "share" data directory	Clifford Wolf	2014-03-13
\|
*	Small improvement in SAT log messages	Clifford Wolf	2014-03-13
\|
*	Added test_navre.ys for verific frontend	Clifford Wolf	2014-03-13
\|
*	Hotfix for kernel/compatibility.h	Clifford Wolf	2014-03-13
\|