projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2020-06-09 Claire WolfFix tests/opt/opt_rmdff commit | commitdiff | tree
2020-06-09 Claire WolfDrive-by modernization in sat.cc commit | commitdiff | tree
2020-06-09 Claire WolfDo not optimize away FFs in "prep" and Verific fron-end commit | commitdiff | tree
2020-06-09 whitequarkMerge pull request #2128 from whitequark/flatten-processes commit | commitdiff | tree
2020-06-09 whitequarkMerge pull request #2130 from whitequark/cxxrtl-fix... commit | commitdiff | tree
2020-06-09 whitequarkcxxrtl: fix two buggy split_by functions. commit | commitdiff | tree
2020-06-09 whitequarkflatten: accept processes. commit | commitdiff | tree
2020-06-09 whitequarkRTLIL: add Module::addProcess, use it in Module::cloneI... commit | commitdiff | tree
2020-06-09 whitequarkMerge pull request #2126 from whitequark/cxxrtl-non... commit | commitdiff | tree
2020-06-09 whitequarkMerge pull request #2125 from whitequark/cxxrtl-fix... commit | commitdiff | tree
2020-06-09 whitequarkcxxrtl: ignore cell input signedness when it is irrelevant. commit | commitdiff | tree
2020-06-09 whitequarkcxxrtl: add missing namespace. commit | commitdiff | tree
2020-06-09 whitequarkMerge pull request #2107 from whitequark/flatten-hdlname commit | commitdiff | tree
2020-06-08 whitequarkcxxrtl: fix format of hdlnames. commit | commitdiff | tree
2020-06-08 whitequarkflatten: preserve original object names via hdlname... commit | commitdiff | tree
2020-06-08 whitequarkflatten: only prepend $flatten once per wire. commit | commitdiff | tree
2020-06-08 whitequarkRTLIL: use {get,set}_string_attribute in {get,set}_strp... commit | commitdiff | tree
2020-06-08 whitequarkMerge pull request #2120 from whitequark/flatten-hygiene commit | commitdiff | tree
2020-06-08 whitequarkflatten: make hygienic. commit | commitdiff | tree
2020-06-08 whitequarkMerge pull request #2121 from whitequark/cxxrtl-debug... commit | commitdiff | tree
2020-06-08 whitequarkcxxrtl: don't check immutable values for changes in... commit | commitdiff | tree
2020-06-08 whitequarkcxxrtl: emit debug information for constant wires. commit | commitdiff | tree
2020-06-08 whitequarkcxxrtl: track aliases in VCD writer. commit | commitdiff | tree
2020-06-08 whitequarkcxxrtl: emit debug information for alias wires. commit | commitdiff | tree
2020-06-08 clairexenMerge pull request #2085 from rswarbrick/select commit | commitdiff | tree
2020-06-08 clairexenMerge pull request #2089 from rswarbrick/modports commit | commitdiff | tree
2020-06-08 clairexenMerge pull request #2105 from whitequark/split-flatten... commit | commitdiff | tree
2020-06-08 clairexenMerge pull request #2117 from PeterCrozier/struct_array commit | commitdiff | tree
2020-06-08 clairexenMerge pull request #2119 from YosysHQ/mwk/fix-fsm-idstring commit | commitdiff | tree
2020-06-08 whitequarkcxxrtl: add missing installs of include files. commit | commitdiff | tree
2020-06-08 whitequarkcxxrtl: fix typo in comment. NFC. commit | commitdiff | tree
2020-06-08 whitequarkcxxrtl: minor debug-related improvements. commit | commitdiff | tree
2020-06-08 Marcelina Kościelnickafsm_extract: avoid calling log_signal to determine... commit | commitdiff | tree
2020-06-07 whitequarkMerge pull request #2116 from whitequark/cxxrtl-vcd commit | commitdiff | tree
2020-06-07 Peter CrozierSupport packed arrays in struct/union. commit | commitdiff | tree
2020-06-07 whitequarkcxxrtl: rename cxxrtl.cc→cxxrtl_backend.cc. commit | commitdiff | tree
2020-06-07 whitequarkcxxrtl: add a C API for writing VCD dumps. commit | commitdiff | tree
2020-06-07 whitequarkcxxrtl: only write VCD values that were actually updated. commit | commitdiff | tree
2020-06-07 whitequarkcxxrtl: add a VCD writer using debug information. commit | commitdiff | tree
2020-06-06 whitequarkMerge pull request #2115 from whitequark/cxxrtl-introsp... commit | commitdiff | tree
2020-06-06 whitequarkcxxrtl: add a C API for driving and introspecting designs. commit | commitdiff | tree
2020-06-06 whitequarkcxxrtl: generate debug information for non-localized... commit | commitdiff | tree
2020-06-06 whitequarkMerge pull request #2110 from BracketMaster/master commit | commitdiff | tree
2020-06-05 whitequarkMerge pull request #2113 from whitequark/cxxrtl-fix... commit | commitdiff | tree
2020-06-05 N. EngelhardtMerge pull request #2109 from nakengelhardt/btor_intern... commit | commitdiff | tree
2020-06-05 whitequarkcxxrtl: fix implementation of $sshr cell. commit | commitdiff | tree
2020-06-04 Yehowshua Immanuelmore reasonable numbers for memory commit | commitdiff | tree
2020-06-04 Claire WolfAdd missing .gitignore file commit | commitdiff | tree
2020-06-04 Yehowshua ImmanuelMacOS has even stricter stack limits in catalina. commit | commitdiff | tree
2020-06-04 clairexenMerge pull request #2041 from PeterCrozier/struct commit | commitdiff | tree
2020-06-04 clairexenMerge pull request #2099 from Xiretza/manual-include... commit | commitdiff | tree
2020-06-04 N. EngelhardtAdd codeowners file (#2098) commit | commitdiff | tree
2020-06-04 Eddie HungMerge pull request #2077 from YosysHQ/eddie/abc9_dff_im... commit | commitdiff | tree
2020-06-04 N. Engelhardtbtor backend: make not printing internal names default commit | commitdiff | tree
2020-06-04 Claire WolfAdd printf format attributes to btorf/infof helper... commit | commitdiff | tree
2020-06-04 clairexenMerge pull request #2108 from nakengelhardt/btor_intern... commit | commitdiff | tree
2020-06-04 whitequarkflatten: clean up log messages. commit | commitdiff | tree
2020-06-04 whitequarkflatten: topologically sort modules. commit | commitdiff | tree
2020-06-04 N. Engelhardtbtor backend: add option to not include internal names commit | commitdiff | tree
2020-06-04 whitequarkMerge pull request #2006 from jersey99/signed-in-rtlil... commit | commitdiff | tree
2020-06-04 N. EngelhardtMerge pull request #2070 from hackfin/master commit | commitdiff | tree
2020-06-04 Eddie HungMerge pull request #2082 from YosysHQ/eddie/abc9_scc_fixes no_loop commit | commitdiff | tree
2020-06-04 whitequarkflatten: simplify. commit | commitdiff | tree
2020-06-04 whitequarkflatten: simplify. NFC. commit | commitdiff | tree
2020-06-04 whitequarkflatten: simplify. commit | commitdiff | tree
2020-06-04 whitequarkflatten: simplify. NFC. commit | commitdiff | tree
2020-06-04 whitequarkflatten: simplify. NFC. commit | commitdiff | tree
2020-06-04 whitequarkflatten: simplify. NFC. commit | commitdiff | tree
2020-06-04 whitequarkflatten: simplify. NFC. commit | commitdiff | tree
2020-06-04 whitequarkRTLIL: factor out RTLIL::Module::addMemory. NFC. commit | commitdiff | tree
2020-06-04 whitequarkflatten: rename techmap-related stuff. NFC. commit | commitdiff | tree
2020-06-04 whitequarktechmap, flatten: remove dead options. commit | commitdiff | tree
2020-06-03 Peter CrozierMerge branch 'master' into struct commit | commitdiff | tree
2020-06-03 Eddie Hungtests: tidy up testcase commit | commitdiff | tree
2020-06-03 Eddie HungMerge pull request #2080 from YosysHQ/eddie/fix_test_wa... commit | commitdiff | tree
2020-06-03 whitequarkflatten: split from techmap. commit | commitdiff | tree
2020-06-03 whitequarkMerge pull request #2104 from whitequark/simplify-techmap commit | commitdiff | tree
2020-06-03 whitequarktechmap: remove dead variable. NFC. commit | commitdiff | tree
2020-06-02 whitequarktechmap: use C++11 default member initializers. NFC. commit | commitdiff | tree
2020-06-02 whitequarktechmap: simplify. commit | commitdiff | tree
2020-06-02 whitequarktechmap: use +/techmap.v instead of an ad-hoc code... commit | commitdiff | tree
2020-06-02 clairexenMerge pull request #2102 from YosysHQ/tests_fix commit | commitdiff | tree
2020-06-02 clairexenMerge pull request #2101 from YosysHQ/mmicko/verific_as... commit | commitdiff | tree
2020-06-01 Miodrag Milanovicallow range for mux test commit | commitdiff | tree
2020-06-01 Miodrag MilanovicSupport asymmetric memories for verific frontend commit | commitdiff | tree
2020-05-31 clairexenMerge pull request #1862 from boqwxp/cleanup_techmap commit | commitdiff | tree
2020-05-30 Eddie Hungabc9_ops: fix comment commit | commitdiff | tree
2020-05-30 Eddie HungMerge pull request #2081 from YosysHQ/eddie/blackbox_ast commit | commitdiff | tree
2020-05-30 Eddie Hungabc9_ops: update messaging (credit to @Xiretza for... commit | commitdiff | tree
2020-05-30 clairexenMerge pull request #2018 from boqwxp/qbfsat-timeout commit | commitdiff | tree
2020-05-30 XiretzaUse in-tree include directory in manual build commit | commitdiff | tree
2020-05-30 Eddie Hungabc9_ops: optimise to not derive unless attribute exists commit | commitdiff | tree
2020-05-30 Eddie Hungabc9_ops: -reintegrate use SigMap to remove (* init... commit | commitdiff | tree
2020-05-29 Alberto Gonzalezsmtbmc: Remove superfluous `yosys-smt2-timeout` file... commit | commitdiff | tree
2020-05-29 clairexenMerge pull request #2029 from whitequark/fix-simplify... commit | commitdiff | tree
2020-05-29 clairexenMerge pull request #1885 from Xiretza/mod-rem-cells commit | commitdiff | tree
2020-05-29 clairexenMerge pull request #2092 from whitequark/rtlil-no-space... commit | commitdiff | tree
2020-05-29 clairexenMerge pull request #2017 from boqwxp/qbfsat-cvc4 commit | commitdiff | tree
2020-05-29 clairexenMerge pull request #2016 from boqwxp/qbfsat-yices commit | commitdiff | tree
2020-05-29 whitequarkMerge pull request #2097 from whitequark/ilang_lexer... commit | commitdiff | tree
next