mirror of https://github.com/seL4/l4v.git
2f6199408d
Pull in Simpl update from AFP-2023 and the associated license change to BSD-3-Clause. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems> |
||
|---|---|---|
| .. | ||
| dep5 | ||