Skip to content

Actions: viperproject/silicon

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
792 workflow runs
792 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Predicate fold/unfold tests with list, lseg ci #1139: Commit 5c4b04d pushed by marcoeilers
October 22, 2023 19:30 13m 43s meilers_kinduction
meilers_kinduction
October 22, 2023 19:30 13m 43s
Read permissions work, more tests ci #1138: Commit c41fd00 pushed by marcoeilers
October 22, 2023 14:56 12m 54s meilers_kinduction
meilers_kinduction
October 22, 2023 14:56 12m 54s
Omitting predicate triggers for opaque functions ci #1137: Commit 7dd8a62 pushed by marcoeilers
October 21, 2023 19:26 17m 5s meilers_opaque_function_experiment
meilers_opaque_function_experiment
October 21, 2023 19:26 17m 5s
Experimental opaque functions via annotation ci #1136: Commit 077599f pushed by marcoeilers
October 21, 2023 19:19 18m 15s meilers_opaque_function_experiment
meilers_opaque_function_experiment
October 21, 2023 19:19 18m 15s
More things work, test framework. Read access still broken, unclear h… ci #1135: Commit 3517f38 pushed by marcoeilers
October 20, 2023 19:50 11m 2s meilers_kinduction
meilers_kinduction
October 20, 2023 19:50 11m 2s
Updates submodules (#764) ci #1134: Commit 118f5a6 pushed by jcp19
October 19, 2023 08:35 19m 35s master
master
October 19, 2023 08:35 19m 35s
refactor DebugExp to use Option types ci #1133: Commit 380000c pushed by AndreaKe
October 19, 2023 08:35 41s keuscha/silicon-debugger
keuscha/silicon-debugger
October 19, 2023 08:35 41s
Update Submodules ci #1132: Pull request #764 opened by Dspil
October 19, 2023 06:02 18m 13s auto-update-submodules
auto-update-submodules
October 19, 2023 06:02 18m 13s
Updates submodules ci #1131: Commit f0bec99 pushed by Dspil
October 19, 2023 06:02 13m 42s auto-update-submodules
auto-update-submodules
October 19, 2023 06:02 13m 42s
Merge pull request #730 from viperproject/meilers_more_joins ci #1130: Commit 1e3e961 pushed by marcoeilers
October 18, 2023 19:04 14m 18s master
master
October 18, 2023 19:04 14m 18s
Add experimental --moreJoins option ci #1129: Pull request #730 synchronize by marcoeilers
October 18, 2023 17:35 16m 13s meilers_more_joins
meilers_more_joins
October 18, 2023 17:35 16m 13s
Merge branch 'master' into meilers_more_joins ci #1128: Commit e785d26 pushed by marcoeilers
October 18, 2023 17:35 17m 33s meilers_more_joins
meilers_more_joins
October 18, 2023 17:35 17m 33s
Updates submodules (#763) ci #1127: Commit 36c611f pushed by jcp19
October 18, 2023 06:51 13m 49s master
master
October 18, 2023 06:51 13m 49s
Update Submodules ci #1126: Pull request #763 opened by Dspil
October 18, 2023 06:02 13m 49s auto-update-submodules
auto-update-submodules
October 18, 2023 06:02 13m 49s
Updates submodules ci #1125: Commit 98db0a0 pushed by Dspil
October 18, 2023 06:02 13m 41s auto-update-submodules
auto-update-submodules
October 18, 2023 06:02 13m 41s
Merge pull request #761 from viperproject/update_silver_automatically ci #1124: Commit c77bfbb pushed by Dspil
October 17, 2023 21:55 14m 40s master
master
October 17, 2023 21:55 14m 40s
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
ProTip! You can narrow down the results and go further in time using created:<2023-10-17 or the other filters available.