G/C heapster's attic (heapster-saw/src/Verifier/SAW/Heapster/archival)

As proposed in #1621, have crosschecked with stakeholders. All this stuff will still be in the git history if anyone wants to look at it again.
GaloisInc · Nov 5, 2024 · 8d860d6 · 8d860d6
1 parent 0f9b632
commit 8d860d6
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