FazBrowse GitHub Viewer | Trending | | Home

Tools: [Download Repo ZIP] [Original HTTPS Page]

History for .github/workflows - tlaplus/Examples · GitHub

Commits

History for

Commits on Aug 19, 2026

CI: model-check a sample of the Unicode specs

lemmy
and
claude
committed
e296c31
CI: check manifest metadata once, before the matrix

lemmy
and
claude
committed
f5d877b
CI: stop checking Unicode specs on macOS

lemmy
and
claude
committed
8d69edb

Commits on Aug 18, 2026

CI: fix the guard that skips Apalache on Unicode specs

lemmy
and
claude
committed
584dc24
CI: use JDK 21 for Apalache and JDK 17 for TLC

lemmy
and
claude
committed
815dbe1

Commits on Aug 6, 2026

Revert "CI: use JDK 25 for Apalache and JDK 17 for TLC"
lemmy
committed
8cc6a04

Commits on Aug 5, 2026

CI: use JDK 25 for Apalache and JDK 17 for TLC

lemmy
and
VoxlyAi-studios
committed
d2ee24d

Commits on Aug 4, 2026

CI: check proofs with --strict (#219)
vasilisnasopoulos
authored
352084b

Commits on May 25, 2026

CI: filter on max proof time in manifests (#213)
ahelwer
authored
47b0e2c

Commits on May 14, 2026

CI: record proof runtime (#206)
ahelwer
authored
32a32c7

Commits on Apr 25, 2026

CI: skip Apalache checks on Unicode specs
lemmy
committed
38f89e1

Commits on Apr 20, 2026

CI: check proofs using find | jq | xargs bash pipeline (#205)
ahelwer
authored
08f63a1

Commits on Jan 15, 2026

Add community modules path argument to proof checking script

lemmy
and
Claude Sonnet 4.5
committed
dc25f34

Commits on Aug 22, 2025

Manifest: added proof runtimes
ahelwer
committed
a3ecae1

Commits on Aug 1, 2025

Commits on Jul 14, 2025

Fix proofs (#175)

authored
ab9a2c3

Commits on Jun 30, 2025

upload-artifact@v3 has been deemed too old.
lemmy
authored
1408f6c

Commits on May 21, 2025

Moved submodule spec to .ciignore for reproducibility
ahelwer
committed
710f088
Clone submodules for automation to be happy.
lemmy
committed
7fdbe6a

Commits on Feb 28, 2025

CI: smoke-test state space script
ahelwer
committed
565eee9
Fixed (and simplified) proof in byzpaxos/Consensus.tla (#163)
muenchnerkindl
authored
ddef39b

Commits on Feb 27, 2025

CI: terminate outdated CI runs
ahelwer
committed
e2fdd9c
Fixed proof in TeachingConcurrency/SimpleRegular.tla (#162)
muenchnerkindl
authored
e75b5b6
Check proofs with TLAPM pre-release.

lemmy
authored and
ahelwer
committed
3428533

Commits on Jul 18, 2024

Use macOS runner, minor script debug output fixes (#149)
ahelwer
authored
ed139f2

Commits on Jul 17, 2024

manual.yml offers a simple way to run TLC on the specs in run.sh.
lemmy
committed
8cef3cf

Commits on Jul 16, 2024

Verbose output for TLC runs
lemmy
authored
77abae3

Commits on Jul 1, 2024

Discard PlusCal translations in CI (#146)
ahelwer
authored
d04f2b9

Commits on Apr 23, 2024

Parse all translated unicode specs (#142)
ahelwer
authored
75167b6

Commits on Apr 20, 2024

Add Apalache to CI (#141)
ahelwer
authored
7c8ceab

Commits on Apr 18, 2024

Use tree-sitter-tlaplus prebuilt python package (#139)
ahelwer
authored
4f8aec2
pcal.trans can now handle utf8 (#138)
ahelwer
authored
2722b27

Commits on Apr 11, 2024

Test PlusCal translation in CI (#136)
ahelwer
authored
41faafb

Back | FazBrowse Home | New Git URL