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

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

2019-03-28	Benedikt Tutzer	Merge remote-tracking branch 'origin/master' into featu...	blob \| commitdiff \| raw
2019-01-02	Clifford Wolf	Merge pull request #750 from Icenowy/anlogic-ff-init	blob \| commitdiff \| raw
2018-12-22	Clifford Wolf	Merge pull request #757 from whitequark/manual_mem	blob \| commitdiff \| raw
2018-12-19	Clifford Wolf	Merge pull request #752 from Icenowy/anlogic-lut-cost	blob \| commitdiff \| raw
2018-12-19	Clifford Wolf	Merge pull request #753 from Icenowy/anlogic-makefile-fix	blob \| commitdiff \| raw
2018-12-19	Clifford Wolf	Merge pull request #749 from Icenowy/anlogic-dram-fix	blob \| commitdiff \| raw
2018-12-18	Clifford Wolf	Merge pull request #748 from makaimann/add-btor-ops	blob \| commitdiff \| raw
2018-12-18	Clifford Wolf	Improve src tagging (using names and attrs) of cells...	blob \| commitdiff \| raw
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-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