Commits

Branch selector

 main

User selector

ymherklotz

Datepicker

All time

Commit History

Commits on Nov 5, 2025

• Remove SplitElimCorrect to fix build

  ymherklotz

  committed
  81cd8fa

  Copy full SHA for 81cd8fa

Commits on Oct 29, 2025

• Add JoinSplitElim proof template

  ymherklotz

  committed
  f51233a

  Copy full SHA for f51233a

• Make build unbroken

  ymherklotz

  committed
  8aee4f9

  Copy full SHA for 8aee4f9

Commits on Oct 28, 2025

• Add inductive phi definition to JoinRewrite

  ymherklotz

  committed
  ebcc9d2

  Copy full SHA for ebcc9d2

Commits on Oct 23, 2025

• Update to lean v4.25.0-rc2

  ymherklotz

  committed
  ce046e3

  Copy full SHA for ce046e3

Commits on Sep 25, 2025

• Work around `default` not being unfolded anymore

  ymherklotz

  committed
  b0ecfaf

  Copy full SHA for b0ecfaf

Commits on Sep 23, 2025

• Lean: update to v4.24.0-rc1

  ymherklotz

  committed
  bcb1a89

  Copy full SHA for bcb1a89

• Deprecated duplicate theorem

  Show description for b218ef6
  ymherklotz

  committed
  b218ef6

  Copy full SHA for b218ef6

• Add ports to traces

  ymherklotz

  committed
  9d37929

  Copy full SHA for 9d37929

Commits on Sep 18, 2025

• Add Liveness directory

  ymherklotz

  committed
  49bbc1a

  Copy full SHA for 49bbc1a

Commits on Sep 2, 2025

• Fix the workflow to use the makefile

  ymherklotz

  committed
  f95468b

  Copy full SHA for f95468b

• Remove outdated definitions for RBMap

  ymherklotz

  committed
  5e8b829

  Copy full SHA for 5e8b829

• Update lean to rc version and remove mathlib nightly update check

  ymherklotz

  committed
  4a11641

  Copy full SHA for 4a11641

Commits on Aug 4, 2025

• Add well-formedness of the environment w.r.t. components

  ymherklotz

  committed
  2c4deb5

  Copy full SHA for 2c4deb5

• Refactor ExprLow and ExprHigh to make types more flexible

  ymherklotz

  committed
  a1454e1

  Copy full SHA for a1454e1

• Add WellTyped proposition

  ymherklotz

  committed
  f535287

  Copy full SHA for f535287

• Update .gitignore

  ymherklotz

  committed
  6250647

  Copy full SHA for 6250647

Commits on Aug 1, 2025

• 2025-08-01 lean nightly update (#24)

  Show description for b8aa848
  ymherklotz

  authored
  b8aa848

  Copy full SHA for b8aa848

• [create-pull-request] automated change

  

  ymherklotz

  authored and

  github-actions[bot]

  committed
  e0a0827

  Copy full SHA for e0a0827

Commits on Jul 31, 2025

• Fix tests with new TypeExpr parser

  ymherklotz

  committed
  2d5745f

  Copy full SHA for 2d5745f

• Add printer for bluespec types

  ymherklotz

  committed
  22cd1c8

  Copy full SHA for 22cd1c8

• Simplify dependencies

  ymherklotz

  committed
  0f94456

  Copy full SHA for 0f94456

• Add bluespec dot

  ymherklotz

  committed
  19c6309

  Copy full SHA for 19c6309

Commits on Jul 30, 2025

• Update todos

  ymherklotz

  committed
  84f2b5d

  Copy full SHA for 84f2b5d

• Minimal changes to proof

  ymherklotz

  committed
  71a8940

  Copy full SHA for 71a8940

Commits on Jul 29, 2025

• Add guard_msgs command for loop rewrite

  ymherklotz

  committed
  ff9530b

  Copy full SHA for ff9530b

• Finish Loop proof without axioms

  ymherklotz

  committed
  788c85c

  Copy full SHA for 788c85c

• state_relation_preserved without sorry

  ymherklotz

  committed
  11b4b7e

  Copy full SHA for 11b4b7e

• Prove flushing spec correct

  ymherklotz

  committed
  f916d04

  Copy full SHA for f916d04

• Update todos

  ymherklotz

  committed
  aa04346

  Copy full SHA for aa04346

• Finish initial state proofs

  ymherklotz

  committed
  c398237

  Copy full SHA for c398237

• Add faster higher function

  ymherklotz

  committed
  1fc0f34

  Copy full SHA for 1fc0f34

Commits on Jul 27, 2025

• Remove --slow flag and replace by --fast flag

  ymherklotz

  committed
  a78357e

  Copy full SHA for a78357e

• Add gsum_many to rewrites

  ymherklotz

  committed
  372fced

  Copy full SHA for 372fced

• Add markdown file describing conversion

  ymherklotz

  committed
  4a4ea2a

  Copy full SHA for 4a4ea2a

Pagination

Previous

Next