Skip to content

Actions: viperproject/silicon

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Submodules Update Submodules #330: Scheduled
September 1, 2024 06:03 20s master
master
September 1, 2024 06:03 20s
Update Submodules Update Submodules #329: Scheduled
August 31, 2024 06:02 17s master
master
August 31, 2024 06:02 17s
Basic verification debugging functionality ci #1674: Pull request #863 synchronize by marcoeilers
August 30, 2024 21:53 12m 10s meilers_debugger_optional_exps
meilers_debugger_optional_exps
August 30, 2024 21:53 12m 10s
Several small fixes, avoiding performance problems when assumption tr… ci #1673: Commit 032990f pushed by marcoeilers
August 30, 2024 21:53 12m 22s meilers_debugger_optional_exps
meilers_debugger_optional_exps
August 30, 2024 21:53 12m 22s
Update Submodules Update Submodules #328: Scheduled
August 30, 2024 06:02 13s master
master
August 30, 2024 06:02 13s
Update Submodules Update Submodules #327: Scheduled
August 29, 2024 06:02 21s master
master
August 29, 2024 06:02 21s
Basic verification debugging functionality ci #1672: Pull request #863 synchronize by marcoeilers
August 29, 2024 03:29 12m 40s meilers_debugger_optional_exps
meilers_debugger_optional_exps
August 29, 2024 03:29 12m 40s
Fixing quantified and implication assumptions, short circuit expressions ci #1671: Commit b6c1e5b pushed by marcoeilers
August 29, 2024 03:29 12m 18s meilers_debugger_optional_exps
meilers_debugger_optional_exps
August 29, 2024 03:29 12m 18s
Basic verification debugging functionality ci #1670: Pull request #863 synchronize by marcoeilers
August 28, 2024 23:36 2m 1s meilers_debugger_optional_exps
meilers_debugger_optional_exps
August 28, 2024 23:36 2m 1s
Simplifying DebugExps early, limiting assumption printing in debugger… ci #1669: Commit 0b689de pushed by marcoeilers
August 28, 2024 23:36 2m 0s meilers_debugger_optional_exps
meilers_debugger_optional_exps
August 28, 2024 23:36 2m 0s
Update Submodules Update Submodules #326: Scheduled
August 28, 2024 06:02 12s master
master
August 28, 2024 06:02 12s
Basic verification debugging functionality ci #1668: Pull request #863 synchronize by marcoeilers
August 28, 2024 01:55 15m 28s meilers_debugger_optional_exps
meilers_debugger_optional_exps
August 28, 2024 01:55 15m 28s
Removing test files ci #1667: Commit 740ff9c pushed by marcoeilers
August 28, 2024 01:55 12m 18s meilers_debugger_optional_exps
meilers_debugger_optional_exps
August 28, 2024 01:55 12m 18s
Basic verification debugging functionality ci #1666: Pull request #863 opened by marcoeilers
August 28, 2024 00:56 48m 15s meilers_debugger_optional_exps
meilers_debugger_optional_exps
August 28, 2024 00:56 48m 15s
More cleanup ci #1665: Commit 77c7d5c pushed by marcoeilers
August 28, 2024 00:34 13m 12s meilers_debugger_optional_exps
meilers_debugger_optional_exps
August 28, 2024 00:34 13m 12s
Not collecting axioms and declarations unless necessary, and resettin… ci #1664: Commit 63d1716 pushed by marcoeilers
August 27, 2024 22:12 12m 29s meilers_debugger_optional_exps
meilers_debugger_optional_exps
August 27, 2024 22:12 12m 29s
Adding last missing implementations ci #1663: Commit 2151ff6 pushed by marcoeilers
August 27, 2024 18:56 15m 1s meilers_debugger_optional_exps
meilers_debugger_optional_exps
August 27, 2024 18:56 15m 1s
Update Submodules Update Submodules #325: Scheduled
August 27, 2024 06:02 15s master
master
August 27, 2024 06:02 15s
Trying out Option.when as a macro ci #1662: Commit 47efe41 pushed by marcoeilers
August 27, 2024 02:10 17m 27s meilers_debugger_optional_exps_macro
meilers_debugger_optional_exps_macro
August 27, 2024 02:10 17m 27s
Passing None for debug expressions when debuggin is disabled ci #1661: Commit 95c13f5 pushed by marcoeilers
August 26, 2024 20:48 18m 12s meilers_debugger_optional_exps
meilers_debugger_optional_exps
August 26, 2024 20:48 18m 12s
Update Submodules Update Submodules #324: Scheduled
August 26, 2024 06:02 18s master
master
August 26, 2024 06:02 18s
Update Submodules Update Submodules #323: Scheduled
August 25, 2024 06:02 15s master
master
August 25, 2024 06:02 15s
Update Submodules Update Submodules #322: Scheduled
August 24, 2024 06:02 13s master
master
August 24, 2024 06:02 13s
Update Submodules Update Submodules #321: Scheduled
August 23, 2024 06:02 18s master
master
August 23, 2024 06:02 18s
Silver version ci #1660: Commit e6814d0 pushed by marcoeilers
August 22, 2024 13:53 17m 59s meilers_debugger_merge
meilers_debugger_merge
August 22, 2024 13:53 17m 59s