Skip to content

Actions: viperproject/silicon

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
69 workflow run results
69 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #759 from viperproject/meilers_mce_for_functions ci #1091: Commit 26a59e9 pushed by marcoeilers
October 12, 2023 22:15 17m 15s master
master
October 12, 2023 22:15 17m 15s
Pull assumptions out of quantifiers if they don't refer to quantified variable ci #1090: Pull request #760 synchronize by marcoeilers
October 12, 2023 21:58 18m 56s meilers_pull_put_assumptions
meilers_pull_put_assumptions
October 12, 2023 21:58 18m 56s
Moved test ci #1089: Commit cd9e2b0 pushed by marcoeilers
October 12, 2023 21:58 16m 18s meilers_pull_put_assumptions
meilers_pull_put_assumptions
October 12, 2023 21:58 16m 18s
Pull assumptions out of quantifiers if they don't refer to quantified variable ci #1088: Pull request #760 opened by marcoeilers
October 12, 2023 21:56 13m 14s meilers_pull_put_assumptions
meilers_pull_put_assumptions
October 12, 2023 21:56 13m 14s
Added test ci #1087: Commit ec36701 pushed by marcoeilers
October 12, 2023 21:50 13m 36s meilers_pull_put_assumptions
meilers_pull_put_assumptions
October 12, 2023 21:50 13m 36s
Pull non-global assumptions that are independent of quantified variab… ci #1086: Commit 8b55d3d pushed by marcoeilers
October 12, 2023 21:31 14m 41s meilers_pull_put_assumptions
meilers_pull_put_assumptions
October 12, 2023 21:31 14m 41s
Remove restriction that disables MCE for function verification ci #1085: Pull request #759 synchronize by marcoeilers
October 12, 2023 21:29 13m 21s meilers_mce_for_functions
meilers_mce_for_functions
October 12, 2023 21:29 13m 21s
Adding MCE test with disjunctive aliasing in function and method ci #1084: Commit ba914dd pushed by marcoeilers
October 12, 2023 21:29 13m 52s meilers_mce_for_functions
meilers_mce_for_functions
October 12, 2023 21:29 13m 52s
Remove restriction that disables MCE for function verification ci #1083: Pull request #759 opened by marcoeilers
October 12, 2023 21:12 13m 38s meilers_mce_for_functions
meilers_mce_for_functions
October 12, 2023 21:12 13m 38s
Remove restriction that disables MCE for function verification ci #1082: Commit df1428b pushed by marcoeilers
October 12, 2023 20:48 13m 20s meilers_mce_for_functions
meilers_mce_for_functions
October 12, 2023 20:48 13m 20s
update submodules (#758) ci #1081: Commit 3e146d8 pushed by jcp19
October 12, 2023 09:16 17m 59s master
master
October 12, 2023 09:16 17m 59s
Update submodules ci #1080: Pull request #758 opened by jcp19
October 12, 2023 08:50 16m 38s joao-submodules
joao-submodules
October 12, 2023 08:50 16m 38s
update submodules ci #1079: Commit c4de978 pushed by jcp19
October 12, 2023 08:49 13m 47s joao-submodules
joao-submodules
October 12, 2023 08:49 13m 47s
Separating definitions and other assumptions to fix a wand-related unsoundness ci #1078: Pull request #757 opened by marcoeilers
October 10, 2023 13:24 17m 0s meilers_wand_fix_attempt
meilers_wand_fix_attempt
October 10, 2023 13:24 17m 0s
Merge branch 'master' into meilers_wand_fix_attempt ci #1077: Commit baf0702 pushed by marcoeilers
October 10, 2023 13:18 16m 49s meilers_wand_fix_attempt
meilers_wand_fix_attempt
October 10, 2023 13:18 16m 49s
Cleanup ci #1076: Commit 4d107f0 pushed by marcoeilers
October 10, 2023 13:17 13m 24s meilers_wand_fix_attempt
meilers_wand_fix_attempt
October 10, 2023 13:17 13m 24s
Added test in silver ci #1075: Commit 05a7146 pushed by marcoeilers
October 10, 2023 13:14 12m 41s meilers_wand_fix_attempt
meilers_wand_fix_attempt
October 10, 2023 13:14 12m 41s
Simplify wildcard multiplication ci #1074: Pull request #756 opened by marcoeilers
October 9, 2023 21:17 18m 18s meilers_wildcard_mult
meilers_wildcard_mult
October 9, 2023 21:17 18m 18s
Fixing computation of constrainable terms ci #1073: Commit b1d5d61 pushed by marcoeilers
October 9, 2023 20:48 12m 50s meilers_wildcard_mult
meilers_wildcard_mult
October 9, 2023 20:48 12m 50s
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
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
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 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