Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

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 Feb 27, 2025

• Check proofs with TLAPM pre-release.

  Show description for 3428533
  

  lemmy

  authored and

  ahelwer

  committed
  3428533

  Copy full SHA for 3428533

Commits on Apr 20, 2024

• Add Apalache to CI (#141)

  Show description for 7c8ceab
  ahelwer

  authored
  7c8ceab

  Copy full SHA for 7c8ceab

Commits on Apr 19, 2024

• Upgrade to TLAUC 1.0.0 (#140)

  Show description for d05ce72
  ahelwer

  authored
  d05ce72

  Copy full SHA for d05ce72

Commits on Apr 18, 2024

• Use tree-sitter-tlaplus prebuilt python package (#139)

  Show description for 4f8aec2
  ahelwer

  authored
  4f8aec2

  Copy full SHA for 4f8aec2

Commits on Mar 30, 2024

• Add scripts to convert specs to unicode and insert number set shim (#130)

  Show description for 616639f
  ahelwer

  authored
  616639f

  Copy full SHA for 616639f

Commits on Feb 8, 2024

• Various updates to CI scripts (#118)

  Show description for 46bd732
  ahelwer

  authored
  46bd732

  Copy full SHA for 46bd732

Loading