3 commits

Author	SHA1	Message	Date
Clifford Wolf	1488bc0c4f	Updated verific build/test instructions	2014-07-25 12:16:03 +02:00
Clifford Wolf	acda74c12c	Added support for memories to verific bindings	2014-03-16 17:05:05 +01:00
Clifford Wolf	7a1ac11203	Added test_navre.ys for verific frontend	2014-03-13 13:12:06 +01:00