aboutsummaryrefslogtreecommitdiffstats
path: root/passes/equiv/equiv_opt.cc
Commit message (Expand)AuthorAgeFilesLines
* xilinx: Add xilinx_dffopt pass (#1557)Marcin Koƛcielnicki2019-12-181-2/+16
* Add -async2sync to help text as per @daveshah1Eddie Hung2019-10-041-1/+4
* Restore part of docEddie Hung2019-10-031-1/+2
* Add new -async2sync optionEddie Hung2019-10-031-1/+11
* Revert "equiv_opt to call async2sync when not -multiclock like SymbiYosys"Eddie Hung2019-10-031-2/+0
* Revert "Update doc for equiv_opt"Eddie Hung2019-10-031-3/+2
* Update doc for equiv_optEddie Hung2019-09-301-2/+3
* equiv_opt to call async2sync when not -multiclock like SymbiYosysEddie Hung2019-09-271-0/+2
* Add equiv_opt -multiclockDavid Shah2019-09-111-1/+11
* substr() -> compare()Eddie Hung2019-08-071-1/+1
* Add -undef option to equiv_opt, passed to equiv_inductEddie Hung2019-04-261-3/+16
* Add "techmap -wb", use in formal flowsClifford Wolf2019-04-201-1/+1
* Fix equiv_opt indentingClifford Wolf2018-12-161-139/+129
* equiv_opt: pass -D EQUIV when techmapping.whitequark2018-12-071-2/+4
* equiv_opt: new command, for verifying optimization passes.whitequark2018-12-071-0/+165