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

2020-01-29	Claire Wolf	Merge branch 'vector_fix' of https://github.com/Kmanfi...	blob \| commitdiff \| raw
2018-02-18	Clifford Wolf	Move Verific SVA importer to extra C++ source file	blob \| commitdiff \| raw
2018-02-03	Clifford Wolf	Merge pull request #488 from azonenberg/for_clifford	blob \| commitdiff \| raw \| diff to current
2018-01-28	Clifford Wolf	Fix permissions on verific vdb files	blob \| commitdiff \| raw \| diff to current
2016-07-08	Clifford Wolf	Merge branch 'yosys-0.5-vtr' of https://github.com...	blob \| commitdiff \| raw \| diff to current
2015-12-07	Clifford Wolf	Merge pull request #108 from cseed/master	blob \| commitdiff \| raw \| diff to current
2015-11-12	Clifford Wolf	Changes for Verific 3.16_484_32_151112	blob \| commitdiff \| raw \| diff to current
2014-09-22	Ahmed Irfan	Merge branch 'master' of https://github.com/cliffordwol...	blob \| commitdiff \| raw \| diff to current
2014-07-27	Clifford Wolf	Fixed verific bindings for new RTLIL api	blob \| commitdiff \| raw \| diff to current
2014-03-13	Clifford Wolf	Copy Verific vdbs files to Yosys "share" data directory	blob \| commitdiff \| raw \| diff to current
2014-03-09	Clifford Wolf	Added "verific" command	blob \| commitdiff \| raw \| diff to current