Skip to content

Actions: heidihoward/pbft-tlaplus

Actions

TLA

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
tla.yml
71 workflow runs
71 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Inductive invariant validation. TLA #50: Pull request #6 opened by lemmy
August 19, 2024 08:10 52m 9s lemmy:mku-gh05
lemmy:mku-gh05
August 19, 2024 08:10 52m 9s
relaxing the definition of committed TLA #49: Commit 0836a9f pushed by heidihoward
August 2, 2024 15:30 47s main
main
August 2, 2024 15:30 47s
Add ConstInit definition for use with Apalache's --cinit feature. TLA #48: Commit ffe5653 pushed by lemmy
August 2, 2024 15:13 48s main
main
August 2, 2024 15:13 48s
Remove obsolete EXTENDS TLC TLA #47: Commit 87746e3 pushed by lemmy
August 2, 2024 15:12 54s main
main
August 2, 2024 15:12 54s
some minor edits/clarifications TLA #46: Commit a2f7258 pushed by heidihoward
August 2, 2024 13:18 45s main
main
August 2, 2024 13:18 45s
fixing types TLA #45: Commit 519f03f pushed by heidihoward
August 2, 2024 10:30 46s main
main
August 2, 2024 10:30 46s
Merge pull request #4 from heidihoward/inject_restricted TLA #44: Commit 8a3d8c9 pushed by heidihoward
August 2, 2024 10:05 44s main
main
August 2, 2024 10:05 44s
Restructure message injection TLA #43: Pull request #4 opened by heidihoward
August 2, 2024 10:04 47s inject_restricted
inject_restricted
August 2, 2024 10:04 47s
some comments for APA TLA #42: Commit 07f76e8 pushed by heidihoward
August 1, 2024 19:51 47s main
main
August 1, 2024 19:51 47s
some comments for APA TLA #41: Commit 5e1ae55 pushed by heidihoward
August 1, 2024 19:50 48s main
main
August 1, 2024 19:50 48s
tidy some comments TLA #40: Commit 7402dd6 pushed by heidihoward
July 31, 2024 17:11 48s main
main
July 31, 2024 17:11 48s
remove piggybacked messages TLA #39: Commit e4aac80 pushed by heidihoward
July 31, 2024 16:46 49s main
main
July 31, 2024 16:46 49s
fully remove constants as replicas TLA #38: Commit d033962 pushed by heidihoward
July 31, 2024 15:54 50s main
main
July 31, 2024 15:54 50s
reformat paper snippets TLA #37: Commit 3192d66 pushed by heidihoward
July 31, 2024 15:45 1m 16s main
main
July 31, 2024 15:45 1m 16s
Merge pull request #1 from lemmy/mku-rand TLA #36: Commit e1ba994 pushed by heidihoward
July 31, 2024 15:06 1m 10s main
main
July 31, 2024 15:06 1m 10s
Initial predicate suitable for validating inductive invariants probabilistically TLA #35: Pull request #1 synchronize by heidihoward
July 31, 2024 15:04 1m 9s lemmy:mku-rand
lemmy:mku-rand
July 31, 2024 15:04 1m 9s
disable deadlock checking TLA #34: Commit 1a42f72 pushed by heidihoward
July 30, 2024 15:35 47s main
main
July 30, 2024 15:35 47s
accept view change TLA #33: Commit 655ab32 pushed by heidihoward
July 30, 2024 13:47 29s main
main
July 30, 2024 13:47 29s
updated intro text TLA #32: Commit f283c35 pushed by heidihoward
July 30, 2024 12:19 25s main
main
July 30, 2024 12:19 25s
adding type annotations TLA #31: Commit f3e6232 pushed by heidihoward
July 30, 2024 12:17 31s main
main
July 30, 2024 12:17 31s
vc TLA #30: Commit 319b80c pushed by heidihoward
July 30, 2024 10:57 31s main
main
July 30, 2024 10:57 31s
Initial predicate suitable for validating inductive invariants probabilistically TLA #29: Pull request #1 synchronize by lemmy
July 29, 2024 14:02 1m 11s lemmy:mku-rand
lemmy:mku-rand
July 29, 2024 14:02 1m 11s
no row no longer needed TLA #28: Commit 1cb091f pushed by heidihoward
July 29, 2024 13:25 39s main
main
July 29, 2024 13:25 39s
Merge pull request #2 from lemmy/mku-type12 TLA #27: Commit ad3617f pushed by heidihoward
July 29, 2024 13:16 31s main
main
July 29, 2024 13:16 31s
Fix Apalache type annotations by migrating to type system 1.2. TLA #26: Pull request #2 opened by lemmy
July 29, 2024 01:02 31s lemmy:mku-type12
lemmy:mku-type12
July 29, 2024 01:02 31s