Made compatible with new s-expr format for annotations

alegnani / pancake-verifier

1 stars 0 forks source link

Made compatible with new s-expr format for annotations #15

Closed alegnani closed 3 weeks ago

alegnani commented 3 weeks ago

now runs with cake version:

Wed Sep 25 20:35:51 2024 UTC

CakeML: 49f0d44be26ff907ef52240f3818a4c3caa10598
HOL4:   72a01e7935ee7175f22527332d54ac58085668ed
PolyML: Poly/ML 5.9 Release    RTS version: X86_64-5.