projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #3310 from robinsonb5-PRs/master
[yosys.git] / tests /
2022-05-17 Miodrag MilanovićMerge pull request #3310 from robinsonb5-PRs/master master tree | commitdiff
2022-05-16 Jannis HarderMerge pull request #3314 from jix/sva_value_change_logi... tree | commitdiff
2022-05-12 Marcelina KościelnickaAdd proc_rom pass. tree | commitdiff
2022-05-11 Jannis Harderverific: Use new value change logic also for $stable... tree | commitdiff
2022-05-09 Jannis HarderMerge pull request #3305 from jix/sva_value_change_logic tree | commitdiff
2022-05-09 Jannis HarderMerge pull request #3297 from jix/sva_nested_clk_else tree | commitdiff
2022-05-09 Jannis Harderverific: Improve logic generated for SVA value change... tree | commitdiff
2022-05-09 Miodrag MilanovićMerge pull request #3299 from YosysHQ/mmicko/sim_memory tree | commitdiff
2022-05-09 Miodrag MilanovicFix running sva tests tree | commitdiff
2022-05-07 Marcelina Kościelnickaopt_mem: Remove constant-value bit lanes. tree | commitdiff
2022-05-03 Jannis Harderverific: Fix conditions of SVAs with explicit clocks... tree | commitdiff
2022-04-07 CatherineMerge pull request #3269 from YosysHQ/micko/fix_autotop tree | commitdiff
2022-04-05 Zachary Snowsv: fix always_comb auto nosync for nested and function... tree | commitdiff
2022-04-02 Jannis HarderMerge pull request #3264 from jix/invalid_ff_dcinit_merge tree | commitdiff
2022-04-01 Jannis Harderopt_merge: Add `-keepdc` option required for formal... tree | commitdiff
2022-03-30 Miodrag MilanovićMerge pull request #3259 from YosysHQ/micko/verific_val... tree | commitdiff
2022-03-30 Miodrag MilanovicFix valgrind tests when using verific tree | commitdiff
2022-03-28 LoftyMerge pull request #3194 from Ravenslofty/abc9-flow3mfs tree | commitdiff
2022-03-14 Claire XenMerge pull request #3213 from antonblanchard/abc-typo tree | commitdiff
2022-03-14 Miodrag MilanovicProper example code tree | commitdiff
2022-03-11 Miodrag MilanovićMerge pull request #3228 from YosysHQ/micko/disable_tests tree | commitdiff
2022-03-11 Miodrag MilanovićMerge pull request #3226 from YosysHQ/micko/btor2witness tree | commitdiff
2022-03-09 Loftyintel_alm: M10K write-enable is negative-true tree | commitdiff
2022-03-07 Miodrag MilanovićMerge pull request #3210 from rqou/json-signed tree | commitdiff
2022-03-04 Miodrag MilanovićMerge pull request #3186 from nakengelhardt/smtbmc_sby_... tree | commitdiff
2022-03-04 Miodrag MilanovićMerge pull request #3206 from YosysHQ/micko/quote_remove tree | commitdiff
2022-03-04 Miodrag MilanovićMerge pull request #3207 from nakengelhardt/json_escape... tree | commitdiff
2022-02-22 Claire XenMerge pull request #3197 from YosysHQ/claire/smtbmcfix tree | commitdiff
2022-02-21 Miodrag MilanovićMerge pull request #3203 from YosysHQ/micko/sim_ff tree | commitdiff
2022-02-18 N. Engelhardtfix handling of escaped chars in json backend and frontend tree | commitdiff
2022-02-16 Miodrag Milanovictest dlatchsr and adlatch tree | commitdiff
2022-02-16 Miodrag MilanovicAdded test cases tree | commitdiff
2022-02-14 Zachary Snowverilog: support for time scale delay values tree | commitdiff
2022-02-14 Kamil RakoczyFix access to whole sub-structs (#3086) tree | commitdiff
2022-02-11 Zachary Snowverilog: fix dynamic dynamic range asgn elab tree | commitdiff
2022-02-11 Zachary Snowverilog: fix const func eval with upto variables tree | commitdiff
2022-02-11 Miodrag MilanovićMerge pull request #3164 from zachjs/fix-ast-warn tree | commitdiff
2022-02-11 Claire XenMerge branch 'master' into clk2ff-better-names tree | commitdiff
2022-02-11 Claire XenMerge pull request #2019 from boqwxp/glift tree | commitdiff
2022-02-09 Miodrag MilanovićMerge pull request #3193 from YosysHQ/micko/verific_f tree | commitdiff
2022-02-09 Marcelina Kościelnickagowin: Fix LUT RAM inference, add more models. tree | commitdiff
2022-02-07 Miodrag MilanovićMerge pull request #3185 from YosysHQ/micko/co_sim tree | commitdiff
2022-02-04 Miodrag Milanovicbug fix and cleanups tree | commitdiff
2022-02-02 Miodrag MilanovicAdd test cases for co-simulation tree | commitdiff
2022-01-30 Marcelina Kościelnickaopt_reduce: Add $bmux and $demux optimization patterns. tree | commitdiff
2022-01-19 Miodrag MilanovićMerge pull request #3120 from Icenowy/anlogic-bram tree | commitdiff
2022-01-17 N. EngelhardtMerge pull request #3145 from nakengelhardt/advertise_s... tree | commitdiff
2022-01-08 Zachary Snowsv: auto add nosync to certain always_comb local vars tree | commitdiff
2022-01-08 Zachary Snowsv: fix size cast internal expression extension tree | commitdiff
2022-01-04 Zachary Snowlogger: fix unmatched expected warnings and errors tree | commitdiff
2022-01-03 Zachary Snowfix iverilog compatibility for new case expr tests tree | commitdiff
2022-01-03 Zachary Snowfixup verilog doubleslash test tree | commitdiff
2022-01-03 Zachary Snowsv: fix size cast clipping expression width tree | commitdiff
2021-12-25 CatherineMerge pull request #3127 from whitequark/cxxrtl-no... tree | commitdiff
2021-12-20 Marcelina Kościelnickamemory_share: Fix SAT-based sharing for wide ports. tree | commitdiff
2021-12-18 Zachary Snowfix width detection of array querying function in case... tree | commitdiff
2021-12-17 Icenowy Zhenganlogic: support BRAM mapping tree | commitdiff
2021-12-16 CatherineMerge pull request #3115 from whitequark/issue-3112 tree | commitdiff
2021-12-16 CatherineMerge pull request #3114 from whitequark/issue-3113 tree | commitdiff
2021-12-16 Thomas Sailerpreprocessor: do not destroy double slash escaped ident... tree | commitdiff
2021-12-10 Miodrag MilanovićMerge pull request #3097 from YosysHQ/modport tree | commitdiff
2021-12-10 Claire XenMerge pull request #3099 from YosysHQ/claire/readargs tree | commitdiff
2021-12-09 Claire Xenia WolfFix the tests we just broke tree | commitdiff
2021-12-03 Miodrag MilanovicAdd gitignore for gatemate tree | commitdiff
2021-11-25 Loftysta: very crude static timing analysis pass tree | commitdiff
2021-11-16 Kamil RakoczySupport parameters using struct as a wiretype (#3050) tree | commitdiff
2021-11-13 Patrick Urbansynth_gatemate: Update pass tree | commitdiff
2021-11-13 Patrick Urbansynth_gatemate: Apply new test practice with assert-max tree | commitdiff
2021-11-13 Patrick Urbansynth_gatemate: Fix fsm test tree | commitdiff
2021-11-13 Patrick UrbanAllow initial blocks to be disabled during tests tree | commitdiff
2021-11-13 Patrick Urbansynth_gatemate: Initial implementation tree | commitdiff
2021-11-10 Claire XenMerge pull request #3077 from YosysHQ/claire/genlib tree | commitdiff
2021-11-09 Marcelina Kościelnickaiopadmap: Add native support for negative-polarity... tree | commitdiff
2021-10-27 Marcelina Kościelnickadfflegalize: Add tests for aldff lowering. tree | commitdiff
2021-10-27 Marcelina Kościelnickadfflegalize: Add tests targetting aldff. tree | commitdiff
2021-10-27 Marcelina Kościelnickadfflegalize: Refactor, add aldff support. tree | commitdiff
2021-10-26 Zachary Snowverilog: use derived module info to elaborate cell... tree | commitdiff
2021-10-21 Marcelina Kościelnickaextract_reduce: Refactor and fix input signal construction. tree | commitdiff
2021-10-19 Miodrag MilanovićMerge pull request #3045 from galibert/master tree | commitdiff
2021-10-19 Claire Xenia WolfFixes in vcdcd.pl for newer Perl versions tree | commitdiff
2021-10-11 Claire XenMerge pull request #3039 from YosysHQ/claire/verific_aldff tree | commitdiff
2021-10-08 Marcelina KościelnickaFix a regression from #3035. tree | commitdiff
2021-10-07 Marcelina KościelnickaFfData: some refactoring. tree | commitdiff
2021-09-24 Claire XenMerge pull request #3014 from YosysHQ/claire/fix-vgtest tree | commitdiff
2021-09-23 Claire Xenia WolfFix "make vgtest" so it runs to the end (but now it... tree | commitdiff
2021-09-21 Zachary Snowsv: support wand and wor of data types tree | commitdiff
2021-09-21 Zachary Snowverilog: fix multiple AST_PREFIX scope resolution issues tree | commitdiff
2021-09-09 Eddie Hungabc9: make re-entrant (#2993) tree | commitdiff
2021-09-09 Eddie Hungabc9: holes module to instantiate cells with NEW_ID... tree | commitdiff
2021-09-09 Eddie Hungabc9: replace cell type/parameters if derived type... tree | commitdiff
2021-08-31 Zachary Snowsv: support declaration in generate for initialization tree | commitdiff
2021-08-30 Zachary Snowsv: support declaration in procedural for initialization tree | commitdiff
2021-08-22 Marcelina Kościelnickaopt_clean: Make the init attribute follow the FF's Q. tree | commitdiff
2021-08-20 Pepijn de VosGowin: deal with active-low tristate (#2971) tree | commitdiff
2021-08-14 Marcelina Kościelnickaproc_prune: Make assign removal and promotion per-bit... tree | commitdiff
2021-08-13 Marcelina KościelnickaAdd opt_mem_widen pass. tree | commitdiff
2021-08-13 Marcelina Kościelnickamemory_share: Add -nosat and -nowiden options. tree | commitdiff
2021-08-13 Marcelina Kościelnickamemory_dff: Recognize soft transparency logic. tree | commitdiff
2021-08-13 Marcelina KościelnickaAdd new opt_mem_priority pass. tree | commitdiff
2021-08-13 Miodrag MilanovićMerge pull request #2932 from YosysHQ/mwk/logger-check... tree | commitdiff
next