projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #2455 from gsomlo/gls-fedpkg-fixes
[yosys.git] / frontends / verific /
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
2020-06-25 clairexenMerge pull request #2192 from YosysHQ/verific_netbus_attr tree | commitdiff
2020-06-25 Miodrag Milanovicoptimization, all items should have same attributes tree | commitdiff
2020-06-24 Miodrag Milanovicverific - import attributes for net buses as well tree | commitdiff
2020-06-19 whitequarkRemove YS_ATTRIBUTE(unused) where present just for... tree | commitdiff
2020-06-19 whitequarkMerge pull request #2173 from whitequark/use-cxx11... tree | commitdiff
2020-06-18 whitequarkUse C++11 final/override keywords. tree | commitdiff
2020-06-10 whitequarkMerge pull request #2134 from whitequark/cxxrtl-opt... tree | commitdiff
2020-06-10 clairexenMerge pull request #2131 from YosysHQ/claire/preserveffs tree | commitdiff
2020-06-10 clairexenMerge pull request #2139 from YosysHQ/verific_missing_m... tree | commitdiff
2020-06-10 Miodrag Milanovicverific - detect missing memory to prevent crash. tree | commitdiff
2020-06-09 Claire WolfDo not optimize away FFs in "prep" and Verific fron-end tree | commitdiff
2020-06-08 clairexenMerge pull request #2085 from rswarbrick/select tree | commitdiff
2020-06-08 clairexenMerge pull request #2089 from rswarbrick/modports tree | commitdiff
2020-06-04 clairexenMerge pull request #2099 from Xiretza/manual-include... tree | commitdiff
2020-06-04 Eddie HungMerge pull request #2077 from YosysHQ/eddie/abc9_dff_im... tree | commitdiff
2020-06-04 whitequarkMerge pull request #2006 from jersey99/signed-in-rtlil... tree | commitdiff
2020-06-04 N. EngelhardtMerge pull request #2070 from hackfin/master tree | commitdiff
2020-06-04 Eddie HungMerge pull request #2082 from YosysHQ/eddie/abc9_scc_fixes no_loop tree | commitdiff
2020-06-03 Peter CrozierMerge branch 'master' into struct tree | commitdiff
2020-06-03 Eddie HungMerge pull request #2080 from YosysHQ/eddie/fix_test_wa... tree | commitdiff
2020-06-02 clairexenMerge pull request #2102 from YosysHQ/tests_fix tree | commitdiff
2020-06-02 clairexenMerge pull request #2101 from YosysHQ/mmicko/verific_as... tree | commitdiff
2020-06-01 Miodrag MilanovicSupport asymmetric memories for verific frontend tree | commitdiff
2020-05-28 whitequarkMerge pull request #2063 from boqwxp/techmapped-firrtl tree | commitdiff
2020-05-21 Miodrag MilanovićMerge pull request #2059 from boqwxp/logger-vector... tree | commitdiff
2020-05-20 N. EngelhardtMerge pull request #2054 from boqwxp/fix-smtbmc tree | commitdiff
2020-05-18 Eddie HungMerge pull request #1926 from YosysHQ/eddie/abc9_auto_dff tree | commitdiff
2020-05-17 Claire WolfRevert "Add support for non-power-of-two mem chunks... tree | commitdiff
2020-05-15 Eddie Hungverific: rewrite initial assume/asserts prior to elabor... tree | commitdiff
2020-05-14 Eddie HungMerge pull request #1994 from YosysHQ/eddie/fix_bug1758 tree | commitdiff
2020-05-14 Eddie HungMerge pull request #2045 from YosysHQ/eddie/fix2042 tree | commitdiff
2020-05-14 Claire WolfMerge pull request #2052 from YosysHQ/claire/verific_memfix tree | commitdiff
2020-05-14 Claire WolfAdd support for non-power-of-two mem chunks in verific... tree | commitdiff
2020-05-04 Eddie HungMerge pull request #1996 from boqwxp/rtlil_source_locations tree | commitdiff
2020-05-03 whitequarkMerge pull request #2000 from whitequark/log_error... tree | commitdiff
2020-05-01 Claire WolfMerge pull request #1997 from whitequark/document-ootb tree | commitdiff
2020-05-01 Claire WolfMerge pull request #1981 from YosysHQ/claire/fix1837 tree | commitdiff
next