Skip to content

Commit ab17167

Browse files
ailrstailrst
committed
update
1 parent a87f1ff commit ab17167

File tree

2 files changed

+217
-1
lines changed

2 files changed

+217
-1
lines changed

‎profile/README.md

+2-1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
## Project Summary
22

3-
- [bil-to-boogie-translator](https://github.com/UQ-PAC/bil-to-boogie-translator) The "BASIL" project: translating lifted Aarch64 binaries to boogie annotated weakest pre-condition and rely/guarantee for information flow.
3+
- [BASIL, formerly bil-to-boogie-translator](https://github.com/UQ-PAC/bil-to-boogie-translator) Translating lifted Aarch64 binaries to
4+
boogie annotated weakest pre-condition and rely/guarantee for information flow.
45

56
![BASIL project diagram](graph.svg)
67

‎profile/graph.svg

+215
Loading

0 commit comments

Comments
 (0)