Code

Add WIP simple Leios spec#12

Code

Merged

bwbush merged 5 commits intomaininput-output-hk/ouroboros-leios:mainfrom formal-specinput-output-hk/ouroboros-leios:formal-specCopy head branch name to clipboardSep 20, 2024

+1,047-63

Commits

Commits on Aug 29, 2024

• Add WIP simple Leios spec

  WhatisRT

  committed
  46a95bf

Commits on Sep 16, 2024

• Added formal spec to Nix shell and CI (#13)

  Show description for 30e43b3
  bwbush

  authored
  30e43b3

Commits on Sep 18, 2024

• Add some variables

  WhatisRT

  committed
  587cdde

Commits on Sep 19, 2024

• Minor cleanup

  WhatisRT

  committed
  eab2c7d

Commits on Sep 20, 2024

• Merge branch 'main' into formal-spec

  bwbush

  authored
  589e273