Eddie Hung 09ee96e8c2 Merge remote-tracking branch 'origin/master' into xaig_dff

2019-11-19 15:40:39 -08:00

..

cmds

Add "autoname" pass and use it in "synth_ice40"

2019-11-13 13:41:16 +01:00

equiv

Add -async2sync to help text as per @daveshah1

2019-10-04 10:17:46 -07:00

fsm

Update fsm_detect bugfix

2019-11-12 17:31:30 +01:00

hierarchy

Adopt @cliffordwolf's suggestion

2019-09-03 12:18:50 -07:00

memory

stoi -> atoi

2019-08-07 11:09:17 -07:00

opt

wreduce: Don't trim zeros or sext when not matching ARST_VALUE

2019-11-14 18:43:15 +00:00

pmgen

Fix #1462, #1480.

2019-11-19 08:57:39 +01:00

proc

proc_clean: fix order of switch insertion.

2019-08-19 16:44:23 +00:00

sat

Revert "Be mindful that sigmap(wire) could have dupes when checking \init"

2019-10-08 12:41:24 -07:00

techmap

Merge remote-tracking branch 'origin/master' into xaig_dff

2019-11-19 15:40:39 -08:00

tests

Document (* gentb_skip *) attr for test_autotb

2019-09-18 12:41:35 -07:00