Code

ProVerif protocol traits#395

Code

Merged

jschneider-bensch merged 14 commits intomaincryspen/hax:mainfrom jonas/protocol-traitscryspen/hax:jonas/protocol-traitsCopy head branch name to clipboardJan 3, 2024

+875-4

Commits

Commits on Dec 20, 2023

• Introduce helper library for Protocol traits

  jschneider-bensch

  committed
  9312e47

  Copy full SHA for 9312e47

• Macro helper crate for automatically implementing protocol traits

  jschneider-bensch

  committed
  d2e1e2c

  Copy full SHA for d2e1e2c

• ProVerif: Ping Pong example

  jschneider-bensch

  committed
  767b5bd

  Copy full SHA for 767b5bd

• Move ProVerif tests to subdirectory

  jschneider-bensch

  committed
  0d65ca5

  Copy full SHA for 0d65ca5

• Fix ProVerif test locations

  jschneider-bensch

  committed
  5e0f517

  Copy full SHA for 5e0f517

• Introduce hax-lib attribute macros to mark process components

  jschneider-bensch

  committed
  489e238

  Copy full SHA for 489e238

• Formatting

  jschneider-bensch

  committed
  f64697f

  Copy full SHA for f64697f

Commits on Jan 2, 2024

• Break long comment lines

  jschneider-bensch

  committed
  c5b82cb

  Copy full SHA for c5b82cb

• Fix sentence

  jschneider-bensch

  committed
  5f2c353

  Copy full SHA for 5f2c353

• Explain expected signature for hax_protocol::init macro

  jschneider-bensch

  committed
  6d881c9

  Copy full SHA for 6d881c9

• Document attribute argument Path requirement

  jschneider-bensch

  committed
  7a1feb9

  Copy full SHA for 7a1feb9

• Add documentation for protocol traits

  jschneider-bensch

  committed
  d896068

  Copy full SHA for d896068

• Missing newline

  jschneider-bensch

  committed
  b97baee

  Copy full SHA for b97baee

• More crate-level comments

  jschneider-bensch

  committed
  c66445d

  Copy full SHA for c66445d