Merge pull request #2082 from YosysHQ/eddie/abc9_scc_fixes
[yosys.git] / backends / cxxrtl /
2020-06-04 Eddie HungMerge pull request #2082 from YosysHQ/eddie/abc9_scc_fixes no_loop
2020-06-03 Eddie HungMerge pull request #2080 from YosysHQ/eddie/fix_test_wa...
2020-05-31 clairexenMerge pull request #1862 from boqwxp/cleanup_techmap
2020-05-30 Eddie HungMerge pull request #2081 from YosysHQ/eddie/blackbox_ast
2020-05-30 clairexenMerge pull request #2018 from boqwxp/qbfsat-timeout
2020-05-29 clairexenMerge pull request #2029 from whitequark/fix-simplify...
2020-05-29 clairexenMerge pull request #2017 from boqwxp/qbfsat-cvc4
2020-05-29 clairexenMerge pull request #2016 from boqwxp/qbfsat-yices
2020-05-29 whitequarkMerge pull request #2033 from boqwxp/cleanup-verilog...
2020-05-28 whitequarkMerge pull request #2091 from boqwxp/printattrs
2020-05-28 whitequarkMerge pull request #2051 from Xiretza/makefile-cd-warning
2020-05-28 whitequarkMerge pull request #2031 from epfl-vlsc/master
2020-05-28 whitequarkMerge pull request #2063 from boqwxp/techmapped-firrtl
2020-05-28 whitequarkMerge pull request #2088 from rswarbrick/count-at
2020-05-28 whitequarkMerge pull request #2087 from rswarbrick/lex-warn
2020-05-28 whitequarkMerge pull request #2086 from rswarbrick/sigbit
2020-05-28 whitequarkMerge pull request #2084 from rswarbrick/c_str
2020-05-26 whitequarkMerge pull request #2090 from whitequark/cxxrtl-fixes
2020-05-26 whitequarkcxxrtl: make logging a little bit nicer.
2020-05-26 whitequarkcxxrtl: add missing parts of commit 281c9685.
2020-05-25 clairexenMerge pull request #2015 from boqwxp/qbfsat-bisection
2020-05-22 whitequarkMerge pull request #2072 from whitequark/cxxrtl-dont...
2020-05-22 whitequarkcxxrtl: get rid of -O5 aka `opt_clean -purge` optimizat...
2020-05-14 Eddie HungMerge pull request #1994 from YosysHQ/eddie/fix_bug1758
2020-05-14 Claire WolfMerge pull request #2027 from YosysHQ/eddie/verilog_neg...
2020-05-08 Claire WolfMerge pull request #2038 from nakengelhardt/no-libdir...
2020-05-08 whitequarkMerge pull request #2022 from Xiretza/fallthroughs
2020-05-07 XiretzaReorder cases to avoid fall-through warning
2020-05-07 XiretzaAdd YS_FALLTHROUGH macro to mark case fall-through
2020-05-03 whitequarkMerge pull request #2000 from whitequark/log_error...
2020-05-01 Claire WolfMerge pull request #1997 from whitequark/document-ootb
2020-05-01 Claire WolfMerge pull request #1981 from YosysHQ/claire/fix1837
2020-04-30 Eddie HungMerge pull request #1999 from YosysHQ/eddie/verific_enu...
2020-04-30 whitequarkMerge pull request #2008 from whitequark/editorconfig-abc
2020-04-27 Eddie HungMerge pull request #1992 from YosysHQ/eddie/bugpoint_help
2020-04-25 whitequarkMerge pull request #2002 from YosysHQ/dave/cxxrtl-width
2020-04-25 David Shahcxxrtl: Round up constant width
2020-04-24 whitequarkMerge pull request #1998 from whitequark/cxxrtl-fixes
2020-04-24 whitequarkcxxrtl: use `cxxrtl_` prefix rather than `cxxrtl.`
2020-04-24 whitequarkcxxrtl: improve printing of narrow memories.
2020-04-24 whitequarkcxxrtl: fix handling of parametric modules with large...
2020-04-23 Eddie HungMerge pull request #1974 from YosysHQ/eddie/abc9_disabl...
2020-04-22 Eddie HungMerge pull request #1949 from YosysHQ/eddie/select_blackbox
2020-04-22 Eddie HungMerge pull request #1983 from YosysHQ/eddie/use_default...
2020-04-22 whitequarkMerge pull request #1982 from AsuMagic/asu/cxxrtl-memor...
2020-04-22 Eddie HungMerge pull request #1969 from boqwxp/pool_emplace
2020-04-22 Asucxxrtl: keep the memory write queue sorted on insertion.
2020-04-22 Eddie HungMerge pull request #1973 from YosysHQ/eddie/fix1966
2020-04-22 Eddie HungMerge pull request #1950 from YosysHQ/eddie/design_import
2020-04-22 Claire WolfMerge pull request #1976 from YosysHQ/dave/fix-sim...
2020-04-22 Claire WolfMerge pull request #1979 from whitequark/cxxrtl-go...
2020-04-22 whitequarkcxxrtl: run edge detectors only once in eval().
2020-04-22 whitequarkcxxrtl: add an unsupported knob for manipulating clock...
2020-04-21 whitequarkcxxrtl: use log_id() where appropriate. NFC.
2020-04-21 whitequarkcxxrtl: add (*cxxrtl.{comb,sync}*) annotations on black...
2020-04-21 whitequarkcxxrtl: s/sync_{wire,type}/edge_{wire,type}/. NFC.
2020-04-21 Claire WolfMerge pull request #1851 from YosysHQ/claire/bitselwrite
2020-04-21 whitequarkcxxrtl: use one delta cycle for immediately converging...
2020-04-21 whitequarkcxxrtl: add -O6, a shortcut for running `proc; flatten`.
2020-04-21 whitequarkcxxrtl: unbuffer module input wires.
2020-04-21 whitequarkcxxrtl: simplify generated edge detection logic.
2020-04-21 whitequarkcxxrtl: localize wires with multiple comb drivers,...
2020-04-21 whitequarkcxxrtl: detect buffered comb wires, not just feedback...
2020-04-21 whitequarkMerge pull request #1961 from whitequark/paramod-origin...
2020-04-20 Claire WolfMerge pull request #1964 from YosysHQ/claire/sformatf
2020-04-19 whitequarkMerge pull request #1967 from whitequark/cxxrtl-blackbo...
2020-04-19 whitequarkcxxrtl: provide attributes to black box factories,...
2020-04-18 whitequarkMerge pull request #1963 from whitequark/cxxrtl-blackboxes
2020-04-18 whitequarkcxxrtl: add templated black box support.
2020-04-18 whitequarkcxxrtl: make eval() and commit() inline in blackboxes.
2020-04-18 whitequarkcxxrtl: add simple black box support.
2020-04-18 whitequarkcxxrtl: use ID::X instead of ID(X). NFC.
2020-04-17 whitequarkMerge pull request #1955 from whitequark/cxxrtl-sync_always
2020-04-17 whitequarkcxxrtl: correctly handle `sync always` rules.
2020-04-17 whitequarkMerge pull request #1898 from boqwxp/locations
2020-04-17 whitequarkMerge pull request #1864 from boqwxp/cleanup_techmap_abc
2020-04-17 whitequarkMerge pull request #1888 from boqwxp/cleanup_scatter
2020-04-17 whitequarkMerge pull request #1882 from boqwxp/cleanup_rename
2020-04-16 whitequarkMerge pull request #1929 from YosysHQ/eddie/select_unset
2020-04-16 whitequarkMerge pull request #1947 from whitequark/cxxrtl-usability
2020-04-16 whitequarkMerge pull request #1896 from boqwxp/read_stdin_repl
2020-04-16 Claire WolfMerge pull request #1797 from epfl-vlsc/firrtl_backend_...
2020-04-16 whitequarkcxxrtl: make ROMs writable, document memory::operator[].
2020-04-16 whitequarkcxxrtl: fix misleading example, caution about race...
2020-04-16 whitequarkcxxrtl: remove inaccurate comment. NFC.
2020-04-16 Eddie HungMerge pull request #1927 from YosysHQ/eddie/design_remo...
2020-04-16 whitequarkMerge pull request #1915 from boqwxp/dict_move_semantics
2020-04-16 whitequarkMerge pull request #1900 from Xiretza/suppress-makefile...
2020-04-16 whitequarkMerge pull request #1937 from hzeller/consexpr-opportunity
2020-04-15 Miodrag MilanovićMerge pull request #1894 from YosysHQ/mingw_fix
2020-04-15 Eddie HungMerge pull request #1916 from YosysHQ/eddie/kernel_make...
2020-04-15 Eddie HungMerge pull request #1933 from YosysHQ/eddie/zinit_more
2020-04-15 N. EngelhardtMerge pull request #1830 from boqwxp/qbfsat
2020-04-15 David ShahMerge pull request #1897 from YosysHQ/dave/bram-rejecti...
2020-04-15 whitequarkMerge pull request #1918 from whitequark/simplify-impro...
2020-04-15 Claire WolfMerge pull request #1930 from YosysHQ/claire/fix1876
2020-04-15 whitequarkMerge pull request #1932 from YosysHQ/dave/cxxrtl-unclo...
2020-04-14 David Shahcxxrtl: Fix handling of unclocked memory read ports
2020-04-14 whitequarkMerge pull request #1922 from whitequark/write_cxxrtl...
2020-04-14 whitequarkMerge pull request #1921 from whitequark/write_cxxrtl...
next