408 commits

Author	SHA1	Message	Date
Clifford Wolf	e37d672ae7	Progress in Verific bindings	2014-03-14 16:40:25 +01:00
Clifford Wolf	0ac915a757	Progress in Verific bindings	2014-03-14 11:46:13 +01:00
Clifford Wolf	9a1accf692	Progress in Verific bindings	2014-03-13 18:21:00 +01:00
Clifford Wolf	6a53bc7b27	Copy Verific vdbs files to Yosys "share" data directory	2014-03-13 17:34:31 +01:00
Clifford Wolf	7a1ac11203	Added test_navre.ys for verific frontend	2014-03-13 13:12:06 +01:00
Clifford Wolf	5a15539c9b	Improved verific command (added support for some operators)	2014-03-10 12:06:57 +01:00
Clifford Wolf	c71791a1ff	Improvements in verific command	2014-03-10 03:03:08 +01:00
Clifford Wolf	8d06f9f2fe	Added "verific" command	2014-03-09 20:40:04 +01:00