Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Dec 22, 2025

• nonlinear patterns

  Show description for 6d5f0d4
  digama0

  committed
  6d5f0d4

  Copy full SHA for 6d5f0d4

• validate predefs

  digama0

  committed
  3ae8bf2

  Copy full SHA for 3ae8bf2

Commits on Dec 21, 2025

• restore ok_exit

  digama0

  committed
  3572121

  Copy full SHA for 3572121

Commits on Dec 20, 2025

• compiler proof work: incremental initialization

  digama0

  committed
  03262df

  Copy full SHA for 03262df

Commits on Dec 17, 2025

• partial revert "don't upload on cache hit"

  digama0

  committed
  d0b5ce8

  Copy full SHA for d0b5ce8

• don't upload on cache hit

  digama0

  committed
  dc5b0e9

  Copy full SHA for dc5b0e9

• first tests for (mm0 parser, mmu parser, mm0+mmu proof checker) (#79)

  Show description for d3d680d
  

  3 peopleauthored
  d3d680d

  Copy full SHA for d3d680d

Commits on Dec 16, 2025

• use test_each_file to generate tests

  digama0

  committed
  a4249b7

  Copy full SHA for a4249b7

Commits on Dec 8, 2025

• fix #172

  digama0

  committed
  76d92b7

  Copy full SHA for 76d92b7

Commits on Dec 3, 2025

• fix #171

  digama0

  committed
  8430c18

  Copy full SHA for 8430c18

• Permissions + typos (#157)

  Show description for a5f7c68
  Sylvain78

  authored
  a5f7c68

  Copy full SHA for a5f7c68

Commits on Dec 2, 2025

• Bump on-headers and compression in /m0e (#163)

  Show description for a27ce11
  dependabot[bot]

  authored
  a27ce11

  Copy full SHA for a27ce11

• Bump tmp from 0.2.1 to 0.2.5 in /vscode-mm0 (#160)

  Show description for 9303372
  dependabot[bot]

  authored
  9303372

  Copy full SHA for 9303372

• Bump brace-expansion from 1.1.11 to 1.1.12 in /vscode-mm0 (#161)

  Show description for c0ababc
  dependabot[bot]

  authored
  c0ababc

  Copy full SHA for c0ababc

• Bump js-yaml from 3.14.1 to 3.14.2 in /vscode-mm0 (#164)

  Show description for 7a676b4
  dependabot[bot]

  authored
  7a676b4

  Copy full SHA for 7a676b4

• Bump http-proxy-middleware from 2.0.3 to 2.0.9 in /m0e (#165)

  Show description for a8fcf41
  dependabot[bot]

  authored
  a8fcf41

  Copy full SHA for a8fcf41

• Bump braces from 3.0.2 to 3.0.3 in /m0e (#170)

  Show description for f0c5e92
  dependabot[bot]

  authored
  f0c5e92

  Copy full SHA for f0c5e92

• clippy level up

  digama0

  committed
  1d00761

  Copy full SHA for 1d00761

• Bump webpack from 5.76.0 to 5.103.0 in /m0e (#169)

  Show description for 38696fa
  dependabot[bot]

  authored
  38696fa

  Copy full SHA for 38696fa

• Bump tar-fs from 2.1.1 to 2.1.4 in /vscode-mm0 (#162)

  Show description for ca97656
  dependabot[bot]

  authored
  ca97656

  Copy full SHA for ca97656

• Bump webpack-dev-server from 4.7.4 to 5.2.1 in /m0e (#167)

  Show description for 360236a
  dependabot[bot]

  authored
  360236a

  Copy full SHA for 360236a

• Bump node-forge from 1.3.0 to 1.3.2 in /m0e (#158)

  Show description for 7b08cd8
  dependabot[bot]

  authored
  7b08cd8

  Copy full SHA for 7b08cd8

Commits on Aug 8, 2025

• clippy

  digama0

  committed
  f14ec60

  Copy full SHA for f14ec60

• tweak URL parsing

  digama0

  committed
  e93a77a

  Copy full SHA for e93a77a

• tweak URL conversion

  digama0

  committed
  b2d5e08

  Copy full SHA for b2d5e08

Commits on Aug 6, 2025

• clippy level up

  digama0

  committed
  93423a3

  Copy full SHA for 93423a3

• disable block proofs

  digama0

  committed
  1d546b8

  Copy full SHA for 1d546b8

• AVL tree fixes

  digama0

  committed
  99f06e1

  Copy full SHA for 99f06e1

• eliminate reg-reg moves before regalloc

  digama0

  committed
  6fdb5d9

  Copy full SHA for 6fdb5d9

Commits on Jul 1, 2025

• Add set.mm1 (#150)

  Show description for 15d9e18
  GinoGiotto

  authored
  15d9e18

  Copy full SHA for 15d9e18

Commits on Jun 30, 2025

• Update precedence in set.mm0 (#149)

  Show description for e70adb8
  GinoGiotto

  authored
  e70adb8

  Copy full SHA for e70adb8

Commits on May 20, 2025

• use eqNd theorems in eqtac and add-eqd-thm

  digama0

  committed
  ec331c3

  Copy full SHA for ec331c3

• clippy level up

  digama0

  committed
  3efddf3

  Copy full SHA for 3efddf3

• fix terminates_ensuring

  Show description for e07a825
  digama0

  committed
  e07a825

  Copy full SHA for e07a825

Commits on May 19, 2025

• finite nondeterminism theorem

  digama0

  committed
  0874ed4

  Copy full SHA for 0874ed4