|
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 |
|