git.libre-soc.org Git - yosys.git/history - passes/sat/clk2fflogic.cc

2018-07-21	Henner Zeller	Consistent use of 'override' for virtual methods in...	blob \| commitdiff \| raw
2018-02-26	Clifford Wolf	Add $dlatchsr support to clk2fflogic	blob \| commitdiff \| raw \| diff to current
2017-12-14	Clifford Wolf	Merge branch 'master' into btor-ng	blob \| commitdiff \| raw \| diff to current
2017-12-14	Clifford Wolf	Fix a bug in clk2fflogic memory handling	blob \| commitdiff \| raw \| diff to current
2017-12-14	Clifford Wolf	Merge branch 'master' into btor-ng	blob \| commitdiff \| raw \| diff to current
2017-12-14	Clifford Wolf	Add clk2fflogic memory support	blob \| commitdiff \| raw \| diff to current
2017-12-13	Clifford Wolf	Check for memories in clk2fflogic	blob \| commitdiff \| raw \| diff to current
2016-10-19	Andrew Zonenberg	Merge https://github.com/cliffordwolf/yosys	blob \| commitdiff \| raw \| diff to current
2016-10-17	Clifford Wolf	Added clk2fflogic support for $dffsr and $dlatch	blob \| commitdiff \| raw \| diff to current
2016-10-16	Clifford Wolf	Improvements and bugfixes in clk2fflogic	blob \| commitdiff \| raw \| diff to current
2016-10-14	Clifford Wolf	Some minor build fixes for Visual C	blob \| commitdiff \| raw \| diff to current
2016-10-14	Clifford Wolf	Added clk2fflogic	blob \| commitdiff \| raw \| diff to current