Skip to content

POPL26 artifact evaluation#23

Merged
mtoohey31 merged 10 commits intomainfrom
popl26-artifact-evaluation
Oct 13, 2025
Merged

POPL26 artifact evaluation#23
mtoohey31 merged 10 commits intomainfrom
popl26-artifact-evaluation

Conversation

@mtoohey31
Copy link
Owner

@mtoohey31 mtoohey31 commented Oct 6, 2025

TODO:

  • Add license file?
  • VM
  • README
    • List of claims
    • VM download link
    • Update list of claims to correspond to updated paper section about target equivalence

@mtoohey31 mtoohey31 merged commit 2427954 into main Oct 13, 2025
1 check passed
@mtoohey31 mtoohey31 deleted the popl26-artifact-evaluation branch October 13, 2025 22:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant