Code

Added formal spec to Nix shell and CI#13

Code

Merged

bwbush merged 6 commits intoformal-specinput-output-hk/ouroboros-leios:formal-specfrom bwbush/formal-specinput-output-hk/ouroboros-leios:bwbush/formal-specCopy head branch name to clipboardSep 16, 2024

+298-64

Commits

Commits on Aug 30, 2024

• Added agda and dependencies to Nix developement shell.

  bwbush

  committed
  2ce38e3

  Copy full SHA for 2ce38e3

• Added Nix derivation for Leios spec.

  bwbush

  committed
  e995c46

  Copy full SHA for e995c46

• Added typechecking of Leios spec to CI.

  bwbush

  committed
  9f8769b

  Copy full SHA for 9f8769b

• Updated logbook.

  bwbush

  committed
  c6a97ec

  Copy full SHA for c6a97ec

Commits on Sep 16, 2024

• Added caching of nix store, fixes #14.

  bwbush

  committed
  056940d

  Copy full SHA for 056940d

• Separated nix caches.

  bwbush

  committed
  3602469

  Copy full SHA for 3602469