Code

Introduce versioning for proofs#321

Code

Closed

jan-ferdinand wants to merge 2 commits intomasterTritonVM/triton-vm:masterfrom proof_versionsTritonVM/triton-vm:proof_versionsCopy head branch name to clipboard

+669-611

Commits

Commits on Aug 20, 2024

• refactor!: Introduce versioning for proofs

  Show description for ae8d357
  jan-ferdinand

  committed
  ae8d357

Commits on Aug 21, 2024

• feat!: Add version to Programs

  jan-ferdinand

  committed
  6e46844