Commit graph

10 commits

Author SHA1 Message Date
6d09e50327
Merge remote-tracking branch 'iteasyndikat/batman_merge' into waschtl
Manual merge

Signed-off-by: Tyrolyean <tyrolyean@tyrolyean.net>
2020-03-30 23:51:15 +02:00
637573fd43
Update core diagram 2020-03-30 23:38:10 +02:00
1eaddf7d3d
Rework heading hierarchy 2020-03-30 15:20:53 +02:00
8569677921
Merge remote-tracking branch 'iteasyndikat/batman_merge' into waschtl
Automerge of preample failed. Manually merged

Signed-off-by: Tyrolyean <tyrolyean@tyrolyean.net>
2020-03-30 14:50:13 +02:00
ffb1fe4060
Add citations for GitLab CI and RISC-V spec 2020-03-29 21:58:14 +02:00
3b65229eae
Add information about formal verification 2020-03-29 19:03:49 +02:00
ac3b8e9d04
Merge remote-tracking branch 'iteasyndikat/batman_merge' into waschtl 2020-03-28 16:48:08 +01:00
dc77d4bf61
Add labels and captions to listings 2020-03-27 14:20:22 +01:00
8492d24c27
Release batman-2020-03-27 2020-03-27 12:52:42 +01:00
ed378c0917
Merge batman content 2020-03-23 14:02:38 +01:00