chore: Test a fix for ELFSage's stack overflow [DONTMERGE]

leanprover / LNSym

Armv8 Native Code Symbolic Simulator in Lean

Apache License 2.0

62 stars 18 forks source link

chore: Test a fix for ELFSage's stack overflow [DONTMERGE] #62

Closed bollu closed 2 months ago

bollu commented 3 months ago

chore: use version of elfsage with PR to test build success

We test with https://github.com/draperlaboratory/ELFSage/pull/11
to check that our CI passes, in contrast to https://github.com/leanprover/LNSym/pull/59 which fails.

bollu commented 2 months ago

@shigoel since https://github.com/draperlaboratory/ELFSage/pull/11 was merged, you should be able to bump https://github.com/leanprover/LNSym/pull/59 with the new version of ELFSage!