projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #3310 from robinsonb5-PRs/master
[yosys.git] / frontends /
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-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-03 Jannis Harderverific: Fix conditions of SVAs with explicit clocks... tree | commitdiff
2022-04-29 Miodrag MilanovićMerge pull request #3294 from YosysHQ/micko/verific_mer... tree | commitdiff
2022-04-29 Miodrag MilanovicIgnore merging past ffs that we are not properly merging tree | commitdiff
2022-04-25 Jannis HarderMerge pull request #3257 from jix/tribuf-formal tree | commitdiff
2022-04-18 Miodrag MilanovićMerge pull request #3280 from YosysHQ/micko/fix_readaiw tree | commitdiff
2022-04-18 Miodrag Milanovicverific: allow memories to be inferred in loops (vhdl) tree | commitdiff
2022-04-18 Miodrag MilanovićMerge pull request #3282 from nakengelhardt/verific_loo... tree | commitdiff
2022-04-15 N. Engelhardtverific: allow memories to be inferred in loops 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-01 Miodrag MilanovićMerge pull request #3262 from YosysHQ/micko/verific_hiernet tree | commitdiff
2022-04-01 Miodrag MilanovicPreserve internal wires for external nets 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-30 Miodrag MilanovićMerge pull request #3250 from YosysHQ/micko/verific_con... tree | commitdiff
2022-03-28 LoftyMerge pull request #3194 from Ravenslofty/abc9-flow3mfs tree | commitdiff
2022-03-26 Miodrag MilanovicProperly mark modules imported tree | commitdiff
2022-03-25 Miodrag MilanovicImport verific netlist in consistent order tree | commitdiff
2022-03-14 Claire XenMerge pull request #3213 from antonblanchard/abc-typo 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-18 N. Engelhardtfix handling of escaped chars in json backend and frontend tree | commitdiff
2022-02-16 Miodrag MilanovicRemove quotes if any from attribute 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 Claire XenMerge pull request #2376 from nmoroze/clk2ff-better... 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 Miodrag MilanovicAdd ability to override verilog mode for verific -f... tree | commitdiff
2022-02-07 Miodrag MilanovićMerge pull request #3185 from YosysHQ/micko/co_sim tree | commitdiff
2022-02-02 Miodrag MilanovićMerge pull request #3183 from YosysHQ/micko/nto1mux tree | commitdiff
2022-02-02 Miodrag MilanovicUse bmux for NTO1MUX tree | commitdiff
2022-01-19 Miodrag MilanovićMerge pull request #3120 from Icenowy/anlogic-bram tree | commitdiff
2022-01-18 Zachary Snowfix dumpAst() compilation warning 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-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-18 Zachary Snowfix width detection of array querying function in case... 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-13 Claire XenMerge pull request #3108 from YosysHQ/claire/verificdefs tree | commitdiff
2021-12-13 Claire Xenia WolfAdd YOSYS to the implicitly defined verilog macros... tree | commitdiff
2021-12-10 Miodrag MilanovićMerge pull request #3102 from YosysHQ/claire/enumxz tree | commitdiff
2021-12-10 Claire Xenia WolfFix verific import of enum values with x and/or z tree | commitdiff
2021-12-10 Miodrag MilanovićMerge pull request #3097 from YosysHQ/modport tree | commitdiff
2021-12-10 Claire XenUpdate verific.cc tree | commitdiff
2021-12-08 Miodrag MilanovicIf direction NONE use that from first bit tree | commitdiff
2021-12-03 Miodrag MilanovicMake sure cell names are unique for wide operators tree | commitdiff
2021-11-16 Kamil RakoczySupport parameters using struct as a wiretype (#3050) tree | commitdiff
2021-11-10 Claire XenMerge pull request #3075 from YosysHQ/micko/verific_mem... tree | commitdiff
2021-11-10 Claire XenMerge pull request #3077 from YosysHQ/claire/genlib tree | commitdiff
2021-11-10 Miodrag MilanovicNo need to alocate more memory than used tree | commitdiff
2021-11-10 Kamil Rakoczygenrtlil: Fix displaying debug info in packages tree | commitdiff
2021-11-05 Miodrag MilanovićMerge pull request #3067 from YosysHQ/aki/ci_update tree | commitdiff
2021-11-01 Claire XenMerge pull request #3068 from YosysHQ/claire/verific_cfg tree | commitdiff
2021-11-01 Claire Xenia WolfAdd "verific -cfg" command tree | commitdiff
2021-10-31 Claire XenMerge pull request #3066 from YosysHQ/claire/verific_gclk tree | commitdiff
2021-10-31 Claire Xenia WolfFix verific gclk handling for async-load FFs tree | commitdiff
2021-10-27 Miodrag MilanovićMerge pull request #3063 from YosysHQ/micko/verific_aldff tree | commitdiff
2021-10-27 Miodrag MilanovicEnable async load dff emit by default in Verific tree | commitdiff
2021-10-27 Miodrag MilanovicRevert "Compile option for enabling async load verific... tree | commitdiff
2021-10-26 Zachary Snowverilog: use derived module info to elaborate cell... tree | commitdiff
2021-10-26 Rupert SwarbrickSplit out logic for reprocessing an AstModule tree | commitdiff
2021-10-25 Miodrag MilanovicCompile option for enabling async load verific support tree | commitdiff
2021-10-21 Claire XenMerge pull request #3057 from YosysHQ/claire/verific_la... tree | commitdiff
2021-10-21 Claire Xenia WolfFix verific.cc PRIM_DLATCH handling tree | commitdiff
2021-10-21 Claire Xenia WolfInitial Verific impoter support for {PRIM,WIDE_OPER... tree | commitdiff
2021-10-20 Miodrag MilanovicOption to disable verific VHDL support tree | commitdiff
2021-10-15 Claire XenMerge pull request #3044 from YosysHQ/micko/verific_bufif1 tree | commitdiff
2021-10-14 Miodrag MilanovicSupport PRIM_BUFIF1 primitive tree | commitdiff
2021-10-11 Claire XenMerge pull request #3039 from YosysHQ/claire/verific_aldff tree | commitdiff
2021-10-11 Claire Xenia WolfAdd Verific adffe/dffsre/aldffe FIXMEs tree | commitdiff
2021-10-11 Claire XenMerge pull request #3040 from YosysHQ/micko/split_modul... tree | commitdiff
2021-10-11 Claire XenMerge pull request #3041 from YosysHQ/mmicko/module_attr tree | commitdiff
2021-10-10 Miodrag MilanovicImport module attributes from Verific tree | commitdiff
2021-10-08 Claire Xenia WolfFixes and add comments for open FIXME items tree | commitdiff
2021-10-08 Claire Xenia WolfAdd support for $aldff flip-flops to verific importer tree | commitdiff
2021-10-04 Miodrag Milanovicverific set db_infer_set_reset_registers tree | commitdiff
2021-10-02 Zachary SnowSpecify minimum bison version 3.0+ tree | commitdiff
2021-09-24 Claire XenMerge pull request #3014 from YosysHQ/claire/fix-vgtest tree | commitdiff
2021-09-23 Zachary SnowFix TOK_ID memory leak in for_initialization 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-13 Marcelina Kościelnickaverilog: Squash flex-triggered warning. tree | commitdiff
next