git.libre-soc.org Git - yosys.git/history - frontends/verific/verific.cc

[yosys.git] / frontends / verific / verific.cc

2020-10-15	clairexen	Merge pull request #2398 from jakobwenzel/smtbmc-escape	blob \| commitdiff \| raw
2020-10-12	Miodrag Milanovic	extend verific library API for formal apps and generators	blob \| commitdiff \| raw
2020-10-05	Miodrag Milanović	Update required Verific version	blob \| commitdiff \| raw \| diff to current
2020-10-01	clairexen	Merge pull request #2378 from udif/pr_dollar_high_low	blob \| commitdiff \| raw \| diff to current
2020-10-01	clairexen	Merge pull request #2380 from Xiretza/parallel-tests	blob \| commitdiff \| raw \| diff to current
2020-10-01	clairexen	Merge pull request #2395 from YosysHQ/sha1_if_contain_s...	blob \| commitdiff \| raw \| diff to current
2020-09-30	Miodrag Milanovic	use sha1 for parameter list in case if they contain...	blob \| commitdiff \| raw \| diff to current
2020-09-17	clairexen	Merge pull request #2329 from antmicro/arrays-fix-multi...	blob \| commitdiff \| raw \| diff to current
2020-09-17	clairexen	Merge pull request #2330 from antmicro/arrays-fix-multi...	blob \| commitdiff \| raw \| diff to current
2020-09-10	Miodrag Milanović	Merge pull request #2369 from Xiretza/gitignores	blob \| commitdiff \| raw \| diff to current
2020-09-02	Miodrag Milanovic	Use latest verific	blob \| commitdiff \| raw \| diff to current
2020-09-01	clairexen	Merge pull request #2352 from zachjs/const-func-localparam	blob \| commitdiff \| raw \| diff to current
2020-09-01	clairexen	Merge pull request #2366 from zachjs/library-format	blob \| commitdiff \| raw \| diff to current
2020-09-01	clairexen	Merge pull request #2353 from zachjs/top-scope	blob \| commitdiff \| raw \| diff to current
2020-09-01	clairexen	Merge pull request #2365 from zachjs/const-arg-loop...	blob \| commitdiff \| raw \| diff to current
2020-08-31	Miodrag Milanovic	Reorder to prevent crash	blob \| commitdiff \| raw \| diff to current
2020-08-31	clairexen	Merge pull request #2368 from YosysHQ/verific_portrange	blob \| commitdiff \| raw \| diff to current
2020-08-30	Miodrag Milanovic	ast recognize lower case x and z and verific gives...	blob \| commitdiff \| raw \| diff to current
2020-08-30	Miodrag Milanovic	Do not check for 1 and 0 only	blob \| commitdiff \| raw \| diff to current
2020-08-30	Miodrag Milanovic	Fix import of VHDL enums	blob \| commitdiff \| raw \| diff to current
2020-08-27	whitequark	Merge pull request #2356 from whitequark/flatten-techma...	blob \| commitdiff \| raw \| diff to current
2020-08-26	Miodrag Milanović	Merge pull request #2355 from YosysHQ/verific_improvements	blob \| commitdiff \| raw \| diff to current
2020-08-26	Miodrag Milanovic	Add formal apps and template generators	blob \| commitdiff \| raw \| diff to current
2020-08-19	clairexen	Merge pull request #2122 from PeterCrozier/struct_array2	blob \| commitdiff \| raw \| diff to current
2020-08-18	Claire Wolf	Merge branch 'const-func-block-var' of https://github...	blob \| commitdiff \| raw \| diff to current
2020-08-18	clairexen	Merge pull request #2281 from zachjs/const-real	blob \| commitdiff \| raw \| diff to current
2020-07-29	Miodrag Milanović	Merge pull request #2314 from YosysHQ/verifix_errorfix	blob \| commitdiff \| raw \| diff to current
2020-07-29	Miodrag Milanovic	Clear last error message	blob \| commitdiff \| raw \| diff to current
2020-07-02	clairexen	Merge pull request #2132 from YosysHQ/eddie/verific_initial	blob \| commitdiff \| raw \| diff to current
2020-07-02	clairexen	Merge pull request #2186 from YosysHQ/mwk/dfflegalize	blob \| commitdiff \| raw \| diff to current
2020-07-02	clairexen	Merge pull request #2211 from YosysHQ/mwk/fix-fmcombine-ff	blob \| commitdiff \| raw \| diff to current
2020-07-02	clairexen	Merge pull request #2210 from YosysHQ/mwk/fix-opt_merge	blob \| commitdiff \| raw \| diff to current
2020-07-02	clairexen	Merge pull request #2195 from YosysHQ/mwk/manual-gates	blob \| commitdiff \| raw \| diff to current
2020-07-01	clairexen	Merge pull request #2203 from antmicro/fix-grammar	blob \| commitdiff \| raw \| diff to current
2020-07-01	clairexen	Merge pull request #2179 from splhack/static-cast	blob \| commitdiff \| raw \| diff to current
2020-07-01	clairexen	Merge pull request #2138 from boqwxp/qbfsat-oflag	blob \| commitdiff \| raw \| diff to current
2020-07-01	clairexen	Merge pull request #2206 from boqwxp/qbfsat-fix-name...	blob \| commitdiff \| raw \| diff to current
2020-06-30	clairexen	Merge pull request #2136 from zachjs/master	blob \| commitdiff \| raw \| diff to current
2020-06-30	clairexen	Merge pull request #2199 from YosysHQ/mmicko/sim_memory	blob \| commitdiff \| raw \| diff to current
2020-06-30	clairexen	Merge pull request #2201 from YosysHQ/fix_test_cell_ilang	blob \| commitdiff \| raw \| diff to current
2020-06-30	clairexen	Merge pull request #2209 from YosysHQ/verific_update	blob \| commitdiff \| raw \| diff to current
2020-06-30	Miodrag Milanovic	Update verific API version check	blob \| commitdiff \| raw \| diff to current
2020-06-26	Miodrag Milanovic	Fix crash in verific frontend	blob \| commitdiff \| raw \| diff to current
2020-06-26	whitequark	Merge pull request #2188 from antmicro/missing-operators	blob \| commitdiff \| raw \| diff to current
2020-06-26	whitequark	Merge pull request #2189 from antmicro/optional-labels	blob \| commitdiff \| raw \| diff to current
2020-06-25	clairexen	Merge pull request #2168 from whitequark/assert-unused...	blob \| commitdiff \| raw \| diff to current
2020-06-25	clairexen	Merge pull request #2135 from boqwxp/qbfsat-timeinfo	blob \| commitdiff \| raw \| diff to current
2020-06-25	clairexen	Merge pull request #2093 from boqwxp/qbfsat-bugfixes	blob \| commitdiff \| raw \| diff to current
2020-06-25	clairexen	Merge pull request #2192 from YosysHQ/verific_netbus_attr	blob \| commitdiff \| raw \| diff to current
2020-06-25	Miodrag Milanovic	optimization, all items should have same attributes	blob \| commitdiff \| raw \| diff to current
2020-06-24	Miodrag Milanovic	verific - import attributes for net buses as well	blob \| commitdiff \| raw \| diff to current
2020-06-19	whitequark	Remove YS_ATTRIBUTE(unused) where present just for...	blob \| commitdiff \| raw \| diff to current
2020-06-19	whitequark	Merge pull request #2173 from whitequark/use-cxx11...	blob \| commitdiff \| raw \| diff to current
2020-06-18	whitequark	Use C++11 final/override keywords.	blob \| commitdiff \| raw \| diff to current
2020-06-10	whitequark	Merge pull request #2134 from whitequark/cxxrtl-opt...	blob \| commitdiff \| raw \| diff to current
2020-06-10	clairexen	Merge pull request #2131 from YosysHQ/claire/preserveffs	blob \| commitdiff \| raw \| diff to current
2020-06-10	clairexen	Merge pull request #2139 from YosysHQ/verific_missing_m...	blob \| commitdiff \| raw \| diff to current
2020-06-10	Miodrag Milanovic	verific - detect missing memory to prevent crash.	blob \| commitdiff \| raw \| diff to current
2020-06-09	Claire Wolf	Do not optimize away FFs in "prep" and Verific fron-end	blob \| commitdiff \| raw \| diff to current
2020-06-08	clairexen	Merge pull request #2085 from rswarbrick/select	blob \| commitdiff \| raw \| diff to current
2020-06-08	clairexen	Merge pull request #2089 from rswarbrick/modports	blob \| commitdiff \| raw \| diff to current
2020-06-04	clairexen	Merge pull request #2099 from Xiretza/manual-include...	blob \| commitdiff \| raw \| diff to current
2020-06-04	Eddie Hung	Merge pull request #2077 from YosysHQ/eddie/abc9_dff_im...	blob \| commitdiff \| raw \| diff to current
2020-06-04	whitequark	Merge pull request #2006 from jersey99/signed-in-rtlil...	blob \| commitdiff \| raw \| diff to current
2020-06-04	N. Engelhardt	Merge pull request #2070 from hackfin/master	blob \| commitdiff \| raw \| diff to current
2020-06-04	Eddie Hung	Merge pull request #2082 from YosysHQ/eddie/abc9_scc_fixes no_loop	blob \| commitdiff \| raw \| diff to current
2020-06-03	Peter Crozier	Merge branch 'master' into struct	blob \| commitdiff \| raw \| diff to current
2020-06-03	Eddie Hung	Merge pull request #2080 from YosysHQ/eddie/fix_test_wa...	blob \| commitdiff \| raw \| diff to current
2020-06-02	clairexen	Merge pull request #2102 from YosysHQ/tests_fix	blob \| commitdiff \| raw \| diff to current
2020-06-02	clairexen	Merge pull request #2101 from YosysHQ/mmicko/verific_as...	blob \| commitdiff \| raw \| diff to current
2020-06-01	Miodrag Milanovic	Support asymmetric memories for verific frontend	blob \| commitdiff \| raw \| diff to current
2020-05-28	whitequark	Merge pull request #2063 from boqwxp/techmapped-firrtl	blob \| commitdiff \| raw \| diff to current
2020-05-21	Miodrag Milanović	Merge pull request #2059 from boqwxp/logger-vector...	blob \| commitdiff \| raw \| diff to current
2020-05-20	N. Engelhardt	Merge pull request #2054 from boqwxp/fix-smtbmc	blob \| commitdiff \| raw \| diff to current
2020-05-18	Eddie Hung	Merge pull request #1926 from YosysHQ/eddie/abc9_auto_dff	blob \| commitdiff \| raw \| diff to current
2020-05-17	Claire Wolf	Revert "Add support for non-power-of-two mem chunks...	blob \| commitdiff \| raw \| diff to current
2020-05-15	Eddie Hung	verific: rewrite initial assume/asserts prior to elabor...	blob \| commitdiff \| raw \| diff to current
2020-05-14	Eddie Hung	Merge pull request #1994 from YosysHQ/eddie/fix_bug1758	blob \| commitdiff \| raw \| diff to current
2020-05-14	Eddie Hung	Merge pull request #2045 from YosysHQ/eddie/fix2042	blob \| commitdiff \| raw \| diff to current
2020-05-14	Claire Wolf	Merge pull request #2052 from YosysHQ/claire/verific_memfix	blob \| commitdiff \| raw \| diff to current
2020-05-14	Claire Wolf	Add support for non-power-of-two mem chunks in verific...	blob \| commitdiff \| raw \| diff to current
2020-05-04	Eddie Hung	Merge pull request #1996 from boqwxp/rtlil_source_locations	blob \| commitdiff \| raw \| diff to current
2020-05-03	whitequark	Merge pull request #2000 from whitequark/log_error...	blob \| commitdiff \| raw \| diff to current
2020-05-01	Claire Wolf	Merge pull request #1997 from whitequark/document-ootb	blob \| commitdiff \| raw \| diff to current
2020-05-01	Claire Wolf	Merge pull request #1981 from YosysHQ/claire/fix1837	blob \| commitdiff \| raw \| diff to current
2020-04-30	Eddie Hung	Merge pull request #1999 from YosysHQ/eddie/verific_enu...	blob \| commitdiff \| raw \| diff to current
2020-04-30	Eddie Hung	verific: ignore anonymous enums	blob \| commitdiff \| raw \| diff to current
2020-04-27	Eddie Hung	verific: support VHDL enums too	blob \| commitdiff \| raw \| diff to current
2020-04-27	Eddie Hung	Merge pull request #1992 from YosysHQ/eddie/bugpoint_help	blob \| commitdiff \| raw \| diff to current
2020-04-27	Eddie Hung	verific: recover wiretype/enum attr as part of import_a...	blob \| commitdiff \| raw \| diff to current
2020-04-24	whitequark	Merge pull request #1998 from whitequark/cxxrtl-fixes	blob \| commitdiff \| raw \| diff to current
2020-04-24	Eddie Hung	Revert "verific: import enum attributes from verific"	blob \| commitdiff \| raw \| diff to current
2020-04-24	Claire Wolf	Merge pull request #1995 from YosysHQ/eddie/fix_verific...	blob \| commitdiff \| raw \| diff to current
2020-04-23	Eddie Hung	verific: do not assert if wire not found; warn instead	blob \| commitdiff \| raw \| diff to current
2020-04-23	Eddie Hung	Merge pull request #1974 from YosysHQ/eddie/abc9_disabl...	blob \| commitdiff \| raw \| diff to current
2020-04-23	Claire Wolf	Merge pull request #1989 from boqwxp/qbfsat_anyconst_so...	blob \| commitdiff \| raw \| diff to current
2020-04-23	Claire Wolf	Merge pull request #1988 from boqwxp/qbfsat	blob \| commitdiff \| raw \| diff to current
2020-04-23	Claire Wolf	Merge pull request #1986 from YosysHQ/eddie/verific_enum	blob \| commitdiff \| raw \| diff to current
2020-04-23	Eddie Hung	verific: import enum attributes from verific	blob \| commitdiff \| raw \| diff to current
2020-04-15	N. Engelhardt	Merge pull request #1830 from boqwxp/qbfsat	blob \| commitdiff \| raw \| diff to current
next

RSS Atom