diff options
| author | Raito Bezarius | 2024-04-17 15:08:07 +0200 |
|---|---|---|
| committer | Raito Bezarius | 2024-04-17 15:08:07 +0200 |
| commit | 945c630ec18e282bd0db731fb3f0b521e99de059 (patch) | |
| tree | 5eefbf30b7a41612d61a5fe26223a59398af4fa2 /lake-manifest.json | |
| parent | 117cd1c0afbc50ffc5a90473cb4c01185188711e (diff) | |
feat: add functional correctness of elements contained in the resulting tree
We revamp the typeclass mechanisms and we add an equality hypothesis
now.
Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
Diffstat (limited to 'lake-manifest.json')
| -rw-r--r-- | lake-manifest.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lake-manifest.json b/lake-manifest.json index 3e20e73..3c33932 100644 --- a/lake-manifest.json +++ b/lake-manifest.json @@ -67,7 +67,7 @@ {"url": "https://github.com/AeneasVerif/aeneas", "type": "git", "subDir": "backends/lean", - "rev": "03a175b423c9ccff2160300c4d349978f9b1aeb9", + "rev": "23da71768c03d955c916635bfc5c9d5806a80187", "name": "base", "manifestFile": "lake-manifest.json", "inputRev": "main", |