Update README.md

837c9df9 · Griffin, Matt J Dr (PG/R - Comp Sci & Elec Eng) · 46bdf1d4 · 837c9df9
Commit 837c9df9 authored 2 years ago by Griffin, Matt J Dr (PG/R - Comp Sci & Elec Eng)
--- a/README.md
+++ b/README.md
@@ -16,6 +16,7 @@ spectre-db/
 │     └─ [vulnerability-alias]/
 │        ├─ README.md
 │        ├─ [vulnerability].c
+│        ├─ [toy-semantics].thy
 │        └─ [architecture-triplet]/
 │           └─ [compiler]/
 |              ├─ README.md