projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add support for $aldff flip-flops to verific importer
[yosys.git] / frontends / verific /
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
2020-12-02 whitequarkMerge pull request #2469 from whitequark/cxxrtl-no-clk tree | commitdiff
2020-12-02 whitequarkMerge pull request #2466 from whitequark/cxxrtl-reset tree | commitdiff
2020-12-02 whitequarkMerge pull request #2456 from Zottel/master tree | commitdiff
2020-12-02 whitequarkMerge pull request #2455 from gsomlo/gls-fedpkg-fixes tree | commitdiff
2020-12-02 David ShahMerge pull request #2467 from YosysHQ/dave/nexus-carry-fix tree | commitdiff
2020-12-02 whitequarkMerge pull request #2446 from RobertBaruch/rtlil_format tree | commitdiff
2020-12-02 Miodrag MilanovicBump required Verific version tree | commitdiff
2020-11-25 Claire XenMerge pull request #2133 from dh73/nodev_head tree | commitdiff
2020-11-24 Miodrag MilanovićMerge pull request #2295 from epfl-vlsc/firrtl_blackbox... tree | commitdiff
2020-11-07 whitequarkMerge pull request #2414 from zeldin/abc-depend-clang-fix tree | commitdiff
2020-11-07 Miodrag MilanovićMerge pull request #2432 from Xiretza/nexus-tests tree | commitdiff
2020-10-31 whitequarkMerge pull request #2416 from QuantamHD/master tree | commitdiff
2020-10-30 Miodrag MilanovicUpdate verific version tree | commitdiff
2020-10-20 clairexenMerge pull request #2405 from byuccl/fix_xilinx_cells tree | commitdiff
2020-10-19 Miodrag MilanovićMerge pull request #2397 from daveshah1/nexus tree | commitdiff
2020-10-15 clairexenMerge pull request #2398 from jakobwenzel/smtbmc-escape tree | commitdiff
2020-10-12 Miodrag Milanovicextend verific library API for formal apps and generators tree | commitdiff
2020-10-05 Miodrag MilanovićUpdate required Verific version tree | commitdiff
2020-10-01 clairexenMerge pull request #2378 from udif/pr_dollar_high_low tree | commitdiff
2020-10-01 clairexenMerge pull request #2380 from Xiretza/parallel-tests tree | commitdiff
2020-10-01 clairexenMerge pull request #2395 from YosysHQ/sha1_if_contain_s... tree | commitdiff
2020-09-30 Miodrag Milanovicuse sha1 for parameter list in case if they contain... tree | commitdiff
2020-09-21 N. EngelhardtMerge pull request #2372 from nakengelhardt/name_is_public tree | commitdiff
2020-09-18 clairexenMerge pull request #2381 from YosysHQ/unsupported tree | commitdiff
2020-09-18 Miodrag MilanovicBetter error for unsupported SVA sequence tree | commitdiff
2020-09-17 clairexenMerge pull request #2329 from antmicro/arrays-fix-multi... tree | commitdiff
2020-09-17 clairexenMerge pull request #2330 from antmicro/arrays-fix-multi... tree | commitdiff
2020-09-10 Miodrag MilanovićMerge pull request #2369 from Xiretza/gitignores tree | commitdiff
2020-09-02 Miodrag MilanovicUse latest verific tree | commitdiff
2020-09-01 clairexenMerge pull request #2352 from zachjs/const-func-localparam tree | commitdiff
2020-09-01 clairexenMerge pull request #2366 from zachjs/library-format tree | commitdiff
2020-09-01 clairexenMerge pull request #2353 from zachjs/top-scope tree | commitdiff
2020-09-01 clairexenMerge pull request #2365 from zachjs/const-arg-loop... tree | commitdiff
2020-08-31 Miodrag MilanovicReorder to prevent crash tree | commitdiff
2020-08-31 clairexenMerge pull request #2368 from YosysHQ/verific_portrange tree | commitdiff
2020-08-30 Miodrag Milanovicast recognize lower case x and z and verific gives... tree | commitdiff
2020-08-30 Miodrag MilanovicDo not check for 1 and 0 only tree | commitdiff
2020-08-30 Miodrag MilanovicFix import of VHDL enums tree | commitdiff
2020-08-27 whitequarkMerge pull request #2356 from whitequark/flatten-techma... tree | commitdiff
2020-08-26 Miodrag MilanovićMerge pull request #2355 from YosysHQ/verific_improvements tree | commitdiff
2020-08-26 Miodrag MilanovicAdd formal apps and template generators tree | commitdiff
2020-08-19 clairexenMerge pull request #2122 from PeterCrozier/struct_array2 tree | commitdiff
2020-08-18 Claire WolfMerge branch 'const-func-block-var' of https://github... tree | commitdiff
2020-08-18 clairexenMerge pull request #2281 from zachjs/const-real tree | commitdiff
2020-07-29 Miodrag MilanovićMerge pull request #2314 from YosysHQ/verifix_errorfix tree | commitdiff
2020-07-29 Miodrag MilanovicClear last error message tree | commitdiff
2020-07-02 clairexenMerge pull request #2132 from YosysHQ/eddie/verific_initial tree | commitdiff
2020-07-02 clairexenMerge pull request #2186 from YosysHQ/mwk/dfflegalize tree | commitdiff
2020-07-02 clairexenMerge pull request #2211 from YosysHQ/mwk/fix-fmcombine-ff tree | commitdiff
2020-07-02 clairexenMerge pull request #2210 from YosysHQ/mwk/fix-opt_merge tree | commitdiff
2020-07-02 clairexenMerge pull request #2195 from YosysHQ/mwk/manual-gates tree | commitdiff
2020-07-01 clairexenMerge pull request #2203 from antmicro/fix-grammar tree | commitdiff
2020-07-01 clairexenMerge pull request #2179 from splhack/static-cast tree | commitdiff
2020-07-01 clairexenMerge pull request #2138 from boqwxp/qbfsat-oflag tree | commitdiff
2020-07-01 clairexenMerge pull request #2206 from boqwxp/qbfsat-fix-name... tree | commitdiff
2020-06-30 clairexenMerge pull request #2136 from zachjs/master tree | commitdiff
2020-06-30 clairexenMerge pull request #2199 from YosysHQ/mmicko/sim_memory tree | commitdiff
2020-06-30 clairexenMerge pull request #2201 from YosysHQ/fix_test_cell_ilang tree | commitdiff
2020-06-30 clairexenMerge pull request #2209 from YosysHQ/verific_update tree | commitdiff
2020-06-30 Miodrag MilanovicUpdate verific API version check tree | commitdiff
2020-06-26 Miodrag MilanovicFix crash in verific frontend tree | commitdiff
2020-06-26 whitequarkMerge pull request #2188 from antmicro/missing-operators tree | commitdiff
2020-06-26 whitequarkMerge pull request #2189 from antmicro/optional-labels tree | commitdiff
2020-06-25 clairexenMerge pull request #2168 from whitequark/assert-unused... tree | commitdiff
2020-06-25 clairexenMerge pull request #2135 from boqwxp/qbfsat-timeinfo tree | commitdiff
2020-06-25 clairexenMerge pull request #2093 from boqwxp/qbfsat-bugfixes tree | commitdiff
next