Skip to content

Actions: runtimeverification/vlsm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
549 workflow runs
549 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Review PR #354 (#357) Test PR #893: Commit 1e7b6a3 pushed by traiansf
December 12, 2023 13:28 4m 55s elmo_byzantine
elmo_byzantine
December 12, 2023 13:28 4m 55s
Showed that the constrained state property is decidable for ELMO Test PR #892: Commit cb6e893 pushed by traiansf
December 12, 2023 13:17 4m 59s elmo-constrained-state-decidable
elmo-constrained-state-decidable
December 12, 2023 13:17 4m 59s
Use input_constrained_transition instead of input_valid_transition of… Master Push #184: Commit f287c7a pushed by wkolowski
December 12, 2023 12:57 18s master
master
December 12, 2023 12:57 18s
Use input_constrained_transition instead of input_valid_transition of… Test PR #891: Commit f287c7a pushed by wkolowski
December 12, 2023 12:57 4m 50s master
master
December 12, 2023 12:57 4m 50s
Manual changes. Test PR #890: Commit 56a326a pushed by wkolowski
December 12, 2023 12:38 4m 35s use-input_constrained_transition
use-input_constrained_transition
December 12, 2023 12:38 4m 35s
Use constrained instead of preloaded in Paxos (#359) Master Push #183: Commit 0926a92 pushed by wkolowski
December 12, 2023 11:53 10s master
master
December 12, 2023 11:53 10s
Use constrained instead of preloaded in Paxos (#359) Test PR #889: Commit 0926a92 pushed by wkolowski
December 12, 2023 11:53 4m 41s master
master
December 12, 2023 11:53 4m 41s
Code review. Test PR #888: Commit d870aac pushed by wkolowski
December 12, 2023 11:46 4m 55s use-constrained-paxos
use-constrained-paxos
December 12, 2023 11:46 4m 55s
Self review. Test PR #887: Commit 5884791 pushed by wkolowski
December 12, 2023 11:19 4m 56s use-constrained-paxos
use-constrained-paxos
December 12, 2023 11:19 4m 56s
Use constrained instead of preloaded in Paxos. Test PR #886: Commit 2ff2ca6 pushed by wkolowski
December 12, 2023 11:17 4m 32s use-constrained-paxos
use-constrained-paxos
December 12, 2023 11:17 4m 32s
Use constrained concepts in ELMO instead of preloaded VLSM (#358) Test PR #885: Commit 28d4cbc pushed by wkolowski
December 12, 2023 11:15 4m 59s master
master
December 12, 2023 11:15 4m 59s
Use constrained concepts in ELMO instead of preloaded VLSM (#358) Master Push #182: Commit 28d4cbc pushed by wkolowski
December 12, 2023 11:15 12s master
master
December 12, 2023 11:15 12s
Fix for Coq 8.16 Test PR #884: Commit 0aba89a pushed by wkolowski
December 11, 2023 16:21 4m 54s use-constrained-elmo
use-constrained-elmo
December 11, 2023 16:21 4m 54s
ELMO.v Test PR #883: Commit b92576a pushed by wkolowski
December 11, 2023 15:41 4m 40s use-constrained-elmo
use-constrained-elmo
December 11, 2023 15:41 4m 40s
Tiny refactoring. Test PR #882: Commit 142fcb2 pushed by wkolowski
December 11, 2023 12:32 5m 0s review-bits-and-pieces
review-bits-and-pieces
December 11, 2023 12:32 5m 0s
Code review. Test PR #881: Commit 9a780b6 pushed by wkolowski
December 11, 2023 12:29 4m 53s review-bits-and-pieces
review-bits-and-pieces
December 11, 2023 12:29 4m 53s
Merge branch 'master' into elmo_byzantine Test PR #880: Commit 8aa0b1c pushed by traiansf
December 11, 2023 09:40 4m 53s elmo_byzantine
elmo_byzantine
December 11, 2023 09:40 4m 53s
Refactoring Test PR #879: Commit 1e80fba pushed by traiansf
December 11, 2023 09:37 5m 0s elmo_byzantine
elmo_byzantine
December 11, 2023 09:37 5m 0s
reverted some stuff to slavage existing smaller results. Test PR #878: Commit 07b52d7 pushed by traiansf
December 11, 2023 09:02 4m 43s elmo_byzantine
elmo_byzantine
December 11, 2023 09:02 4m 43s
avoid collision between names in Voting.v and Paxos.v (#356) Test PR #877: Commit e029cb1 pushed by palmskog
December 11, 2023 08:41 4m 42s master
master
December 11, 2023 08:41 4m 42s
avoid collision between names in Voting.v and Paxos.v (#356) Master Push #181: Commit e029cb1 pushed by palmskog
December 11, 2023 08:41 14s master
master
December 11, 2023 08:41 14s
lower-case s for argument states in Paxos Test PR #876: Commit 2dcc8c5 pushed by palmskog
December 8, 2023 18:14 4m 46s prefix-paxos
prefix-paxos
December 8, 2023 18:14 4m 46s
Apply suggestions from code review Test PR #875: Commit c1d583f pushed by palmskog
December 8, 2023 17:50 5m 0s prefix-paxos
prefix-paxos
December 8, 2023 17:50 5m 0s
avoid collision between names in Voting.v and Paxos.v by using paxos_… Test PR #874: Commit 5aaa4d6 pushed by palmskog
December 8, 2023 16:54 4m 47s prefix-paxos
prefix-paxos
December 8, 2023 16:54 4m 47s
Weaken assumption of set_add lemmas to EqDecision (#355) Test PR #873: Commit ee2e270 pushed by bmmoore
December 8, 2023 16:32 4m 46s master
master
December 8, 2023 16:32 4m 46s