summaryrefslogtreecommitdiff
path: root/charon-pin
blob: b327ce94b8288428a0ead7832290909bc25087c8 (plain)
1
2
# This is the commit from https://github.com/AeneasVerif/charon that should be used with this version of aeneas.
f818fc0c4f380b0140be077308f354cfd89c2d7f