Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Jan 2, 2026

• Formalize Authoritative RA from SCION in terms of RA from the gobra-libs (#411)

  Show description for fdec91c
  jcp19

  authored
  fdec91c

  Copy full SHA for fdec91c

Commits on Dec 17, 2025

• Delete old CI file; adapt to the latest version of gobra (#410)

  Show description for dfbb562
  jcp19

  authored
  dfbb562

  Copy full SHA for dfbb562

Commits on Sep 27, 2025

• Minor fix in the spec hash.gobra (#408)

  jcp19

  authored
  ade898f

  Copy full SHA for ade898f

Commits on Aug 15, 2025

• remove unnecessary function (#406)

  jcp19

  authored
  fab87f7

  Copy full SHA for fab87f7

Commits on Jul 24, 2025

• Adapt spec according to PR 944 from Gobra (#405)

  Show description for b5bc28c
  jcp19

  authored
  b5bc28c

  Copy full SHA for b5bc28c

Commits on Jul 7, 2025

• Removed unnecessary precondition (#403)

  Show description for e32dd2e
  herzamos

  authored
  e32dd2e

  Copy full SHA for e32dd2e

Commits on Jul 6, 2025

• Fix contract of `net.isZeros` (#402)

  Show description for daf9c1d
  henriman

  authored
  daf9c1d

  Copy full SHA for daf9c1d

Commits on Jun 27, 2025

• fix more problems with char encoding

  jcp19

  committed
  d79508f

  Copy full SHA for d79508f

• change headers that are causing parsing issues

  jcp19

  committed
  8a3ca1a

  Copy full SHA for 8a3ca1a

Commits on May 12, 2025

• Improve naming scheme for types that come from the Isabelle formalization (#400)

  Show description for b39825f
  jcp19

  authored
  b39825f

  Copy full SHA for b39825f

Commits on May 9, 2025

• Specify package-level invariants (#380)

  Show description for 2227494
  jcp19

  authored
  2227494

  Copy full SHA for 2227494

Commits on Feb 21, 2025

• Use ghost struct types (#398)

  Show description for 74d17fd
  jcp19

  authored
  74d17fd

  Copy full SHA for 74d17fd

Commits on Feb 4, 2025

• Disable wildcard optimization in the CI (#397)

  jcp19

  authored
  a6638e1

  Copy full SHA for a6638e1

Commits on Feb 3, 2025

• Drop specific permission amounts in pure functions's preconditions (#387)

  Show description for 946fe03
  jcp19

  authored
  946fe03

  Copy full SHA for 946fe03

• Disable chopper and parallelizeBranches in the CI (#396)

  jcp19

  authored
  efc749f

  Copy full SHA for efc749f

Commits on Feb 2, 2025

• Reenable chopper (#379)

  Show description for 3b903bf
  jcp19

  authored
  3b903bf

  Copy full SHA for 3b903bf

Commits on Jan 21, 2025

• correct aes NewCipher spec (BlockSize) (#393)

  Show description for 76a8578
  

  aaronbojarski

  and

  aaronbojarski

  authored
  76a8578

  Copy full SHA for 76a8578

Commits on Jan 17, 2025

• Fix error with dafny action (#392)

  jcp19

  authored
  ca49265

  Copy full SHA for ca49265

• drop unnecessary param in IsValidResultOfDecoding (#391)

  jcp19

  authored
  8e837e4

  Copy full SHA for 8e837e4

Commits on Jan 7, 2025

• Revert "simplify post of SCION.SerializeTo"

  Show description for 84ea83b
  jcp19

  committed
  84ea83b

  Copy full SHA for 84ea83b

• simplify post of SCION.SerializeTo

  jcp19

  committed
  2fcf7b2

  Copy full SHA for 2fcf7b2

Commits on Dec 19, 2024

• New assertion in `Run()` to resolve verification error (#388)

  Show description for 0fc3d49
  

  mlimbeck

  and

  jcp19

  authored
  0fc3d49

  Copy full SHA for 0fc3d49

Commits on Sep 16, 2024

• add missing 'ghost' (#377)

  jcp19

  authored
  2aebfb2

  Copy full SHA for 2aebfb2

• Verify `fmtAS` (#378)

  Show description for b1055a9
  jcp19

  authored
  b1055a9

  Copy full SHA for b1055a9

Commits on Sep 11, 2024

• Fix failing CI due to outdated upload action (#376)

  jcp19

  authored
  12552e8

  Copy full SHA for 12552e8

Commits on Aug 29, 2024

• Verify `packSCMP` (#243)

  Show description for 68b984b
  

  jcp19

  and

  mlimbeck

  authored
  68b984b

  Copy full SHA for 68b984b

Commits on Aug 27, 2024

• Stabilize `path/scion` (#370)

  Show description for 445bbad
  

  jcp19

  and

  mlimbeck

  authored
  445bbad

  Copy full SHA for 445bbad

Commits on Aug 16, 2024

• Proof of SetHopField (#361)

  Show description for 97c98ff
  

  mlimbeck

  and

  jcp19

  authored
  97c98ff

  Copy full SHA for 97c98ff

Commits on Jul 26, 2024

• Update README.md

  jcp19

  authored
  76b0661

  Copy full SHA for 76b0661

Commits on Jul 25, 2024

• make `hf_valid` opaque (#372)

  Show description for 70bd6bd
  jcp19

  authored
  70bd6bd

  Copy full SHA for 70bd6bd

Commits on Jul 23, 2024

• Drop IO-assumptions in processOHP (#369)

  Show description for 3a6f9f4
  mlimbeck

  authored
  3a6f9f4

  Copy full SHA for 3a6f9f4

Commits on Jul 15, 2024

• Drop SetHopfield related assumptions (#368)

  Show description for 2d69d42
  mlimbeck

  authored
  2d69d42

  Copy full SHA for 2d69d42

Commits on Jul 11, 2024

• Drop two assumptions and merge validity criteria `StronglyValid` and `FullyValid` (#366)

  Show description for 01387ec
  jcp19

  authored
  01387ec

  Copy full SHA for 01387ec

Commits on Jul 1, 2024

• proof of IsSupportedPkt (#363)

  mlimbeck

  authored
  1a4feed

  Copy full SHA for 1a4feed

Commits on Jun 17, 2024

• Simplify validity criteria of paths (#352)

  Show description for def1aad
  jcp19

  authored
  def1aad

  Copy full SHA for def1aad