Clifford Wolf 0bc95f1e04 Added "yosys -D" feature		2016-04-21 23:28:37 +02:00
..
build_amd64.txt	Updated verific build instructions	2016-02-02 19:50:17 +01:00
Makefile.inc
test_navre.ys
verific.cc	Added "yosys -D" feature	2016-04-21 23:28:37 +02:00