Code

Extend hax driver for ProVerif#93

Code

Closed

jschneider-bensch wants to merge 3 commits intomaincryspen/bertie:mainfrom jonas/hax-driver-proverifcryspen/bertie:jonas/hax-driver-proverifCopy head branch name to clipboard

+25-2

Commits

Commits on Feb 8, 2024

• Add extraction subcommand for ProVerif

  jschneider-bensch

  committed
  4c40651

  Copy full SHA for 4c40651

• Add "typecheck" command for ProVerif

  jschneider-bensch

  committed
  895bfab

  Copy full SHA for 895bfab

Commits on Mar 5, 2024

• Merge branch 'main' into jonas/hax-driver-proverif

  jschneider-bensch

  committed
  61ccb69

  Copy full SHA for 61ccb69