projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Bump version
[yosys.git] / tests /
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
2021-08-13 Brett Witherspoonsv: improve support for wire and var with user-defined... tree | commitdiff
2021-08-11 Marcelina Kościelnickatest/arch/{ecp5,ice40}/memories.ys: Use read_verilog... tree | commitdiff
2021-08-11 Marcelina Kościelnickamemory_dff: Recognize read ports with reset / initial... tree | commitdiff
2021-08-11 Marcelina Kościelnickaproc_memwr: Use the v2 memwr cell. tree | commitdiff
2021-08-11 Marcelina KościelnickaAdd v2 memory cells. tree | commitdiff
2021-08-07 Marcelina Kościelnickaopt_merge: Use FfInitVals. tree | commitdiff
2021-07-30 Zachary Snowproc_rmdead: use explicit pattern set when there are... tree | commitdiff
2021-07-30 Zachary Snowgenrtlil: add width detection for AST_PREFIX nodes tree | commitdiff
2021-07-29 Marcelina Kościelnickaopt_lut: Allow more than one -dlogic per cell type. tree | commitdiff
2021-07-29 Zachary Snowverilog: save and restore overwritten macro arguments tree | commitdiff
2021-07-28 Marcelina Kościelnickaverilog: Emit $meminit_v2 cell. tree | commitdiff
2021-07-27 Marcelina Kościelnickaopt_expr: Propagate constants to port connections. tree | commitdiff
2021-07-17 whitequarkMerge pull request #2879 from whitequark/cxxrtl-fix... tree | commitdiff
2021-07-16 Rupert SwarbrickAdd support for parsing the SystemVerilog 'bind' construct tree | commitdiff
2021-07-16 whitequarkMerge pull request #2870 from whitequark/cxxrtl-fix... tree | commitdiff
2021-07-15 Zachary Snowsv: fix two struct access bugs tree | commitdiff
2021-07-15 Rupert SwarbrickAdd a test for interfaces on modules loaded on-demand tree | commitdiff
2021-07-05 Claire XenMerge pull request #2835 from YosysHQ/verific_command tree | commitdiff
2021-06-18 Miodrag MilanovićMerge pull request #2836 from YosysHQ/gatecat/pyosys... tree | commitdiff
2021-06-17 Zachary Snowsv: fix up end label checking tree | commitdiff
next