projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #2015 from boqwxp/qbfsat-bisection
[yosys.git] / tests /
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-22 whitequarkMerge pull request #2072 from whitequark/cxxrtl-dont... 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 Marcelina KościelnickaAdd force_downto and force_upto wire attributes. tree | commitdiff
2020-05-18 Eddie HungMerge pull request #1926 from YosysHQ/eddie/abc9_auto_dff tree | commitdiff
2020-05-14 Eddie Hungtests: attributes before task enable tree | commitdiff
2020-05-14 Eddie HungMerge pull request #2055 from YosysHQ/eddie/logger_multiple 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_ops: add -prep_bypass for auto bypass boxes; refactor tree | commitdiff
2020-05-14 Eddie Hungabc9: not enough to techmap_fail on (* init=1 *), hide... tree | commitdiff
2020-05-14 Eddie Hungabc9: test to use box file instead of auto tree | commitdiff
2020-05-14 Eddie Hungabc9: add flop boxes to basic $_DFF_P_ and $_DFF_N_ too tree | commitdiff
2020-05-14 Eddie Hungabc9: suppress warnings when no compatible + used flop... tree | commitdiff
2020-05-14 Eddie Hungxilinx: update abc9_dff tests tree | commitdiff
2020-05-14 Eddie Hungxilinx: remove no-longer-relevant test tree | commitdiff
2020-05-14 Eddie HungMerge pull request #2045 from YosysHQ/eddie/fix2042 tree | commitdiff
2020-05-14 Claire WolfMerge pull request #2052 from YosysHQ/claire/verific_memfix tree | commitdiff
2020-05-14 Claire WolfMerge pull request #2050 from YosysHQ/eddie/opt_clean_fixes tree | commitdiff
2020-05-14 Claire WolfMerge pull request #2027 from YosysHQ/eddie/verilog_neg... tree | commitdiff
2020-05-14 Eddie Hungtest: add another testcase as per @nakengelhardt tree | commitdiff
2020-05-14 Eddie Hungopt_clean: improve warning message tree | commitdiff
2020-05-14 Eddie Hungopt_clean: add init test tree | commitdiff
2020-05-13 Eddie Hungtests: update/extend task argument tests tree | commitdiff
2020-05-11 Eddie Hungtests: add #2042 testcase tree | commitdiff
2020-05-11 Eddie HungSetup tests/verilog properly tree | commitdiff
2020-05-08 Eddie Hungtest: update opt_expr_alu test tree | commitdiff
2020-05-08 Eddie Hungtests: opt_expr tests that depend on consumex tree | commitdiff
2020-05-08 Claire WolfMerge pull request #2038 from nakengelhardt/no-libdir... tree | commitdiff
2020-05-08 whitequarkMerge pull request #2022 from Xiretza/fallthroughs tree | commitdiff
2020-05-07 Dan Ravensloftintel_alm: direct LUTRAM cell instantiation 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 Hungtechlibs/common: more robustness when *_WIDTH = 0 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 Hungtest: add failing test 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-02 Eddie HungMerge pull request #2013 from YosysHQ/eddie/aiger_fixes tree | commitdiff
2020-05-02 Eddie Hungtests: aiger test for wire->start_offset != 0 tree | commitdiff
2020-05-02 Claire WolfBugfix in partsel.v signed indices test cases tree | commitdiff
2020-05-02 Claire WolfAdd tests based on the test case from #1990 tree | commitdiff
2020-05-02 Claire WolfMerge pull request #2010 from YosysHQ/claire/fixopt tree | commitdiff
2020-05-01 Eddie HungAdd testcase for #2010 tree | commitdiff
2020-05-01 Claire WolfMerge pull request #1981 from YosysHQ/claire/fix1837 tree | commitdiff
2020-04-24 whitequarkMerge pull request #1998 from whitequark/cxxrtl-fixes tree | commitdiff
2020-04-24 Eddie Hungtests: fsm to use a randomly-generated seed tree | commitdiff
2020-04-24 Eddie Hungopt_expr: const_xnor replacement to pad Y with 1'b1 tree | commitdiff
2020-04-24 Eddie Hungtests: opt_expr update xnor/xor tests tree | commitdiff
2020-04-24 Eddie Hungopt_expr: do not group by X, more fixes tree | commitdiff
2020-04-23 Eddie Hungtests: add opt_expr tests tree | commitdiff
2020-04-23 Eddie HungMerge pull request #1974 from YosysHQ/eddie/abc9_disabl... tree | commitdiff
2020-04-23 Claire WolfMerge pull request #1989 from boqwxp/qbfsat_anyconst_so... tree | commitdiff
2020-04-23 Claire WolfMerge pull request #1988 from boqwxp/qbfsat tree | commitdiff
2020-04-23 Claire WolfMerge pull request #1986 from YosysHQ/eddie/verific_enum tree | commitdiff
2020-04-23 Dan Ravensloftintel_alm: work around a Quartus ICE tree | commitdiff
2020-04-23 Eddie HungMerge pull request #1984 from YosysHQ/eddie/getParam_ex... tree | commitdiff
2020-04-23 Eddie Hungtests: read +/xilinx/cell_sim.v before xilinx_dsp test tree | commitdiff
2020-04-22 Eddie Hungtest: ice40_dsp test to read +/ice40/cells_sim.v for... tree | commitdiff
2020-04-22 Eddie Hungxilinx: xilinx_dffopt to read cells_sim.v; fix test 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 Hungtests: update select black/white-box tests 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
2020-04-21 David Shahsim: Fix handling of constant-connected cell inputs... tree | commitdiff
2020-04-21 whitequarkMerge pull request #1961 from whitequark/paramod-origin... tree | commitdiff
2020-04-20 Eddie Hungtests: remove write_ilang tree | commitdiff
2020-04-20 Eddie HungMerge pull request #1975 from dh73/claire/bitselwrite tree | commitdiff
2020-04-20 Eddie HungRemove '-ignore_unknown_cells' option from 'sat' tree | commitdiff
2020-04-20 Eddie HungSimplify test case script tree | commitdiff
2020-04-20 Eddie HungRemove ununsed files tree | commitdiff
2020-04-20 Eddie HungMerge pull request #1972 from YosysHQ/eddie/bug1970 tree | commitdiff
2020-04-20 diegoModifications of tests as per Eddie's request tree | commitdiff
2020-04-20 Eddie Hungabc9: add testcase reduced from #1970 tree | commitdiff
2020-04-17 diegoWrong fixed value tree | commitdiff
2020-04-17 whitequarkMerge pull request #1951 from whitequark/rtlil-string_a... tree | commitdiff
2020-04-17 whitequarkMerge pull request #1898 from boqwxp/locations tree | commitdiff
2020-04-17 whitequarkMerge pull request #1864 from boqwxp/cleanup_techmap_abc tree | commitdiff
next