projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Propagate const_fold through generate blocks and branches
[yosys.git] / tests / various /
2020-07-28 clairexenMerge pull request #2301 from zachjs/for-loop-errors tree | commitdiff
2020-07-28 clairexenMerge pull request #2306 from YosysHQ/mwk/equiv_induct... tree | commitdiff
2020-07-27 Marcelina Kościelnickaequiv_induct: Fix up assumption for $equiv cells in... tree | commitdiff
2020-07-26 clairexenMerge pull request #2299 from zachjs/arg-loop tree | commitdiff
2020-07-25 Zachary SnowAvoid generating wires for function args which are... tree | commitdiff
2020-07-16 clairexenMerge pull request #2229 from Ravenslofty/sf2_remove_sf... tree | commitdiff
2020-07-16 clairexenMerge pull request #2273 from whitequark/write-verilog... tree | commitdiff
2020-07-16 clairexenMerge pull request #2272 from whitequark/write-verilog-sv tree | commitdiff
2020-07-16 Miodrag MilanovićMerge pull request #2238 from YosysHQ/mwk/dfflegalize... tree | commitdiff
2020-07-16 Miodrag MilanovićMerge pull request #2226 from YosysHQ/mwk/nuke-efinix... tree | commitdiff
2020-07-16 whitequarkMerge pull request #2270 from whitequark/cxxrtl-fix... tree | commitdiff
2020-07-15 clairexenMerge pull request #2257 from antmicro/fix-conflicts tree | commitdiff
2020-07-10 Kamil RakoczyRevert "Revert PRs #2203 and #2244." tree | commitdiff
2020-07-09 whitequarkMerge pull request #2255 from whitequark/bison-Werror... tree | commitdiff
2020-07-09 whitequarkRevert PRs #2203 and #2244. tree | commitdiff
2020-07-09 clairexenMerge pull request #2244 from antmicro/logic tree | commitdiff
2020-07-06 Kamil RakoczyAdd logic param and integer bad syntax tests tree | commitdiff
2020-07-02 clairexenMerge pull request #2132 from YosysHQ/eddie/verific_initial tree | commitdiff
2020-07-02 clairexenMerge pull request #2186 from YosysHQ/mwk/dfflegalize tree | commitdiff
2020-07-02 clairexenMerge pull request #2211 from YosysHQ/mwk/fix-fmcombine-ff tree | commitdiff
2020-07-02 clairexenMerge pull request #2210 from YosysHQ/mwk/fix-opt_merge tree | commitdiff
2020-07-02 clairexenMerge pull request #2195 from YosysHQ/mwk/manual-gates tree | commitdiff
2020-07-01 clairexenMerge pull request #2203 from antmicro/fix-grammar tree | commitdiff
2020-07-01 clairexenMerge pull request #2179 from splhack/static-cast tree | commitdiff
2020-07-01 clairexenMerge pull request #2138 from boqwxp/qbfsat-oflag tree | commitdiff
2020-07-01 clairexenMerge pull request #2206 from boqwxp/qbfsat-fix-name... tree | commitdiff
2020-06-30 clairexenMerge pull request #2136 from zachjs/master tree | commitdiff
2020-06-29 Zachary SnowAllow constant function calls in for loops and generate... tree | commitdiff
2020-06-26 Kamil RakoczyAdd signed/unsigned tests tree | commitdiff
2020-06-19 whitequarkMerge pull request #2173 from whitequark/use-cxx11... tree | commitdiff
2020-06-18 whitequarkUse C++11 final/override keywords. 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-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 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-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-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-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 #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 whitequarkMerge pull request #2095 from rswarbrick/hier-typo 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-27 Alberto Gonzalezprintattrs: Add test. tree | commitdiff
2020-05-25 Eddie Hungtests: fix some test warnings 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: add testcase 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-18 Eddie HungMerge pull request #1926 from YosysHQ/eddie/abc9_auto_dff tree | commitdiff
2020-05-14 Eddie HungMerge pull request #1994 from YosysHQ/eddie/fix_bug1758 tree | commitdiff
2020-05-14 Eddie Hungabc9: preserve $_DFF_?_.Q's (* init *); rely on clean... tree | commitdiff
2020-05-14 Eddie Hungabc9: not enough to techmap_fail on (* init=1 *), hide... tree | commitdiff
2020-05-14 Eddie Hungabc9: add flop boxes to basic $_DFF_P_ and $_DFF_N_ too tree | commitdiff
2020-05-14 Claire WolfMerge pull request #2027 from YosysHQ/eddie/verilog_neg... tree | commitdiff
2020-05-07 Claire WolfMerge pull request #2005 from YosysHQ/claire/fix1990 tree | commitdiff
2020-05-07 Eddie HungMerge pull request #2034 from YosysHQ/eddie/abc_remote tree | commitdiff
2020-05-06 Eddie HungMerge pull request #2028 from zachjs/master tree | commitdiff
2020-05-06 Zachary Snowverilog: allow null gen-if then block tree | commitdiff
2020-05-05 Eddie HungMerge pull request #2025 from YosysHQ/eddie/frontend_cl... tree | commitdiff
2020-05-05 whitequarkMerge pull request #2012 from whitequark/fix-wasi-abc... tree | commitdiff
2020-05-05 Eddie HungMerge pull request #2026 from YosysHQ/eddie/scratchpad_... tree | commitdiff
2020-05-05 Eddie HungMerge pull request #2024 from YosysHQ/eddie/primitive_src tree | commitdiff
2020-05-05 Eddie HungMerge pull request #2023 from YosysHQ/eddie/specify_src tree | commitdiff
2020-05-04 Eddie Hungverilog: fix specify src attribute tree | commitdiff
2020-05-04 Eddie Hungtests: add tests for primitives' src 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 Hungtest: add test for #2014 tree | commitdiff
2020-05-01 Claire WolfMerge pull request #1981 from YosysHQ/claire/fix1837 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 #1969 from boqwxp/pool_emplace 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 Eddie Hungtests: use `yosys-config --datdir` instead of hard... 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-21 Marcelina Kościelnickahierarchy: Convert positional parameters to named. tree | commitdiff
2020-04-21 Claire WolfMerge pull request #1971 from YosysHQ/claire/edifkeep tree | commitdiff
2020-04-21 Claire WolfMerge pull request #1851 from YosysHQ/claire/bitselwrite tree | commitdiff
next