projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
peepopt.muldiv: Add a signedness check.
[yosys.git] / passes /
2020-06-21 Alberto Gonzalezqbfsat: Simplify solution recovery parsing and tweak... tree | commitdiff
2020-06-21 Alberto Gonzalezqbfsat: Avoid instantiating `AttrObject`s directly. tree | commitdiff
2020-06-21 Alberto Gonzalezqbfsat: Simplify solution format and replace `SigBit... tree | commitdiff
2020-06-21 Alberto Gonzalezqbfsat: Fixes three bugs. tree | commitdiff
2020-06-21 Alberto Gonzalezqbfsat: Use bit precise mapping for hole value wires... tree | commitdiff
2020-06-19 whitequarkUse [[maybe_unused]] instead of YS_ATTRIBUTE(unused). tree | commitdiff
2020-06-19 whitequarkRemove YS_ATTRIBUTE(unused) where present just for... tree | commitdiff
2020-06-19 whitequarkMerge pull request #2173 from whitequark/use-cxx11... tree | commitdiff
2020-06-19 whitequarkMerge pull request #2174 from whitequark/fix-github... tree | commitdiff
2020-06-19 whitequarkMerge pull request #2171 from whitequark/cxxrtl-accessors tree | commitdiff
2020-06-19 whitequarkMerge pull request #2170 from boqwxp/cutpoint-efficiency tree | commitdiff
2020-06-18 whitequarkUse C++11 final/override keywords. tree | commitdiff
2020-06-18 Alberto Gonzalezcutpoint: Improve efficiency by iterating over module... tree | commitdiff
2020-06-18 N. EngelhardtMerge pull request #2153 from boqwxp/splitnets-cleanup tree | commitdiff
2020-06-18 whitequarkMerge pull request #2167 from whitequark/cxxrtl-fix... tree | commitdiff
2020-06-18 whitequarkMerge pull request #2142 from whitequark/splitnets... tree | commitdiff
2020-06-18 Miodrag MilanovićMerge pull request #2164 from madebr/msvc tree | commitdiff
2020-06-17 Anonymous Maartenmsvc does not support designated initializers in structs tree | commitdiff
2020-06-13 Alberto Gonzalezsplitnets: Clean up pseudo-private member usage tree | commitdiff
2020-06-13 Alberto Gonzalezsplitnets: Slightly improve efficiency by avoiding... tree | commitdiff
2020-06-10 whitequarksplitnets: propagate (*hdlname*) and disambiguate via... tree | commitdiff
2020-06-10 whitequarkMerge pull request #2134 from whitequark/cxxrtl-opt... tree | commitdiff
2020-06-10 clairexenMerge pull request #2131 from YosysHQ/claire/preserveffs tree | commitdiff
2020-06-09 Claire WolfDrive-by modernization in sat.cc tree | commitdiff
2020-06-09 clairexenMerge pull request #2112 from YosysHQ/claire/fix2040 tree | commitdiff
2020-06-09 Claire WolfDo not optimize away FFs in "prep" and Verific fron-end tree | commitdiff
2020-06-09 whitequarkMerge pull request #2128 from whitequark/flatten-processes tree | commitdiff
2020-06-09 whitequarkflatten: accept processes. tree | commitdiff
2020-06-09 whitequarkMerge pull request #2107 from whitequark/flatten-hdlname tree | commitdiff
2020-06-08 whitequarkflatten: preserve original object names via hdlname... tree | commitdiff
2020-06-08 whitequarkflatten: only prepend $flatten once per wire. tree | commitdiff
2020-06-08 whitequarkMerge pull request #2120 from whitequark/flatten-hygiene tree | commitdiff
2020-06-08 whitequarkflatten: make hygienic. tree | commitdiff
2020-06-08 whitequarkMerge pull request #2121 from whitequark/cxxrtl-debug... tree | commitdiff
2020-06-08 clairexenMerge pull request #2085 from rswarbrick/select tree | commitdiff
2020-06-08 clairexenMerge pull request #2089 from rswarbrick/modports tree | commitdiff
2020-06-08 clairexenMerge pull request #2105 from whitequark/split-flatten... tree | commitdiff
2020-06-08 clairexenMerge pull request #2117 from PeterCrozier/struct_array tree | commitdiff
2020-06-08 clairexenMerge pull request #2119 from YosysHQ/mwk/fix-fsm-idstring tree | commitdiff
2020-06-08 Marcelina Kościelnickafsm_extract: avoid calling log_signal to determine... tree | commitdiff
2020-06-05 whitequarkMerge pull request #2113 from whitequark/cxxrtl-fix... tree | commitdiff
2020-06-05 N. EngelhardtMerge pull request #2109 from nakengelhardt/btor_intern... tree | commitdiff
2020-06-04 clairexenMerge pull request #2041 from PeterCrozier/struct tree | commitdiff
2020-06-04 clairexenMerge pull request #2099 from Xiretza/manual-include... tree | commitdiff
2020-06-04 Eddie HungMerge pull request #2077 from YosysHQ/eddie/abc9_dff_im... tree | commitdiff
2020-06-04 whitequarkflatten: clean up log messages. tree | commitdiff
2020-06-04 whitequarkflatten: topologically sort modules. tree | commitdiff
2020-06-04 whitequarkMerge pull request #2006 from jersey99/signed-in-rtlil... tree | commitdiff
2020-06-04 N. EngelhardtMerge pull request #2070 from hackfin/master tree | commitdiff
2020-06-04 Eddie HungMerge pull request #2082 from YosysHQ/eddie/abc9_scc_fixes no_loop tree | commitdiff
2020-06-04 whitequarkflatten: simplify. tree | commitdiff
2020-06-04 whitequarkflatten: simplify. NFC. tree | commitdiff
2020-06-04 whitequarkflatten: simplify. tree | commitdiff
2020-06-04 whitequarkflatten: simplify. NFC. tree | commitdiff
2020-06-04 whitequarkflatten: simplify. NFC. tree | commitdiff
2020-06-04 whitequarkflatten: simplify. NFC. tree | commitdiff
2020-06-04 whitequarkflatten: simplify. NFC. tree | commitdiff
2020-06-04 whitequarkRTLIL: factor out RTLIL::Module::addMemory. NFC. tree | commitdiff
2020-06-04 whitequarkflatten: rename techmap-related stuff. NFC. tree | commitdiff
2020-06-04 whitequarktechmap, flatten: remove dead options. tree | commitdiff
2020-06-03 Peter CrozierMerge branch 'master' into struct tree | commitdiff
2020-06-03 Eddie HungMerge pull request #2080 from YosysHQ/eddie/fix_test_wa... tree | commitdiff
2020-06-03 whitequarkflatten: split from techmap. tree | commitdiff
2020-06-03 whitequarkMerge pull request #2104 from whitequark/simplify-techmap tree | commitdiff
2020-06-03 whitequarktechmap: remove dead variable. NFC. tree | commitdiff
2020-06-02 whitequarktechmap: use C++11 default member initializers. NFC. tree | commitdiff
2020-06-02 whitequarktechmap: simplify. tree | commitdiff
2020-06-02 whitequarktechmap: use +/techmap.v instead of an ad-hoc code... tree | commitdiff
2020-05-31 clairexenMerge pull request #1862 from boqwxp/cleanup_techmap tree | commitdiff
2020-05-30 Eddie Hungabc9_ops: fix comment tree | commitdiff
2020-05-30 Eddie HungMerge pull request #2081 from YosysHQ/eddie/blackbox_ast tree | commitdiff
2020-05-30 Eddie Hungabc9_ops: update messaging (credit to @Xiretza for... tree | commitdiff
2020-05-30 clairexenMerge pull request #2018 from boqwxp/qbfsat-timeout tree | commitdiff
2020-05-30 Eddie Hungabc9_ops: optimise to not derive unless attribute exists tree | commitdiff
2020-05-30 Eddie Hungabc9_ops: -reintegrate use SigMap to remove (* init... 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 #2095 from rswarbrick/hier-typo tree | commitdiff
2020-05-28 Rupert SwarbrickFix small typos in documentation for hierarchy command 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 Alberto Gonzalezprintattrs: Simplify `get_indent_str()`. tree | commitdiff
2020-05-27 Alberto Gonzalezprintattrs: Refactor indentation string building for... tree | commitdiff
2020-05-27 Rupert SwarbrickPass some more args by reference in select.cc tree | commitdiff
2020-05-27 Rupert SwarbrickMinor optimisations in select.cc's match_ids function tree | commitdiff
2020-05-27 Rupert SwarbrickSilence warning in select.cc tree | commitdiff
2020-05-27 Alberto Gonzalezprintattrs: Use `flags` to pretty-print the `RTLIL... tree | commitdiff
2020-05-27 Alberto Gonzalezmisc: Add `printattrs` command. tree | commitdiff
2020-05-26 Rupert SwarbrickSimplify a modport check in hierarchy.cc tree | commitdiff
2020-05-25 Eddie Hungabc9_ops: -prep_xaiger exclude (* 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: Add support for CVC4. tree | commitdiff
next