4 commits

Author	SHA1	Message	Date
Xiretza	ffb1fe4060	Add citations for GitLab CI and RISC-V spec	2020-03-29 21:58:14 +02:00
Xiretza	3b65229eae	Add information about formal verification	2020-03-29 19:03:49 +02:00
Xiretza	dc77d4bf61	Add labels and captions to listings	2020-03-27 14:20:22 +01:00
Xiretza	ed378c0917	Merge batman content	2020-03-23 14:02:38 +01:00