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 / verific /
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-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-02-16 Miodrag MilanovicRemove quotes if any from attribute 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
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-10 Claire XenMerge pull request #3075 from YosysHQ/micko/verific_mem... tree | commitdiff
2021-11-10 Miodrag MilanovicNo need to alocate more memory than used 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-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-09-02 Miodrag Milanovicupdate required verific version tree | commitdiff
2021-08-20 Miodrag MilanovićMerge pull request #2973 from YosysHQ/micko/optional_ex... tree | commitdiff
2021-08-20 Miodrag MilanovicMake Verific extensions optional tree | commitdiff
2021-08-02 Miodrag MilanovicRequire latest verific tree | commitdiff
2021-07-21 Miodrag MilanovicUpdate to latest verific tree | commitdiff
2021-07-09 Miodrag MilanovicUpdate to latest Verific with extensions for initial... tree | commitdiff
2021-07-05 Claire XenMerge pull request #2835 from YosysHQ/verific_command tree | commitdiff
2021-07-05 Miodrag MilanovicAdd additional help tree | commitdiff
2021-06-16 Miodrag MilanovicSupport command files in Verific tree | commitdiff
2021-06-09 Claire XenMerge pull request #2817 from YosysHQ/claire/fixemails tree | commitdiff
2021-06-07 Claire Xenia WolfFixing old e-mail addresses and deadnames tree | commitdiff
2021-03-07 whitequarkMerge pull request #2626 from zachjs/param-no-default tree | commitdiff
2021-03-04 Claire XenUpdate README tree | commitdiff
2021-03-01 Claire XenMerge pull request #2523 from tomverbeure/define_synthesis tree | commitdiff
2021-03-01 Claire XenMerge pull request #2524 from bkbncn/patch-1 tree | commitdiff
2021-02-25 whitequarkMerge pull request #2554 from hzeller/master tree | commitdiff
2021-02-21 whitequarkMerge pull request #2586 from zachjs/tern-recurse tree | commitdiff
2021-02-15 Claire XenMerge pull request #2574 from dh73/master tree | commitdiff
2021-02-12 gatecatMerge pull request #2585 from YosysHQ/dave/nexus-dotproduct tree | commitdiff
2021-02-12 Miodrag MilanovicGanulate Verific support tree | commitdiff
2021-02-04 Diego HAccept disable case for SVA liveness properties. tree | commitdiff
2021-02-04 whitequarkMerge pull request #2529 from zachjs/unnamed-genblk tree | commitdiff
2021-02-03 whitequarkMerge pull request #2436 from dalance/fix_generate tree | commitdiff
2021-01-30 Miodrag MilanovicRequire latest Verific build tree | commitdiff
2021-01-28 Claire XenMerge pull request #2535 from Ravenslofty/scc-specify tree | commitdiff
2021-01-26 whitequarkMerge pull request #2544 from modwizcode/fix-clock tree | commitdiff
2021-01-25 whitequarkMerge pull request #2549 from pgadfort/support-multiple... tree | commitdiff
2021-01-25 whitequarkMerge pull request #2550 from zachjs/macro-arg-spaces tree | commitdiff
2021-01-20 Claire XenMerge pull request #2552 from YosysHQ/claire/yosyshq tree | commitdiff
2021-01-20 Claire Xenia WolfSwitch verific bindings from Symbiotic EDA flavored... tree | commitdiff
2021-01-01 whitequarkMerge pull request #2480 from YosysHQ/dave/nexus-lram tree | commitdiff
2020-12-02 whitequarkMerge pull request #2468 from whitequark/cxxrtl-assert tree | commitdiff
next