Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on May 25, 2026

• CI: filter on max proof time in manifests (#213)

  Show description for 47b0e2c
  ahelwer

  authored
  47b0e2c

  Copy full SHA for 47b0e2c

Commits on Apr 25, 2026

• CI: skip Apalache checks on Unicode specs

  Show description for 38f89e1
  lemmy

  committed
  38f89e1

  Copy full SHA for 38f89e1

• CI: Default Apalache --length=5 for all examples

  Show description for aca8dca
  lemmy

  committed
  aca8dca

  Copy full SHA for aca8dca

• CI: invoke Apalache via apalache-mc.bat (and cmd.exe) on Windows

  Show description for f1aaf96
  lemmy

  committed
  f1aaf96

  Copy full SHA for f1aaf96

Commits on Apr 22, 2026

• Fix variable name in markdown table check script.

  Show description for d9ce4db
  lemmy

  committed
  d9ce4db

  Copy full SHA for d9ce4db

Commits on Apr 20, 2026

• CI: check proofs using find | jq | xargs bash pipeline (#205)

  Show description for 08f63a1
  ahelwer

  authored
  08f63a1

  Copy full SHA for 08f63a1

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 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

Commits on Feb 27, 2025

• 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 16, 2024

• Enable TLC's Java Assertions

  Show description for 590b0da
  lemmy

  authored
  590b0da

  Copy full SHA for 590b0da