projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #2206 from boqwxp/qbfsat-fix-name-specialization
[yosys.git] / techlibs / common / abc9_map.v
2020-06-04 whitequarkMerge pull request #2006 from jersey99/signed-in-rtlil... blob | commitdiff | raw
2020-06-04 N. EngelhardtMerge pull request #2070 from hackfin/master blob | commitdiff | raw
2020-06-03 Peter CrozierMerge branch 'master' into struct blob | commitdiff | raw
2020-05-31 clairexenMerge pull request #1862 from boqwxp/cleanup_techmap blob | commitdiff | raw
2020-05-29 clairexenMerge pull request #2029 from whitequark/fix-simplify... blob | commitdiff | raw
2020-05-29 whitequarkMerge pull request #2033 from boqwxp/cleanup-verilog... blob | commitdiff | raw
2020-05-28 whitequarkMerge pull request #2051 from Xiretza/makefile-cd-warning blob | commitdiff | raw
2020-05-28 whitequarkMerge pull request #2031 from epfl-vlsc/master blob | commitdiff | raw
2020-05-28 whitequarkMerge pull request #2063 from boqwxp/techmapped-firrtl blob | commitdiff | raw
2020-05-25 clairexenMerge pull request #2015 from boqwxp/qbfsat-bisection blob | commitdiff | raw
2020-05-21 Eddie HungMerge pull request #2057 from YosysHQ/eddie/fix_task_attr blob | commitdiff | raw
2020-05-21 Miodrag MilanovićMerge pull request #2059 from boqwxp/logger-vector... blob | commitdiff | raw
2020-05-20 N. EngelhardtMerge pull request #2046 from PeterCrozier/trap blob | commitdiff | raw
2020-05-20 N. EngelhardtMerge pull request #2054 from boqwxp/fix-smtbmc blob | commitdiff | raw
2020-05-18 Eddie HungMerge pull request #1926 from YosysHQ/eddie/abc9_auto_dff blob | commitdiff | raw
2020-05-14 Eddie Hungabc9: use (* abc9_keep *) instead of (* abc9_scc *... blob | commitdiff | raw
2020-05-14 Eddie Hungabc9: preserve $_DFF_?_.Q's (* init *); rely on clean... blob | commitdiff | raw | diff to current
2020-05-14 Eddie Hungabc9_ops/xaiger: further reducing Module::derive()... blob | commitdiff | raw | diff to current
2020-05-14 Eddie Hungabc9: only do +/abc9_map if `DFF blob | commitdiff | raw | diff to current
2020-05-14 Eddie Hungabc9: not enough to techmap_fail on (* init=1 *), hide... blob | commitdiff | raw | diff to current
2020-05-14 Eddie Hungabc9: add flop boxes to basic $_DFF_P_ and $_DFF_N_ too blob | commitdiff | raw | diff to current