Skip to content

Actions: viperproject/silicon

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,226 workflow runs
1,226 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update silver automatically ci #1123: Pull request #761 synchronize by Dspil
October 17, 2023 17:38 14m 7s update_silver_automatically
update_silver_automatically
October 17, 2023 17:38 14m 7s
Merge branch 'master' into update_silver_automatically ci #1122: Commit c5f64f1 pushed by Dspil
October 17, 2023 17:38 16m 15s update_silver_automatically
update_silver_automatically
October 17, 2023 17:38 16m 15s
Merge pull request #762 from viperproject/meilers_num_parallel_verifi… ci #1121: Commit 41012ee pushed by marcoeilers
October 17, 2023 16:37 14m 54s master
master
October 17, 2023 16:37 14m 54s
Validation and a better explanation for the --numberOfParallelVerifiers option ci #1120: Pull request #762 opened by marcoeilers
October 17, 2023 16:17 14m 49s meilers_num_parallel_verifier_fix
meilers_num_parallel_verifier_fix
October 17, 2023 16:17 14m 49s
Validation and a better explanation for the --numberOfParallelVerifie… ci #1119: Commit bbfe9b8 pushed by marcoeilers
October 17, 2023 16:16 13m 33s meilers_num_parallel_verifier_fix
meilers_num_parallel_verifier_fix
October 17, 2023 16:16 13m 33s
update silver automatically ci #1118: Pull request #761 opened by Dspil
October 17, 2023 13:37 12m 52s update_silver_automatically
update_silver_automatically
October 17, 2023 13:37 12m 52s
update silver automatically ci #1117: Commit ae780f0 pushed by Dspil
October 17, 2023 13:37 12m 58s update_silver_automatically
update_silver_automatically
October 17, 2023 13:37 12m 58s
Carbon's sequence, set, and multiset options for Silicon ci #1116: Pull request #642 synchronize by marcoeilers
October 17, 2023 11:51 14m 38s meilers_seq_set_axioms
meilers_seq_set_axioms
October 17, 2023 11:51 14m 38s
Silver branch with fixed test annotations ci #1115: Commit 5df7519 pushed by marcoeilers
October 17, 2023 11:51 15m 39s meilers_seq_set_axioms
meilers_seq_set_axioms
October 17, 2023 11:51 15m 39s
Carbon's sequence, set, and multiset options for Silicon ci #1114: Pull request #642 synchronize by marcoeilers
October 17, 2023 11:39 44m 6s meilers_seq_set_axioms
meilers_seq_set_axioms
October 17, 2023 11:39 44m 6s
Merge branch 'master' into meilers_seq_set_axioms ci #1113: Commit ed50277 pushed by marcoeilers
October 17, 2023 11:39 21m 41s meilers_seq_set_axioms
meilers_seq_set_axioms
October 17, 2023 11:39 21m 41s
Trying to fix that one example from Malte; snapshot maps need domains ci #1112: Commit 955ff43 pushed by marcoeilers
October 16, 2023 16:45 4m 4s meilers_heap_trigger_extensionality
meilers_heap_trigger_extensionality
October 16, 2023 16:45 4m 4s
Merge pull request #757 from viperproject/meilers_wand_fix_attempt ci #1111: Commit a234555 pushed by marcoeilers
October 16, 2023 11:54 17m 22s master
master
October 16, 2023 11:54 17m 22s
Separating definitions and other assumptions to fix a wand-related unsoundness ci #1110: Pull request #757 synchronize by marcoeilers
October 16, 2023 11:33 15m 13s meilers_wand_fix_attempt
meilers_wand_fix_attempt
October 16, 2023 11:33 15m 13s
Merge branch 'master' into meilers_wand_fix_attempt ci #1109: Commit 630c1fc pushed by marcoeilers
October 16, 2023 11:33 13m 7s meilers_wand_fix_attempt
meilers_wand_fix_attempt
October 16, 2023 11:33 13m 7s
Basic implementation of assuming phase ci #1108: Commit 7fc201c pushed by marcoeilers
October 15, 2023 20:44 11m 6s meilers_kinduction
meilers_kinduction
October 15, 2023 20:44 11m 6s
WIP, first phase might work including read perms. TODO: Check if the … ci #1107: Commit 19982b9 pushed by marcoeilers
October 15, 2023 19:23 11m 30s meilers_kinduction
meilers_kinduction
October 15, 2023 19:23 11m 30s
WIP ci #1106: Commit dcaf59f pushed by marcoeilers
October 14, 2023 21:41 5m 9s meilers_kinduction
meilers_kinduction
October 14, 2023 21:41 5m 9s
Add experimental --moreJoins option ci #1105: Pull request #730 synchronize by marcoeilers
October 14, 2023 14:14 13m 36s meilers_more_joins
meilers_more_joins
October 14, 2023 14:14 13m 36s
Incorporated review feedback, also turning off moreJoins for function… ci #1104: Commit 42e0d8a pushed by marcoeilers
October 14, 2023 14:14 16m 11s meilers_more_joins
meilers_more_joins
October 14, 2023 14:14 16m 11s
Add experimental --moreJoins option ci #1103: Pull request #730 synchronize by marcoeilers
October 13, 2023 14:14 16m 22s meilers_more_joins
meilers_more_joins
October 13, 2023 14:14 16m 22s
Merge ci #1102: Commit bd5c00e pushed by marcoeilers
October 13, 2023 14:14 14m 28s meilers_more_joins
meilers_more_joins
October 13, 2023 14:14 14m 28s
Merge pull request #760 from viperproject/meilers_pull_put_assumptions ci #1101: Commit 088f303 pushed by marcoeilers
October 13, 2023 13:27 14m 33s master
master
October 13, 2023 13:27 14m 33s
Pull assumptions out of quantifiers if they don't refer to quantified variable ci #1100: Pull request #760 synchronize by marcoeilers
October 13, 2023 12:52 16m 21s meilers_pull_put_assumptions
meilers_pull_put_assumptions
October 13, 2023 12:52 16m 21s
Merge branch 'meilers_pull_put_assumptions' of https://github.com/vip… ci #1099: Commit 4df482e pushed by marcoeilers
October 13, 2023 12:52 14m 11s meilers_pull_put_assumptions
meilers_pull_put_assumptions
October 13, 2023 12:52 14m 11s
ProTip! You can narrow down the results and go further in time using created:<2023-10-13 or the other filters available.