Merge pull request #2142 from GaloisInc/1621-collect-heapster-attic

G/C heapster's attic
GaloisInc · Nov 8, 2024 · 0f5e80a · 0f5e80a
2 parents 0f9b632 + 8d860d6
commit 0f5e80a
Show file tree

Hide file tree

Showing 13 changed files with 0 additions and 6,320 deletions.
diff --git a/heapster-saw/src/Verifier/SAW/Heapster/archival/CrucibleTranslation.hs b/heapster-saw/src/Verifier/SAW/Heapster/archival/CrucibleTranslation.hs