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 Submodules Update Submodules #7: Scheduled
October 24, 2023 06:02 21s master
master
October 24, 2023 06:02 21s
attach error information to failure context ci #1141: Commit 2b9b7f2 pushed by AndreaKe
October 23, 2023 12:57 36s keuscha/silicon-debugger
keuscha/silicon-debugger
October 23, 2023 12:57 36s
Update Submodules Update Submodules #6: Scheduled
October 23, 2023 06:02 21s master
master
October 23, 2023 06:02 21s
Enabling k-induction on the test suite just to see what happens ci #1140: Commit a6cb9c0 pushed by marcoeilers
October 22, 2023 19:32 11m 35s meilers_kinduction
meilers_kinduction
October 22, 2023 19:32 11m 35s
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
Update Submodules Update Submodules #5: Scheduled
October 22, 2023 06:01 16s master
master
October 22, 2023 06:01 16s
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
Update Submodules Update Submodules #4: Scheduled
October 21, 2023 06:02 13s master
master
October 21, 2023 06:02 13s
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
Update Submodules Update Submodules #3: Scheduled
October 20, 2023 06:02 14s master
master
October 20, 2023 06:02 14s
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
Update Submodules Update Submodules #2: Scheduled
October 19, 2023 06:02 21s master
master
October 19, 2023 06:02 21s
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
Update Submodules Update Submodules #1: Scheduled
October 18, 2023 06:02 29s master
master
October 18, 2023 06:02 29s
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
ProTip! You can narrow down the results and go further in time using created:<2023-10-17 or the other filters available.