Skip to content

Actions: tlaplus/Examples

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
469 workflow runs
469 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added Pluscal version of the key-value store with snapshot isolation,… Check Specs & Metadata #154: Pull request #84 synchronize by muratdem
August 3, 2023 22:26 2m 34s muratdem:muratKVsnap
muratdem:muratKVsnap
August 3, 2023 22:26 2m 34s
Added Pluscal version of the key-value store with snapshot isolation,… Check Specs & Metadata #153: Pull request #84 opened by muratdem
August 3, 2023 20:04 2m 18s muratdem:muratKVsnap
muratdem:muratKVsnap
August 3, 2023 20:04 2m 18s
tlaplus-dispatch Check Specs & Metadata #152: Repository dispatch triggered by lemmy
August 3, 2023 17:48 11m 40s
August 3, 2023 17:48 11m 40s
(Hopefully) fix build failures. Check Specs & Metadata #151: Commit 7d129a9 pushed by lemmy
August 3, 2023 03:43 11m 26s master
master
August 3, 2023 03:43 11m 26s
Define initials such that it's the worst-case for Max3TokenRounds. Check Specs & Metadata #150: Commit e4b3677 pushed by lemmy
July 28, 2023 21:57 10m 9s master
master
July 28, 2023 21:57 10m 9s
Fix tar CI failure on windows (#83) Check Specs & Metadata #149: Commit 55413d0 pushed by lemmy
July 28, 2023 19:12 12m 28s master
master
July 28, 2023 19:12 12m 28s
Fix tar CI failure on windows Check Specs & Metadata #148: Pull request #83 synchronize by ahelwer
July 28, 2023 18:00 12m 25s ahelwer:cifailure
ahelwer:cifailure
July 28, 2023 18:00 12m 25s
No need for a state constraint if clock is not part of the view. Check Specs & Metadata #147: Commit 7648e7d pushed by lemmy
July 28, 2023 05:00 13m 39s master
master
July 28, 2023 05:00 13m 39s
Include vector clock in token messages. Check Specs & Metadata #146: Commit cf26a3a pushed by lemmy
July 28, 2023 04:40 10m 52s master
master
July 28, 2023 04:40 10m 52s
Fix tar CI failure on windows Check Specs & Metadata #145: Pull request #83 opened by ahelwer
July 27, 2023 21:26 13m 45s ahelwer:cifailure
ahelwer:cifailure
July 27, 2023 21:26 13m 45s
tlaplus-dispatch Check Specs & Metadata #144: Repository dispatch triggered by lemmy
July 22, 2023 06:36 2m 21s
July 22, 2023 06:36 2m 21s
tlaplus-dispatch Check Specs & Metadata #143: Repository dispatch triggered by lemmy
July 21, 2023 20:59 11m 55s
July 21, 2023 20:59 11m 55s
Merge pull request #81 from josef-widder/patch-1 Check Specs & Metadata #142: Commit a3541fd pushed by muenchnerkindl
July 12, 2023 12:41 12m 23s master
master
July 12, 2023 12:41 12m 23s
Bug fix in aba_asyn_byz.tla Check Specs & Metadata #141: Pull request #81 synchronize by josef-widder
July 12, 2023 12:35 12m 25s josef-widder:patch-1
josef-widder:patch-1
July 12, 2023 12:35 12m 25s
Bug fix in aba_asyn_byz.tla Check Specs & Metadata #140: Pull request #81 opened by josef-widder
July 3, 2023 09:47 13m 40s josef-widder:patch-1
josef-widder:patch-1
July 3, 2023 09:47 13m 40s
Implementing a TLA+ Specification: EWD998Chan CI for EWD998 Trace Validation #12: Pull request #75 synchronize by lemmy
June 28, 2023 22:01 13m 54s lemmy:mku-ewd998_impl
lemmy:mku-ewd998_impl
June 28, 2023 22:01 13m 54s
Implementing a TLA+ Specification: EWD998Chan Check Specs & Metadata #139: Pull request #75 synchronize by lemmy
June 28, 2023 22:01 12m 34s lemmy:mku-ewd998_impl
lemmy:mku-ewd998_impl
June 28, 2023 22:01 12m 34s
Implementing a TLA+ Specification: EWD998Chan Check Specs & Metadata #138: Pull request #75 synchronize by lemmy
June 28, 2023 22:01 10m 48s lemmy:mku-ewd998_impl
lemmy:mku-ewd998_impl
June 28, 2023 22:01 10m 48s
Implementing a TLA+ Specification: EWD998Chan CI for EWD998 Trace Validation #11: Pull request #75 synchronize by lemmy
June 28, 2023 22:01 9m 33s lemmy:mku-ewd998_impl
lemmy:mku-ewd998_impl
June 28, 2023 22:01 9m 33s
ProTip! You can narrow down the results and go further in time using created:<2023-06-28 or the other filters available.