7 Commits

Include renames

Author	SHA1	Message	Date
eyck	142654b0a2	Streamline arch descriptions according to latest CoreDSL changes	2018-04-24 17:18:24 +02:00
eyck	65ceedd157	Updated compressed instructions for RV32D	2018-04-24 15:48:42 +02:00
eyck	ce98e2ad31	Added RV32D extension	2018-04-24 15:33:21 +02:00
eyck	48ad30dcae	Added RV32F extension, fixed RV32M bugs	2018-04-24 11:05:11 +02:00
eyck	7c2539bff0	C++11 refactoring	2018-02-06 18:26:55 +00:00
eyck	f1667c195a	Initial RV64I verification	2017-11-23 14:48:18 +01:00
eyck	9a617dab57	Restructured project	2017-09-21 20:29:23 +02:00