index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
passes
/
equiv
/
equiv_opt.cc
Commit message (
Expand
)
Author
Age
Files
Lines
*
Add "check -assert" to equiv_opt
Claire Xenia Wolf
2022-10-07
1
-1
/
+13
*
Use C++11 final/override keywords.
whitequark
2020-06-18
1
-4
/
+4
*
xilinx: Add xilinx_dffopt pass (#1557)
Marcin KoĆcielnicki
2019-12-18
1
-2
/
+16
*
Add -async2sync to help text as per @daveshah1
Eddie Hung
2019-10-04
1
-1
/
+4
*
Restore part of doc
Eddie Hung
2019-10-03
1
-1
/
+2
*
Add new -async2sync option
Eddie Hung
2019-10-03
1
-1
/
+11
*
Revert "equiv_opt to call async2sync when not -multiclock like SymbiYosys"
Eddie Hung
2019-10-03
1
-2
/
+0
*
Revert "Update doc for equiv_opt"
Eddie Hung
2019-10-03
1
-3
/
+2
*
Update doc for equiv_opt
Eddie Hung
2019-09-30
1
-2
/
+3
*
equiv_opt to call async2sync when not -multiclock like SymbiYosys
Eddie Hung
2019-09-27
1
-0
/
+2
*
Add equiv_opt -multiclock
David Shah
2019-09-11
1
-1
/
+11
*
substr() -> compare()
Eddie Hung
2019-08-07
1
-1
/
+1
*
Add -undef option to equiv_opt, passed to equiv_induct
Eddie Hung
2019-04-26
1
-3
/
+16
*
Add "techmap -wb", use in formal flows
Clifford Wolf
2019-04-20
1
-1
/
+1
*
Fix equiv_opt indenting
Clifford Wolf
2018-12-16
1
-139
/
+129
*
equiv_opt: pass -D EQUIV when techmapping.
whitequark
2018-12-07
1
-2
/
+4
*
equiv_opt: new command, for verifying optimization passes.
whitequark
2018-12-07
1
-0
/
+165