Skip to content
Snippets Groups Projects
Commit abb5d75c authored by Griffin, Matt J Dr (PG/R - Comp Sci & Elec Eng)'s avatar Griffin, Matt J Dr (PG/R - Comp Sci & Elec Eng)
Browse files

Merge branch 'mg00634-main-patch-94136' into 'main'

Update README.md

See merge request !2
parents 46bdf1d4 837c9df9
No related branches found
No related tags found
1 merge request!2Update README.md
......@@ -16,6 +16,7 @@ spectre-db/
│ └─ [vulnerability-alias]/
│ ├─ README.md
│ ├─ [vulnerability].c
│ ├─ [toy-semantics].thy
│ └─ [architecture-triplet]/
│ └─ [compiler]/
| ├─ README.md
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment