Skip to content

Actions: viperproject/silicon

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

QP wands, much better handling of null ci #1072: Commit 2227eee pushed by marcoeilers
October 9, 2023 20:08 18m 49s meilers_silicarbon_mask_triggers
meilers_silicarbon_mask_triggers
October 9, 2023 20:08 18m 49s
Merge pull request #754 from viperproject/meilers_unfold_none ci #1071: Commit e85c426 pushed by marcoeilers
October 9, 2023 15:59 16m 37s master
master
October 9, 2023 15:59 16m 37s
Unfold, fold, and unfolding must have a strictly positive permission amount ci #1070: Pull request #754 synchronize by marcoeilers
October 9, 2023 15:36 22m 6s meilers_unfold_none
meilers_unfold_none
October 9, 2023 15:36 22m 6s
Merge branch 'master' into meilers_unfold_none ci #1069: Commit ace7052 pushed by marcoeilers
October 9, 2023 15:36 14m 17s meilers_unfold_none
meilers_unfold_none
October 9, 2023 15:36 14m 17s
Merge ci #1068: Commit 699711e pushed by marcoeilers
October 9, 2023 15:34 16m 49s meilers_silicarbon_mask_triggers
meilers_silicarbon_mask_triggers
October 9, 2023 15:34 16m 49s
Attempting to replace the current wand path condition workaround with… ci #1067: Commit 53cccb9 pushed by marcoeilers
October 7, 2023 22:54 13m 34s meilers_wand_fix_attempt
meilers_wand_fix_attempt
October 7, 2023 22:54 13m 34s
Keeping mask terms valid triggers, triggering more on mask/heap updates ci #1066: Commit 5a8f237 pushed by marcoeilers
October 7, 2023 15:22 28m 43s meilers_silicarbon_mask_triggers
meilers_silicarbon_mask_triggers
October 7, 2023 15:22 28m 43s
substitution ci #1065: Commit 4459d67 pushed by AndreaKe
October 7, 2023 13:31 33s keuscha/silicon-debugger
keuscha/silicon-debugger
October 7, 2023 13:31 33s
Merge ci #1064: Commit ad18174 pushed by marcoeilers
October 7, 2023 13:09 17m 40s meilers_silicarbon
meilers_silicarbon
October 7, 2023 13:09 17m 40s
Update submodules (#755) ci #1063: Commit 6617d23 pushed by jcp19
October 6, 2023 22:55 18m 45s master
master
October 6, 2023 22:55 18m 45s
Update submodules ci #1062: Pull request #755 opened by jcp19
October 6, 2023 15:08 14m 18s joao-update-submodules
joao-update-submodules
October 6, 2023 15:08 14m 18s
Update submodules ci #1061: Commit 09292fb pushed by jcp19
October 6, 2023 14:58 13m 34s joao-update-submodules
joao-update-submodules
October 6, 2023 14:58 13m 34s
ci ci #1060: Manually run by jcp19
October 5, 2023 14:48 16m 20s master
master
October 5, 2023 14:48 16m 20s
Unfold, fold, and unfolding must have a strictly positive permission amount ci #1059: Pull request #754 opened by marcoeilers
October 5, 2023 08:48 18m 36s meilers_unfold_none
meilers_unfold_none
October 5, 2023 08:48 18m 36s
Updated silver version ci #1058: Commit fab9efe pushed by marcoeilers
October 4, 2023 22:40 13m 15s meilers_unfold_none
meilers_unfold_none
October 4, 2023 22:40 13m 15s
Updated silver version ci #1057: Commit d3f5d84 pushed by marcoeilers
October 4, 2023 21:58 12m 55s meilers_unfold_none
meilers_unfold_none
October 4, 2023 21:58 12m 55s
Experimenting with QPs ci #1056: Commit d83b88f pushed by marcoeilers
October 4, 2023 20:18 4m 24s meilers_qp_experiments
meilers_qp_experiments
October 4, 2023 20:18 4m 24s
Merge ci #1055: Commit adc05e2 pushed by marcoeilers
October 3, 2023 23:27 13m 21s meilers_faster_function_preconditions
meilers_faster_function_preconditions
October 3, 2023 23:27 13m 21s
Add experimental --moreJoins option ci #1054: Pull request #730 synchronize by marcoeilers
October 3, 2023 15:04 13m 21s meilers_more_joins
meilers_more_joins
October 3, 2023 15:04 13m 21s
Merge branch 'master' into meilers_more_joins ci #1053: Commit 1c3b91e pushed by marcoeilers
October 3, 2023 15:04 18m 4s meilers_more_joins
meilers_more_joins
October 3, 2023 15:04 18m 4s
woeifjwo ci #1052: Commit 2fa5e9f pushed by Dspil
October 2, 2023 14:05 4m 22s dspil_refactor
dspil_refactor
October 2, 2023 14:05 4m 22s
handle snapshots ci #1051: Commit 5f45212 pushed by AndreaKe
October 1, 2023 11:24 32s keuscha/silicon-debugger
keuscha/silicon-debugger
October 1, 2023 11:24 32s
Merge branch 'master' into meilers_wildcard_mult ci #1050: Commit 43e9e49 pushed by jcp19
September 26, 2023 21:13 18m 4s meilers_wildcard_mult
meilers_wildcard_mult
September 26, 2023 21:13 18m 4s
Merge pull request #752 from viperproject/meilers_fix_751 ci #1049: Commit 4cdc6b9 pushed by marcoeilers
September 26, 2023 09:13 22m 20s master
master
September 26, 2023 09:13 22m 20s
Carbon's sequence, set, and multiset options for Silicon ci #1048: Pull request #642 synchronize by marcoeilers
September 26, 2023 09:03 26m 23s meilers_seq_set_axioms
meilers_seq_set_axioms
September 26, 2023 09:03 26m 23s
ProTip! You can narrow down the results and go further in time using created:<2023-09-26 or the other filters available.