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

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

2022-05-03	Jannis Harder	verific: Fix conditions of SVAs with explicit clocks...	blob \| commitdiff \| raw
2022-03-30	Miodrag Milanović	Merge pull request #3250 from YosysHQ/micko/verific_con...	blob \| commitdiff \| raw \| diff to current
2022-03-25	Miodrag Milanovic	Import verific netlist in consistent order	blob \| commitdiff \| raw \| diff to current
2022-02-11	Claire Xen	Merge branch 'master' into clk2ff-better-names	blob \| commitdiff \| raw \| diff to current
2022-02-11	Claire Xen	Merge pull request #2019 from boqwxp/glift	blob \| commitdiff \| raw \| diff to current
2021-10-11	Claire Xen	Merge pull request #3039 from YosysHQ/claire/verific_aldff	blob \| commitdiff \| raw \| diff to current
2021-10-08	Claire Xenia Wolf	Add support for $aldff flip-flops to verific importer	blob \| commitdiff \| raw \| diff to current
2021-06-09	Claire Xen	Merge pull request #2817 from YosysHQ/claire/fixemails	blob \| commitdiff \| raw \| diff to current
2021-06-07	Claire Xenia Wolf	Fixing old e-mail addresses and deadnames	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-05-14	Eddie Hung	Merge pull request #1994 from YosysHQ/eddie/fix_bug1758	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-27	Eddie Hung	verific: recover wiretype/enum attr as part of import_a...	blob \| commitdiff \| raw \| diff to current
2020-01-29	Claire Wolf	Merge branch 'vector_fix' of https://github.com/Kmanfi...	blob \| commitdiff \| raw \| diff to current
2020-01-27	Eddie Hung	Merge remote-tracking branch 'origin/master' into eddie...	blob \| commitdiff \| raw \| diff to current
2019-12-16	Eddie Hung	Merge pull request #1577 from gromero/for-yosys	blob \| commitdiff \| raw \| diff to current
2019-11-27	Clifford Wolf	Merge pull request #1501 from YosysHQ/dave/mem_copy_attr	blob \| commitdiff \| raw \| diff to current
2019-11-23	Eddie Hung	Merge branch 'xaig_dff' of github.com:YosysHQ/yosys...	blob \| commitdiff \| raw \| diff to current
2019-11-22	Eddie Hung	Merge branch 'eddie/clkpart' into xaig_dff	blob \| commitdiff \| raw \| diff to current
2019-11-22	Eddie Hung	Merge branch 'master' of github.com:YosysHQ/yosys	blob \| commitdiff \| raw \| diff to current
2019-11-20	Clifford Wolf	Merge pull request #1507 from YosysHQ/clifford/verificfixes	blob \| commitdiff \| raw \| diff to current
2019-11-20	Clifford Wolf	Do not rename VHDL entities to "entity(impl)" when...	blob \| commitdiff \| raw \| diff to current
2019-09-27	Aman Goel	Merge pull request #7 from YosysHQ/master	blob \| commitdiff \| raw \| diff to current
2019-08-26	Clifford Wolf	Merge tag 'yosys-0.9'	blob \| commitdiff \| raw \| diff to current
2019-08-25	Clifford Wolf	Merge pull request #1112 from acw1251/pyosys_sigsig_issue	blob \| commitdiff \| raw \| diff to current
2019-08-22	Clifford Wolf	Merge pull request #1281 from mmicko/efinix	blob \| commitdiff \| raw \| diff to current
2019-08-20	Eddie Hung	Merge remote-tracking branch 'origin/master' into eddie...	blob \| commitdiff \| raw \| diff to current
2019-08-16	Eddie Hung	Merge branch 'eddie/abc9_refactor' into xaig_dff	blob \| commitdiff \| raw \| diff to current
2019-08-16	Eddie Hung	Merge pull request #1250 from bwidawsk/master	blob \| commitdiff \| raw \| diff to current
2019-08-16	Eddie Hung	Merge https://github.com/bogdanvuk/yosys into bogdanvuk...	blob \| commitdiff \| raw \| diff to current
2019-08-12	Eddie Hung	Merge remote-tracking branch 'origin/master' into xc7dsp	blob \| commitdiff \| raw \| diff to current
2019-08-12	Serge Bazanski	Merge pull request #1152 from 1138-4EB/feat-docker	blob \| commitdiff \| raw \| diff to current
2019-08-12	Eddie Hung	Merge remote-tracking branch 'origin/master' into eddie...	blob \| commitdiff \| raw \| diff to current
2019-08-10	Clifford Wolf	Merge pull request #1258 from YosysHQ/eddie/cleanup	blob \| commitdiff \| raw \| diff to current
2019-08-10	Clifford Wolf	Merge pull request #1261 from YosysHQ/clifford/verific_init	blob \| commitdiff \| raw \| diff to current
2019-08-07	Clifford Wolf	Automatically prune init attributes in verific front...	blob \| commitdiff \| raw \| diff to current
2019-06-26	Eddie Hung	Merge branch 'xc7nocarrymux' of https://github.com...	blob \| commitdiff \| raw \| diff to current
2019-06-13	Serge Bazanski	Merge pull request #829 from abdelrahmanhosny/master	blob \| commitdiff \| raw \| diff to current
2019-06-12	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig	blob \| commitdiff \| raw \| diff to current
2019-06-07	Clifford Wolf	Merge branch 'pr_elab_sys_tasks' of https://github...	blob \| commitdiff \| raw \| diff to current
2019-05-31	Eddie Hung	Merge branch 'xaig' into xc7mux	blob \| commitdiff \| raw \| diff to current
2019-05-21	Eddie Hung	Merge remote-tracking branch 'origin/master' into xc7mux	blob \| commitdiff \| raw \| diff to current
2019-05-21	Jim Lawson	Merge remote-tracking branch 'upstream/master'	blob \| commitdiff \| raw \| diff to current
2019-05-08	Clifford Wolf	Merge pull request #991 from kristofferkoch/gcc9-warnings	blob \| commitdiff \| raw \| diff to current
2019-05-06	Clifford Wolf	Merge pull request #946 from YosysHQ/clifford/specify	blob \| commitdiff \| raw \| diff to current
2019-05-06	Clifford Wolf	Merge pull request #975 from YosysHQ/clifford/fix968	blob \| commitdiff \| raw \| diff to current
2019-05-06	Clifford Wolf	Merge pull request #871 from YosysHQ/verific_import	blob \| commitdiff \| raw \| diff to current
2019-05-03	Eddie Hung	Fix verific_parameters construction, use attribute...	blob \| commitdiff \| raw \| diff to current
2019-05-03	Eddie Hung	WIP -chparam support for hierarchy when verific	blob \| commitdiff \| raw \| diff to current
2019-03-28	Benedikt Tutzer	Merge remote-tracking branch 'origin/master' into featu...	blob \| commitdiff \| raw \| diff to current
2019-01-02	Clifford Wolf	Merge pull request #750 from Icenowy/anlogic-ff-init	blob \| commitdiff \| raw \| diff to current
2018-12-22	Clifford Wolf	Merge pull request #757 from whitequark/manual_mem	blob \| commitdiff \| raw \| diff to current
2018-12-19	Clifford Wolf	Merge pull request #752 from Icenowy/anlogic-lut-cost	blob \| commitdiff \| raw \| diff to current
2018-12-19	Clifford Wolf	Merge pull request #753 from Icenowy/anlogic-makefile-fix	blob \| commitdiff \| raw \| diff to current
2018-12-19	Clifford Wolf	Merge pull request #749 from Icenowy/anlogic-dram-fix	blob \| commitdiff \| raw \| diff to current
2018-12-18	Jim Lawson	Merge remote-tracking branch 'upstream/master'	blob \| commitdiff \| raw \| diff to current
2018-12-18	Clifford Wolf	Merge pull request #748 from makaimann/add-btor-ops	blob \| commitdiff \| raw \| diff to current
2018-12-18	Clifford Wolf	Improve src tagging (using names and attrs) of cells...	blob \| commitdiff \| raw \| diff to current
2018-10-01	Aman Goel	Merge pull request #4 from YosysHQ/master	blob \| commitdiff \| raw \| diff to current
2018-09-17	Udi Finkelstein	Merge branch 'master' into pr_reg_wire_error	blob \| commitdiff \| raw \| diff to current
2018-09-17	Jim Lawson	Merge remote-tracking branch 'upstream/master'	blob \| commitdiff \| raw \| diff to current
2018-09-14	Clifford Wolf	Merge pull request #625 from aman-goel/master	blob \| commitdiff \| raw \| diff to current
2018-09-04	Clifford Wolf	Add "verific -L <int>" option	blob \| commitdiff \| raw \| diff to current
2018-08-15	Clifford Wolf	Merge pull request #513 from udif/pr_reg_wire_error	blob \| commitdiff \| raw \| diff to current
2018-08-15	Clifford Wolf	Merge pull request #562 from udif/pr_fix_illegal_port_decl	blob \| commitdiff \| raw \| diff to current
2018-07-04	Aman Goel	Merge branch 'YosysHQ-master'	blob \| commitdiff \| raw \| diff to current
2018-07-04	Aman Goel	Merging with official repo	blob \| commitdiff \| raw \| diff to current
2018-06-20	Clifford Wolf	Merge branch 'master' of github.com:YosysHQ/yosys	blob \| commitdiff \| raw \| diff to current
2018-06-20	Clifford Wolf	Add automatic verific import in hierarchy command	blob \| commitdiff \| raw \| diff to current
2018-06-01	Clifford Wolf	Add (* gclk *) attribute support	blob \| commitdiff \| raw \| diff to current
2018-05-24	Clifford Wolf	Fix verific handling of anyconst/anyseq attributes	blob \| commitdiff \| raw \| diff to current
2018-04-06	Clifford Wolf	Add "verific -autocover"	blob \| commitdiff \| raw \| diff to current
2018-03-27	Clifford Wolf	Merge pull request #515 from edcote/patch-1	blob \| commitdiff \| raw \| diff to current
2018-03-26	Clifford Wolf	Fix handling of unclocked immediate assertions in Verif...	blob \| commitdiff \| raw \| diff to current
2018-03-07	Clifford Wolf	Fix Verific handling of "assert property (..);" in...	blob \| commitdiff \| raw \| diff to current
2018-03-07	Clifford Wolf	Add "verific -import -V"	blob \| commitdiff \| raw \| diff to current
2018-03-04	Clifford Wolf	Add proper SVA seq.triggered support	blob \| commitdiff \| raw \| diff to current
2018-03-04	Clifford Wolf	Add VerificClocking class and refactor Verific DFF...	blob \| commitdiff \| raw \| diff to current
2018-03-01	Clifford Wolf	Fixes and improvements in Verific SVA importer	blob \| commitdiff \| raw \| diff to current
2018-02-28	Clifford Wolf	Merge branch 'verificsva-ng'	blob \| commitdiff \| raw \| diff to current
2018-02-28	Clifford Wolf	Continue refactoring of Verific SVA importer code	blob \| commitdiff \| raw \| diff to current
2018-02-18	Clifford Wolf	Move Verific SVA importer to extra C++ source file	blob \| commitdiff \| raw \| diff to current

RSS Atom