Clifford Wolf c3365034e9 Updated ABC to hg rev b5df6e2b76f0		2016-06-17 11:16:31 +02:00
..
cmds	Added "setundef -init"	2016-06-03 11:38:31 +02:00
equiv	Added "yosys -D" feature	2016-04-21 23:28:37 +02:00
fsm	Added "yosys -D" feature	2016-04-21 23:28:37 +02:00
hierarchy	Made the expansion order of hierarchy deterministic	2016-05-22 16:41:26 +02:00
memory	Don't sign-extend memory bram initialization data	2016-05-15 00:05:30 +02:00
opt	Added opt_expr support for div/mod by power-of-two	2016-05-29 12:17:36 +02:00
proc	Added "proc_mux -ifx"	2016-06-06 17:15:50 +02:00
sat	Added "yosys -D" feature	2016-04-21 23:28:37 +02:00
techmap	Updated ABC to hg rev b5df6e2b76f0	2016-06-17 11:16:31 +02:00
tests	Improvements and fixes in autotest.sh script and test_autotb	2016-05-20 16:58:02 +02:00