Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on May 13, 2025

• update zerocopy

  digama0

  committed
  77a7c9f

  Copy full SHA for 77a7c9f

• update rustfmt

  digama0

  committed
  cc6fb0f

  Copy full SHA for cc6fb0f

• update regalloc2

  digama0

  committed
  a36edf5

  Copy full SHA for a36edf5

• update easy dependencies

  digama0

  committed
  edcfe9d

  Copy full SHA for edcfe9d

• rust edition migration

  digama0

  committed
  dcdb507

  Copy full SHA for dcdb507

• update lockfile

  digama0

  committed
  01c1040

  Copy full SHA for 01c1040

• clippy level up

  digama0

  committed
  7dd7a80

  Copy full SHA for 7dd7a80

• add length bound on execRead / execWrite

  digama0

  committed
  66a91b8

  Copy full SHA for 66a91b8

Commits on Apr 15, 2025

• Fix MU puzzle axiom catl (#147)

  Show description for 872a27e
  amackay

  authored
  872a27e

  Copy full SHA for 872a27e

Commits on Nov 25, 2024

• random acts of progress

  digama0

  committed
  799b102

  Copy full SHA for 799b102

Commits on Nov 24, 2024

• fix

  digama0

  committed
  47aaf9a

  Copy full SHA for 47aaf9a

• working on compiler definitions

  digama0

  committed
  a1bdfbb

  Copy full SHA for a1bdfbb

Commits on Nov 22, 2024

• add `on-decls` function to walk the environment

  digama0

  committed
  a3b2ce1

  Copy full SHA for a3b2ce1

• simplify CI steps

  digama0

  committed
  c68700f

  Copy full SHA for c68700f

• fix CI

  digama0

  committed
  a8d2679

  Copy full SHA for a8d2679

• fix

  digama0

  committed
  a26b4f1

  Copy full SHA for a26b4f1

• commit generated files

  Show description for 9f917e7
  digama0

  committed
  9f917e7

  Copy full SHA for 9f917e7

• mm0-lean: update to latest lean 3

  digama0

  committed
  605babc

  Copy full SHA for 605babc

Commits on Nov 21, 2024

• update and hlint haskell code

  digama0

  committed
  b7661da

  Copy full SHA for b7661da

• mark sorry definitions explicitly

  digama0

  committed
  cc3752f

  Copy full SHA for cc3752f

• update Cargo.lock

  digama0

  committed
  bb503d7

  Copy full SHA for bb503d7

• generate main correctness theorem

  digama0

  committed
  d589de4

  Copy full SHA for d589de4

Commits on Nov 20, 2024

• bugfix string output

  digama0

  committed
  8806d11

  Copy full SHA for 8806d11

Commits on Nov 19, 2024

• clippy level up

  digama0

  committed
  2823e7a

  Copy full SHA for 2823e7a

• update CI

  digama0

  committed
  c9f407a

  Copy full SHA for c9f407a

• fix package warnings

  digama0

  committed
  31a8c7e

  Copy full SHA for 31a8c7e

• mm0-c: saved terms should not count in dummy check

  digama0

  committed
  078182b

  Copy full SHA for 078182b

• fixes to hol.mm1

  digama0

  committed
  239f02d

  Copy full SHA for 239f02d

• bugfix

  digama0

  committed
  d90f4bb

  Copy full SHA for d90f4bb

• go to def for redeclarations

  digama0

  committed
  17c5ca2

  Copy full SHA for 17c5ca2

• fix hello_assembler.mm1

  digama0

  committed
  db5d46b

  Copy full SHA for db5d46b

• fix span handling

  digama0

  committed
  fbe6792

  Copy full SHA for fbe6792

Commits on Nov 18, 2024

• clippy level up

  digama0

  committed
  346aaca

  Copy full SHA for 346aaca

• remove generated files

  Show description for 01f3699
  digama0

  committed
  01f3699

  Copy full SHA for 01f3699

• improve error reporting in kernel verifier

  digama0

  committed
  4533736

  Copy full SHA for 4533736

Pagination

Previous

Next