Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Mar 18, 2026

• Fall back to Apalache v0.52.2 if latest download fails

  Show description for ec17f2a
  lemmy

  committed
  ec17f2a

  Copy full SHA for ec17f2a

Commits on Mar 2, 2026

• DieHardest: compare jug configurations via self-composition

  Show description for db122e3
  lemmy

  committed
  db122e3

  Copy full SHA for db122e3

Commits on Jan 15, 2026

• Add community modules path argument to proof checking script

  Show description for dc25f34
  

  lemmy

  and

  Claude Sonnet 4.5

  committed
  dc25f34

  Copy full SHA for dc25f34

Commits on Dec 15, 2025

• CI: check all proofs without time limit (#191)

  Show description for c2641e6
  ahelwer

  authored
  c2641e6

  Copy full SHA for c2641e6

Commits on Nov 10, 2025

• CI: remove community modules details from manifest

  Show description for 0e018bc
  ahelwer

  committed
  0e018bc

  Copy full SHA for 0e018bc

Commits on Sep 10, 2025

• Replace Functions and FunctionTheorems with Fork variants

  Show description for 9ece37b
  lemmy

  committed
  9ece37b

  Copy full SHA for 9ece37b

Commits on Aug 22, 2025

• Manifest: added proof runtimes

  Show description for a3ecae1
  ahelwer

  committed
  a3ecae1

  Copy full SHA for a3ecae1

Commits on Aug 20, 2025

• Manifest: removed model size field in favor of runtime

  Show description for 3c0c83b
  ahelwer

  committed
  3c0c83b

  Copy full SHA for 3c0c83b

Commits on Aug 9, 2025

• Manifest: remove path, title, and description fields

  Show description for cad798e
  ahelwer

  committed
  cad798e

  Copy full SHA for cad798e

Commits on Aug 8, 2025

• Added barrier and peterson's algorithm specs to CI

  Show description for 18c5810
  ahelwer

  committed
  18c5810

  Copy full SHA for 18c5810

Commits on Aug 7, 2025

• Removed model (.cfg) file features from manifests (#182)

  Show description for 4414f33
  ahelwer

  authored
  4414f33

  Copy full SHA for 4414f33

Commits on Aug 1, 2025

• CI: Use TLAUC --skip numsets instead of unicode_number_set_shim.py

  Show description for 0b69aea
  ahelwer

  committed
  0b69aea

  Copy full SHA for 0b69aea

• Load manifests from outside examples repo

  Show description for a61fab6
  ahelwer

  committed
  a61fab6

  Copy full SHA for a61fab6

• Documentation now reflects split manifest.json

  Show description for c19a200
  ahelwer

  committed
  c19a200

  Copy full SHA for c19a200

• Manifest generation and state space recording scripts now use split manifests

  Show description for 4021e86
  ahelwer

  committed
  4021e86

  Copy full SHA for 4021e86

• Changed all scripts and CI to use split manifest

  Show description for d5af150
  ahelwer

  committed
  d5af150

  Copy full SHA for d5af150

• JSON schema and validation script now check split manifest

  Show description for f4f8613
  ahelwer

  committed
  f4f8613

  Copy full SHA for f4f8613

• Updated generate_manifest.py to separate manifest

  Show description for 409a725
  ahelwer

  committed
  409a725

  Copy full SHA for 409a725

Commits on Jul 14, 2025

• Fix proofs (#175)

  Show description for ab9a2c3
  

  5 peopleauthored
  ab9a2c3

  Copy full SHA for ab9a2c3

Commits on Jul 1, 2025

• CI: Fix state count validation regex

  Show description for 04c1992
  ahelwer

  committed
  04c1992

  Copy full SHA for 04c1992

Commits on Jun 30, 2025

• upload-artifact@v3 has been deemed too old.

  Show description for 1408f6c
  lemmy

  authored
  1408f6c

  Copy full SHA for 1408f6c

Commits on May 21, 2025

• Moved submodule spec to .ciignore for reproducibility

  Show description for 710f088
  ahelwer

  committed
  710f088

  Copy full SHA for 710f088

• Clone submodules for automation to be happy.

  lemmy

  committed
  7fdbe6a

  Copy full SHA for 7fdbe6a

Commits on Feb 28, 2025

• CI: smoke-test state space script

  Show description for 565eee9
  ahelwer

  committed
  565eee9

  Copy full SHA for 565eee9

• Docs: added CONTRIBUTING.md and DEVELOPING.md

  Show description for 8c5d3fb
  ahelwer

  committed
  8c5d3fb

  Copy full SHA for 8c5d3fb

• Fixed (and simplified) proof in byzpaxos/Consensus.tla (#163)

  Show description for ddef39b
  muenchnerkindl

  authored
  ddef39b

  Copy full SHA for ddef39b

Commits on Feb 27, 2025

• CI: terminate outdated CI runs

  Show description for e2fdd9c
  ahelwer

  committed
  e2fdd9c

  Copy full SHA for e2fdd9c

• Fixed proof in TeachingConcurrency/SimpleRegular.tla (#162)

  Show description for e75b5b6
  muenchnerkindl

  authored
  e75b5b6

  Copy full SHA for e75b5b6

• Added --enable_assertions to pcal translate script

  Show description for 04b80a1
  ahelwer

  committed
  04b80a1

  Copy full SHA for 04b80a1

• Check proofs with TLAPM pre-release.

  Show description for 3428533
  

  lemmy

  authored and

  ahelwer

  committed
  3428533

  Copy full SHA for 3428533

Commits on Feb 17, 2025

• Don't use JVM assertions by default in scripts

  Show description for 3dfe008
  ahelwer

  committed
  3dfe008

  Copy full SHA for 3dfe008

Commits on Feb 13, 2025

• Added action composition feature flag

  Show description for cfb8a57
  ahelwer

  committed
  cfb8a57

  Copy full SHA for cfb8a57

• Fixed bug in manifest/filesystem concordance validation

  Show description for 13817f2
  ahelwer

  committed
  13817f2

  Copy full SHA for 13817f2

Commits on Jul 18, 2024

• Use macOS runner, minor script debug output fixes (#149)

  Show description for ed139f2
  ahelwer

  authored
  ed139f2

  Copy full SHA for ed139f2

Commits on Jul 17, 2024

• manual.yml offers a simple way to run TLC on the specs in run.sh.

  Show description for 8cef3cf
  lemmy

  committed
  8cef3cf

  Copy full SHA for 8cef3cf