Philipp Wagner ab1e6d4dc6 Fix PRJ_DIR in DV Makefile ... PRJ_DIR is presumably meant to point to the root of the git repository; instead, it was pointing one directory higher up in the hierarchy. This worked as long as the repository was checked out into a directory called "ibex" -- but not otherwise, as in CI.		2020-08-20 19:13:22 +01:00
..
cs_registers	Add a single RV32M enum parameter to select multiplier implementation	2020-08-20 11:50:08 +02:00
riscv_compliance	Add a single RV32M enum parameter to select multiplier implementation	2020-08-20 11:50:08 +02:00
uvm	Fix PRJ_DIR in DV Makefile	2020-08-20 19:13:22 +01:00
verilator/pcount	Spelling fix: seperate -> separate	2020-06-05 11:37:37 +01:00