projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
efinix: Nuke efinix_gbuf in favor of clkbufmap.
[yosys.git] / frontends / verific /
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
2020-04-30 Eddie HungMerge pull request #1999 from YosysHQ/eddie/verific_enu... tree | commitdiff
2020-04-30 Eddie Hungverific: ignore anonymous enums tree | commitdiff
2020-04-27 Eddie Hungverific: support VHDL enums too tree | commitdiff
2020-04-27 Eddie HungMerge pull request #1992 from YosysHQ/eddie/bugpoint_help tree | commitdiff
2020-04-27 Eddie Hungverific: recover wiretype/enum attr as part of import_a... tree | commitdiff
2020-04-24 whitequarkMerge pull request #1998 from whitequark/cxxrtl-fixes tree | commitdiff
2020-04-24 Eddie HungRevert "verific: import enum attributes from verific" tree | commitdiff
2020-04-24 Claire WolfMerge pull request #1995 from YosysHQ/eddie/fix_verific... tree | commitdiff
2020-04-23 Eddie Hungverific: do not assert if wire not found; warn instead tree | commitdiff
2020-04-23 Eddie HungMerge pull request #1974 from YosysHQ/eddie/abc9_disabl... tree | commitdiff
2020-04-23 Claire WolfMerge pull request #1989 from boqwxp/qbfsat_anyconst_so... tree | commitdiff
2020-04-23 Claire WolfMerge pull request #1988 from boqwxp/qbfsat tree | commitdiff
2020-04-23 Claire WolfMerge pull request #1986 from YosysHQ/eddie/verific_enum tree | commitdiff
2020-04-23 Eddie Hungverific: import enum attributes from verific tree | commitdiff
2020-04-15 N. EngelhardtMerge pull request #1830 from boqwxp/qbfsat tree | commitdiff
2020-04-10 whitequarkMerge pull request #1603 from whitequark/ice40-ram_style tree | commitdiff
2020-04-08 Sahand KashaniMerge branch 'master' of github.com:YosysHQ/yosys into... tree | commitdiff
2020-04-07 Claire WolfMerge pull request #1814 from YosysHQ/mmicko/pyosys_mak... tree | commitdiff
2020-04-06 whitequarkMerge pull request #1859 from boqwxp/design_duplicate tree | commitdiff
2020-04-03 Eddie HungMerge pull request #1648 from YosysHQ/eddie/cmp2lcu tree | commitdiff
2020-04-02 Eddie HungMerge pull request #1853 from YosysHQ/eddie/fix_dynslice tree | commitdiff
2020-04-02 Eddie HungMerge pull request #1767 from YosysHQ/eddie/idstrings tree | commitdiff
2020-04-02 Eddie Hungkernel: big fat patch to use more ID::*, otherwise... tree | commitdiff
2020-04-02 Eddie Hungkernel: use more ID::* tree | commitdiff
2020-03-12 Miodrag MilanovićMerge pull request #1666 from Xiretza/improve-makefile tree | commitdiff
2020-02-20 Claire WolfMerge pull request #1642 from jjj11x/jjj11x/sv-enum tree | commitdiff
2020-02-13 N. EngelhardtMerge pull request #1679 from thasti/delay-parsing tree | commitdiff
2020-02-10 N. EngelhardtMerge pull request #1669 from thasti/pyosys-attrs tree | commitdiff
2020-02-05 Eddie HungMerge pull request #1576 from YosysHQ/eddie/opt_merge_init tree | commitdiff
2020-02-05 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-02-05 Eddie HungMerge pull request #1638 from YosysHQ/eddie/fix1631 tree | commitdiff
2020-02-05 Eddie HungMerge pull request #1661 from YosysHQ/eddie/abc9_required tree | commitdiff
2020-02-02 David ShahMerge pull request #1647 from YosysHQ/dave/sprintf tree | commitdiff
2020-02-02 David ShahMerge pull request #1657 from YosysHQ/dave/xilinx-dsp... tree | commitdiff
2020-02-01 Eddie HungMerge branch 'master' into eddie/submod_po tree | commitdiff
2020-01-30 Claire WolfMerge pull request #1667 from YosysHQ/clifford/verificnand tree | commitdiff
2020-01-30 Claire WolfMerge pull request #1503 from YosysHQ/eddie/verific_help tree | commitdiff
2020-01-30 Claire WolfMerge pull request #1654 from YosysHQ/eddie/sby_fix69 tree | commitdiff
2020-01-30 Claire WolfAdd Verific support for OPER_REDUCE_NAND tree | commitdiff
2020-01-29 Claire WolfMerge branch 'vector_fix' of https://github.com/Kmanfi... tree | commitdiff
2020-01-29 N. EngelhardtMerge pull request #1510 from pumbor/master tree | commitdiff
2020-01-29 Miodrag MilanovićMerge pull request #1559 from YosysHQ/efinix_test_fix tree | commitdiff
2020-01-28 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
next