projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #2082 from YosysHQ/eddie/abc9_scc_fixes
[yosys.git] / backends /
2020-06-04 Eddie HungMerge pull request #2082 from YosysHQ/eddie/abc9_scc_fixes no_loop tree | commitdiff
2020-06-03 Eddie HungMerge pull request #2080 from YosysHQ/eddie/fix_test_wa... tree | commitdiff
2020-05-31 clairexenMerge pull request #1862 from boqwxp/cleanup_techmap tree | commitdiff
2020-05-30 Eddie HungMerge pull request #2081 from YosysHQ/eddie/blackbox_ast tree | commitdiff
2020-05-30 clairexenMerge pull request #2018 from boqwxp/qbfsat-timeout tree | commitdiff
2020-05-29 Alberto Gonzalezsmtbmc: Remove superfluous `yosys-smt2-timeout` file... tree | commitdiff
2020-05-29 clairexenMerge pull request #2029 from whitequark/fix-simplify... tree | commitdiff
2020-05-29 clairexenMerge pull request #1885 from Xiretza/mod-rem-cells tree | commitdiff
2020-05-29 clairexenMerge pull request #2092 from whitequark/rtlil-no-space... tree | commitdiff
2020-05-29 clairexenMerge pull request #2017 from boqwxp/qbfsat-cvc4 tree | commitdiff
2020-05-29 clairexenMerge pull request #2016 from boqwxp/qbfsat-yices tree | commitdiff
2020-05-29 whitequarkMerge pull request #2033 from boqwxp/cleanup-verilog... tree | commitdiff
2020-05-28 XiretzaAdd flooring division operator tree | commitdiff
2020-05-28 XiretzaAdd flooring modulo operator tree | commitdiff
2020-05-28 whitequarkMerge pull request #2091 from boqwxp/printattrs tree | commitdiff
2020-05-28 whitequarkMerge pull request #2051 from Xiretza/makefile-cd-warning tree | commitdiff
2020-05-28 whitequarkMerge pull request #2031 from epfl-vlsc/master tree | commitdiff
2020-05-28 whitequarkMerge pull request #2063 from boqwxp/techmapped-firrtl tree | commitdiff
2020-05-28 whitequarkMerge pull request #2088 from rswarbrick/count-at tree | commitdiff
2020-05-28 whitequarkMerge pull request #2087 from rswarbrick/lex-warn tree | commitdiff
2020-05-28 whitequarkMerge pull request #2086 from rswarbrick/sigbit tree | commitdiff
2020-05-28 whitequarkMerge pull request #2084 from rswarbrick/c_str tree | commitdiff
2020-05-26 whitequarkMerge pull request #2090 from whitequark/cxxrtl-fixes tree | commitdiff
2020-05-26 whitequarkcxxrtl: make logging a little bit nicer. tree | commitdiff
2020-05-26 whitequarkcxxrtl: add missing parts of commit 281c9685. tree | commitdiff
2020-05-25 Eddie Hungxaiger: promote abc9_keep wires tree | commitdiff
2020-05-25 Alberto Gonzalezsmtbmc and qbfsat: Add timeout option to set solver... tree | commitdiff
2020-05-25 Alberto Gonzalezqbfsat: Move SMT2 info statements back to the top of... tree | commitdiff
2020-05-25 Alberto Gonzalezqbfsat: Add `-solver` option and allow choice of Z3... tree | commitdiff
2020-05-25 clairexenMerge pull request #2015 from boqwxp/qbfsat-bisection tree | commitdiff
2020-05-24 Eddie HungMerge pull request #2075 from YosysHQ/eddie/xaiger_cleanup tree | commitdiff
2020-05-24 Eddie Hungxaiger: do not derive cells tree | commitdiff
2020-05-22 whitequarkMerge pull request #2072 from whitequark/cxxrtl-dont... tree | commitdiff
2020-05-22 whitequarkcxxrtl: get rid of -O5 aka `opt_clean -purge` optimizat... tree | commitdiff
2020-05-21 Eddie HungMerge pull request #2057 from YosysHQ/eddie/fix_task_attr tree | commitdiff
2020-05-21 Miodrag MilanovićMerge pull request #2059 from boqwxp/logger-vector... tree | commitdiff
2020-05-20 N. EngelhardtMerge pull request #2046 from PeterCrozier/trap tree | commitdiff
2020-05-20 N. EngelhardtMerge pull request #2054 from boqwxp/fix-smtbmc tree | commitdiff
2020-05-19 Alberto Gonzalezsmtbmc: Fix typo in error message. tree | commitdiff
2020-05-18 Eddie HungMerge pull request #1926 from YosysHQ/eddie/abc9_auto_dff tree | commitdiff
2020-05-17 Alberto Gonzalezfirrtl: Accept techmapped cell types in FIRRTL backend. tree | commitdiff
2020-05-14 Eddie Hungabc9: use (* abc9_keep *) instead of (* abc9_scc *... tree | commitdiff
2020-05-14 Eddie HungMerge pull request #1994 from YosysHQ/eddie/fix_bug1758 tree | commitdiff
2020-05-14 Eddie Hungabc9_ops/xaiger: further reducing Module::derive()... tree | commitdiff
2020-05-14 Eddie HungCleanup; reduce Module::derive() calls tree | commitdiff
2020-05-14 Eddie Hungxaiger: no longer use nonstandard even/odd to designate... tree | commitdiff
2020-05-14 Eddie Hungabc9: not enough to techmap_fail on (* init=1 *), hide... tree | commitdiff
2020-05-14 Eddie HungRevert "Merge pull request #1917 from YosysHQ/eddie... tree | commitdiff
2020-05-14 Eddie Hungxaiger: always sort input/output bits by port id tree | commitdiff
2020-05-14 Eddie Hungabc9: generate $abc9_holes design instead of <name... tree | commitdiff
2020-05-14 Eddie Hungaiger/xaiger: use odd for negedge clk, even for posedge tree | commitdiff
2020-05-14 Eddie Hungxaiger: update help text tree | commitdiff
2020-05-14 Eddie Hungxaiger: do not treat (* init=1'bx *) as 1'b0 tree | commitdiff
2020-05-14 Eddie Hungxaiger: when -dff use (* init *) for initial state tree | commitdiff
2020-05-14 Eddie Hungabc9_ops: add 'dff' label for auto handling of (* abc9_... tree | commitdiff
2020-05-14 Eddie Hungxaiger: output $_DFF_[NP]_ with mergeability if -dff... tree | commitdiff
2020-05-14 Alberto Gonzalezsmtbmc: Fix return status handling. tree | commitdiff
2020-05-14 Claire WolfMerge pull request #2027 from YosysHQ/eddie/verilog_neg... tree | commitdiff
2020-05-08 Claire WolfMerge pull request #2038 from nakengelhardt/no-libdir... tree | commitdiff
2020-05-08 whitequarkMerge pull request #2022 from Xiretza/fallthroughs tree | commitdiff
2020-05-07 Claire WolfMerge pull request #2005 from YosysHQ/claire/fix1990 tree | commitdiff
2020-05-07 XiretzaReorder cases to avoid fall-through warning tree | commitdiff
2020-05-07 XiretzaAdd YS_FALLTHROUGH macro to mark case fall-through tree | commitdiff
2020-05-06 Sahand KashaniFormatting fixes tree | commitdiff
2020-05-05 Sahand KashaniAdd extmodule support to firrtl backend tree | commitdiff
2020-05-05 whitequarkMerge pull request #2012 from whitequark/fix-wasi-abc... tree | commitdiff
2020-05-04 Eddie HungMerge pull request #1996 from boqwxp/rtlil_source_locations tree | commitdiff
2020-05-03 whitequarkMerge pull request #2000 from whitequark/log_error... tree | commitdiff
2020-05-03 Claire WolfMerge pull request #2014 from YosysHQ/claire/fixoptalu tree | commitdiff
2020-05-02 Eddie HungMerge pull request #2013 from YosysHQ/eddie/aiger_fixes tree | commitdiff
2020-05-02 Eddie Hungaiger: fixes for ports that have start_offset != 0 tree | commitdiff
2020-05-01 Claire WolfMerge pull request #1997 from whitequark/document-ootb tree | commitdiff
2020-05-01 Claire WolfMerge pull request #1981 from YosysHQ/claire/fix1837 tree | commitdiff
2020-04-30 Eddie HungMerge pull request #1999 from YosysHQ/eddie/verific_enu... tree | commitdiff
2020-04-30 whitequarkMerge pull request #2008 from whitequark/editorconfig-abc tree | commitdiff
2020-04-27 Eddie HungMerge pull request #1992 from YosysHQ/eddie/bugpoint_help tree | commitdiff
2020-04-25 whitequarkMerge pull request #2002 from YosysHQ/dave/cxxrtl-width tree | commitdiff
2020-04-25 David Shahcxxrtl: Round up constant width tree | commitdiff
2020-04-24 whitequarkMerge pull request #1998 from whitequark/cxxrtl-fixes tree | commitdiff
2020-04-24 whitequarkcxxrtl: use `cxxrtl_` prefix rather than `cxxrtl.` tree | commitdiff
2020-04-24 whitequarkcxxrtl: improve printing of narrow memories. tree | commitdiff
2020-04-24 whitequarkcxxrtl: fix handling of parametric modules with large... tree | commitdiff
2020-04-23 Eddie HungMerge pull request #1974 from YosysHQ/eddie/abc9_disabl... tree | commitdiff
2020-04-22 Eddie HungMerge pull request #1949 from YosysHQ/eddie/select_blackbox tree | commitdiff
2020-04-22 Eddie HungMerge pull request #1983 from YosysHQ/eddie/use_default... tree | commitdiff
2020-04-22 whitequarkMerge pull request #1982 from AsuMagic/asu/cxxrtl-memor... tree | commitdiff
2020-04-22 Eddie HungMerge pull request #1969 from boqwxp/pool_emplace tree | commitdiff
2020-04-22 Asucxxrtl: keep the memory write queue sorted on insertion. tree | commitdiff
2020-04-22 Eddie HungMerge pull request #1973 from YosysHQ/eddie/fix1966 tree | commitdiff
2020-04-22 Eddie HungMerge pull request #1950 from YosysHQ/eddie/design_import tree | commitdiff
2020-04-22 Claire WolfMerge pull request #1976 from YosysHQ/dave/fix-sim... tree | commitdiff
2020-04-22 Claire WolfMerge pull request #1979 from whitequark/cxxrtl-go... tree | commitdiff
2020-04-22 whitequarkcxxrtl: run edge detectors only once in eval(). tree | commitdiff
2020-04-22 whitequarkcxxrtl: add an unsupported knob for manipulating clock... tree | commitdiff
2020-04-21 whitequarkcxxrtl: use log_id() where appropriate. NFC. tree | commitdiff
2020-04-21 whitequarkcxxrtl: add (*cxxrtl.{comb,sync}*) annotations on black... tree | commitdiff
2020-04-21 whitequarkcxxrtl: s/sync_{wire,type}/edge_{wire,type}/. NFC. tree | commitdiff
2020-04-21 Marcelina Kościelnickawrite_json: dump default parameter values tree | commitdiff
2020-04-21 Marcelina Kościelnickailang, ast: Store parameter order and default value... tree | commitdiff
2020-04-21 Claire WolfMerge pull request #1971 from YosysHQ/claire/edifkeep tree | commitdiff
next