projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2020-06-04 Eddie HungMerge pull request #2077 from YosysHQ/eddie/abc9_dff_im... 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 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-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 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 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
2020-05-29 whitequarkilang_lexer: fix check for out of range literal. commit | commitdiff | tree
2020-05-29 whitequarkMerge pull request #2033 from boqwxp/cleanup-verilog... commit | commitdiff | tree
2020-05-29 whitequarkRestrict RTLIL::IdString to not contain whitespace... commit | commitdiff | tree
2020-05-28 XiretzaDocument division and modulo cells commit | commitdiff | tree
2020-05-28 XiretzaUpdate CHANGELOG commit | commitdiff | tree
2020-05-28 XiretzaAdd comments for mod/div semantics to rtlil.h commit | commitdiff | tree
2020-05-28 XiretzaExpand tests/simple/constmuldivmod.v commit | commitdiff | tree
2020-05-28 XiretzaAdd flooring division operator commit | commitdiff | tree
2020-05-28 XiretzaAdd flooring modulo operator commit | commitdiff | tree
2020-05-28 whitequarkMerge pull request #2095 from rswarbrick/hier-typo commit | commitdiff | tree
2020-05-28 Rupert SwarbrickFix small typos in documentation for hierarchy command commit | commitdiff | tree
2020-05-28 whitequarkMerge pull request #2091 from boqwxp/printattrs commit | commitdiff | tree
2020-05-28 whitequarkMerge pull request #2051 from Xiretza/makefile-cd-warning commit | commitdiff | tree
2020-05-28 whitequarkMerge pull request #2031 from epfl-vlsc/master commit | commitdiff | tree
2020-05-28 whitequarkMerge pull request #2063 from boqwxp/techmapped-firrtl commit | commitdiff | tree
2020-05-28 whitequarkMerge pull request #2088 from rswarbrick/count-at commit | commitdiff | tree
2020-05-28 whitequarkMerge pull request #2087 from rswarbrick/lex-warn commit | commitdiff | tree
2020-05-28 whitequarkMerge pull request #2086 from rswarbrick/sigbit commit | commitdiff | tree
2020-05-28 whitequarkMerge pull request #2084 from rswarbrick/c_str commit | commitdiff | tree
2020-05-28 Alberto Gonzalezprintattrs: Simplify `get_indent_str()`. commit | commitdiff | tree
2020-05-27 Alberto Gonzalezprintattrs: Refactor indentation string building for... commit | commitdiff | tree
2020-05-27 Alberto Gonzalezprintattrs: Add test. commit | commitdiff | tree
2020-05-27 Alberto Gonzalezprintattrs: Use `flags` to pretty-print the `RTLIL... commit | commitdiff | tree
2020-05-27 Alberto Gonzalezmisc: Add `printattrs` command. commit | commitdiff | tree
2020-05-26 whitequarkMerge pull request #2090 from whitequark/cxxrtl-fixes commit | commitdiff | tree
2020-05-26 whitequarkcxxrtl: make logging a little bit nicer. commit | commitdiff | tree
2020-05-26 whitequarkcxxrtl: add missing parts of commit 281c9685. commit | commitdiff | tree
2020-05-26 Rupert SwarbrickSilence spurious warning in Verilog lexer when compilin... commit | commitdiff | tree
2020-05-26 Rupert SwarbrickMinor optimisation in Module::wire() and Module::cell() commit | commitdiff | tree
2020-05-26 Rupert SwarbrickUse default copy constructor for RTLIL::SigBit commit | commitdiff | tree
2020-05-26 Rupert SwarbrickUse c_str(), not str() for IdString/std::string ==... commit | commitdiff | tree
2020-05-25 Eddie Hungabc9_ops: -prep_xaiger exclude (* abc9_keep *) wires... commit | commitdiff | tree
2020-05-25 Eddie Hungxaiger: promote abc9_keep wires commit | commitdiff | tree
2020-05-25 Eddie Hungtests: add ecp5 latch testcase with -abc9 commit | commitdiff | tree
2020-05-25 Eddie HungMerge pull request #2078 from YosysHQ/eddie/xilinx_sim_tidy commit | commitdiff | tree
2020-05-25 Alberto Gonzalezsmtbmc and qbfsat: Add timeout option to set solver... commit | commitdiff | tree
2020-05-25 Alberto Gonzalezqbfsat: Add support for CVC4. commit | commitdiff | tree
2020-05-25 Alberto Gonzalezqbfsat: Move SMT2 info statements back to the top of... commit | commitdiff | tree
2020-05-25 Alberto Gonzalezqbfsat: Add `-solver` option and allow choice of Z3... commit | commitdiff | tree
2020-05-25 Eddie Hungblackbox: re-use existing Module::makeblackbox() method commit | commitdiff | tree
2020-05-25 Eddie Hungtests: xilinx macc test to have initval, shorten BMC... commit | commitdiff | tree
2020-05-25 Eddie Hungtests: fix some test warnings commit | commitdiff | tree
2020-05-25 Eddie Hungxilinx: tidy up cells_sim.v a little commit | commitdiff | tree
2020-05-25 Eddie HungMerge pull request #2044 from YosysHQ/eddie/fix2037 commit | commitdiff | tree
2020-05-25 Eddie Hungtests: add test for abc9 -dff removing a redundant... commit | commitdiff | tree
2020-05-25 Eddie Hungabc9_ops: -reintegrate to preserve flop names commit | commitdiff | tree
2020-05-25 Eddie Hungtests: add testcase for abc9 -dff preserving flop names commit | commitdiff | tree
2020-05-25 Eddie Hungaiger: cleanup commit | commitdiff | tree
2020-05-25 Eddie Hungxaiger: cleanup commit | commitdiff | tree
2020-05-25 Eddie Hungverilog: move attr from simple_behav_stmt to its childr... commit | commitdiff | tree
2020-05-25 Eddie Hungtest: add attribute-before-stmt test from @nakengelhardt commit | commitdiff | tree
2020-05-25 Eddie Hungverilog: do not warn for attributes on null statements commit | commitdiff | tree
2020-05-25 Eddie Hungtests: add an generate-else test too commit | commitdiff | tree
2020-05-25 Eddie Hungverilog: handle empty generate statement by removing... commit | commitdiff | tree
2020-05-25 Eddie Hungverilog: fix #2037 by permitting (and freeing) attribut... commit | commitdiff | tree
2020-05-25 Eddie Hungtests: add #2037 testcase commit | commitdiff | tree
2020-05-25 clairexenMerge pull request #2015 from boqwxp/qbfsat-bisection commit | commitdiff | tree
2020-05-24 Eddie HungMerge pull request #2075 from YosysHQ/eddie/xaiger_cleanup commit | commitdiff | tree
2020-05-24 Eddie Hungxaiger: add testcase commit | commitdiff | tree
2020-05-24 Eddie Hungxaiger: do not derive cells commit | commitdiff | tree
2020-05-23 Eddie HungMerge pull request #2074 from YosysHQ/eddie/ecp5_cleanup commit | commitdiff | tree
2020-05-23 Eddie Hungecp5: cleanup unused +/ecp5/abc9_model.v commit | commitdiff | tree
2020-05-23 Alberto Gonzalezqbfsat: Remove cruft inadvertently left untouched in... commit | commitdiff | tree
2020-05-23 Alberto Gonzalezqbfsat: Add bisection mode and make it the default. commit | commitdiff | tree
2020-05-22 whitequarkMerge pull request #2072 from whitequark/cxxrtl-dont... commit | commitdiff | tree
2020-05-22 whitequarkcxxrtl: get rid of -O5 aka `opt_clean -purge` optimizat... commit | commitdiff | tree
2020-05-22 Eddie Hungabc9_ops: update comment commit | commitdiff | tree
2020-05-21 Eddie HungMerge pull request #2057 from YosysHQ/eddie/fix_task_attr commit | commitdiff | tree
next