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

2015-05-17	Clifford Wolf	Verific build fixes	blob \| commitdiff \| raw
2015-04-03	Ahmed Irfan	Merge branch 'master' of https://github.com/cliffordwol...	blob \| commitdiff \| raw \| diff to current
2014-11-08	Clifford Wolf	Added "ENABLE_PLUGINS := 0" to verific amd64 build...	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-09-06	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	blob \| commitdiff \| raw \| diff to current
2014-09-06	Clifford Wolf	Merge pull request #38 from rubund/master	blob \| commitdiff \| raw \| diff to current
2014-09-06	Ruben Undheim	Corrected spelling mistakes found by lintian	blob \| commitdiff \| raw \| diff to current
2014-08-12	Clifford Wolf	Fixed building verific bindings	blob \| commitdiff \| raw \| diff to current
2014-07-25	Clifford Wolf	Updated verific build/test instructions	blob \| commitdiff \| raw \| diff to current
2014-07-23	Clifford Wolf	Various fixes in Verific frontend for new RTLIL API	blob \| commitdiff \| raw \| diff to current