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

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

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-09	Clifford Wolf	Added log_warning() API	blob \| commitdiff \| raw \| diff to current
2014-10-17	William Speirs	Header changes so it will compile on VS	blob \| commitdiff \| raw \| diff to current
2014-10-10	Clifford Wolf	Renamed SIZE() to GetSize() because of name collision...	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-16	Clifford Wolf	Added module->uniquify()	blob \| commitdiff \| raw \| diff to current
2014-08-15	Clifford Wolf	Renamed $_INV_ cell type to $_NOT_	blob \| commitdiff \| raw \| diff to current
2014-08-12	Clifford Wolf	Fixed building verific bindings	blob \| commitdiff \| raw \| diff to current
2014-07-31	Clifford Wolf	Fixed build of verific bindings	blob \| commitdiff \| raw \| diff to current
2014-07-31	Clifford Wolf	Added module->design and cell->module, wire->module...	blob \| commitdiff \| raw \| diff to current
2014-07-31	Clifford Wolf	Moved some stuff to kernel/yosys.{h,cc}, using Yosys...	blob \| commitdiff \| raw \| diff to current
2014-07-28	Clifford Wolf	Using log_assert() instead of assert()	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-07-23	Clifford Wolf	Various fixes in Verific frontend for new RTLIL API	blob \| commitdiff \| raw \| diff to current
2014-03-20	Clifford Wolf	Fixed mapping of Verific WIDE_DFFRS operator	blob \| commitdiff \| raw \| diff to current
2014-03-20	Clifford Wolf	Fixed mapping of Verific FADD primitive with unconnecte...	blob \| commitdiff \| raw \| diff to current
2014-03-17	Clifford Wolf	Progress in Verific bindings	blob \| commitdiff \| raw \| diff to current
2014-03-17	Clifford Wolf	Progress in Verific bindings	blob \| commitdiff \| raw \| diff to current
2014-03-17	Clifford Wolf	Progress in Verific bindings	blob \| commitdiff \| raw \| diff to current
2014-03-16	Clifford Wolf	Added support for memories to verific bindings	blob \| commitdiff \| raw \| diff to current
2014-03-16	Clifford Wolf	Use Verific Net::{IsGnd,IsPwr} API in Verific bindings	blob \| commitdiff \| raw \| diff to current
2014-03-15	Clifford Wolf	Progress in Verific bindings	blob \| commitdiff \| raw \| diff to current
2014-03-15	Clifford Wolf	Progress in Verific bindings	blob \| commitdiff \| raw \| diff to current
2014-03-15	Clifford Wolf	Progress in Verific bindings	blob \| commitdiff \| raw \| diff to current
2014-03-14	Clifford Wolf	Progress in Verific bindings	blob \| commitdiff \| raw \| diff to current
2014-03-14	Clifford Wolf	Progress in Verific bindings	blob \| commitdiff \| raw \| diff to current
2014-03-13	Clifford Wolf	Progress in Verific bindings	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-10	Clifford Wolf	Improved verific command (added support for some operators)	blob \| commitdiff \| raw \| diff to current
2014-03-10	Clifford Wolf	Improvements in verific command	blob \| commitdiff \| raw \| diff to current
2014-03-09	Clifford Wolf	Added "verific" command	blob \| commitdiff \| raw \| diff to current

RSS Atom