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

Eval option in debugger and better eval of field accesses for basic c… ci #1815: Commit c233296 pushed by marcoeilers
December 9, 2024 16:18 12m 55s meilers_debugger_eval
meilers_debugger_eval
December 9, 2024 16:18 12m 55s
Making DebugExp ID creation thread safe (#887) ci #1814: Commit efaf769 pushed by marcoeilers
December 9, 2024 11:47 12m 37s master
master
December 9, 2024 11:47 12m 37s
Making DebugExp ID creation thread safe ci #1813: Pull request #887 opened by marcoeilers
December 9, 2024 11:34 12m 25s meilers_debug_ids_atomic
meilers_debug_ids_atomic
December 9, 2024 11:34 12m 25s
Making DebugExp ID creation thread safe ci #1812: Commit 44ae57a pushed by marcoeilers
December 9, 2024 11:34 12m 46s meilers_debug_ids_atomic
meilers_debug_ids_atomic
December 9, 2024 11:34 12m 46s
Update silver submodule ci #1811: Commit f68c180 pushed by viper-admin
December 6, 2024 12:32 12m 49s master
master
December 6, 2024 12:32 12m 49s
Avoiding potential matching loop in the sequence axiomatization ci #1810: Pull request #885 synchronize by marcoeilers
December 6, 2024 01:13 12m 24s meilers_fix_seq_matching_loop
meilers_fix_seq_matching_loop
December 6, 2024 01:13 12m 24s
Merge branch 'master' into meilers_fix_seq_matching_loop ci #1809: Commit 85793e0 pushed by marcoeilers
December 6, 2024 01:13 12m 34s meilers_fix_seq_matching_loop
meilers_fix_seq_matching_loop
December 6, 2024 01:13 12m 34s
Debugger improvements (#884) ci #1808: Commit 07bb7d3 pushed by marcoeilers
December 5, 2024 22:52 15m 7s master
master
December 5, 2024 22:52 15m 7s
Debugger improvements ci #1807: Pull request #884 synchronize by marcoeilers
December 5, 2024 22:40 12m 37s meilers_debugger_update
meilers_debugger_update
December 5, 2024 22:40 12m 37s
Fixed label for unknown positions, added javadoc ci #1806: Commit 297af44 pushed by marcoeilers
December 5, 2024 22:40 12m 20s meilers_debugger_update
meilers_debugger_update
December 5, 2024 22:40 12m 20s
Avoiding potential matching loop in the sequence axiomatization ci #1805: Pull request #885 opened by marcoeilers
December 5, 2024 22:30 12m 27s meilers_fix_seq_matching_loop
meilers_fix_seq_matching_loop
December 5, 2024 22:30 12m 27s
Added lhs conjunct to avoid matching loop ci #1804: Commit 895279b pushed by marcoeilers
December 5, 2024 22:20 12m 33s meilers_fix_seq_matching_loop
meilers_fix_seq_matching_loop
December 5, 2024 22:20 12m 33s
Trying out not translating FuncApp triggers to their limited version ci #1803: Commit bc20bee pushed by marcoeilers
December 4, 2024 22:06 12m 14s meilers_no_limited_triggers
meilers_no_limited_triggers
December 4, 2024 22:06 12m 14s
Debugger improvements ci #1802: Pull request #884 synchronize by marcoeilers
December 4, 2024 20:07 12m 41s meilers_debugger_update
meilers_debugger_update
December 4, 2024 20:07 12m 41s
Merge branch 'master' into meilers_debugger_update ci #1801: Commit b4ad14d pushed by marcoeilers
December 4, 2024 20:07 12m 46s meilers_debugger_update
meilers_debugger_update
December 4, 2024 20:07 12m 46s
Debugger improvements ci #1800: Pull request #884 synchronize by marcoeilers
December 4, 2024 20:06 12m 46s meilers_debugger_update
meilers_debugger_update
December 4, 2024 20:06 12m 46s
Adding an option to print the term representation of store, heap, ass… ci #1799: Commit 0a24eac pushed by marcoeilers
December 4, 2024 20:06 12m 25s meilers_debugger_update
meilers_debugger_update
December 4, 2024 20:06 12m 25s
Debugger improvements ci #1798: Pull request #884 opened by marcoeilers
December 4, 2024 19:16 12m 15s meilers_debugger_update
meilers_debugger_update
December 4, 2024 19:16 12m 15s
Better names for old labels, value info for basic chunks, removed dup… ci #1797: Commit b20c9a5 pushed by marcoeilers
December 4, 2024 18:51 12m 34s meilers_debugger_update
meilers_debugger_update
December 4, 2024 18:51 12m 34s
Update silver submodule ci #1796: Commit 61eeb81 pushed by viper-admin
December 4, 2024 18:16 13m 14s master
master
December 4, 2024 18:16 13m 14s
Worked on branching ci #1795: Commit fad3824 pushed by rayman2000
December 4, 2024 17:46 19s nklose/biabduction-prototype
nklose/biabduction-prototype
December 4, 2024 17:46 19s
merge qp-single-recvr chunks only if entire condition is equal (#882) ci #1794: Commit 4e8d60d pushed by marcoeilers
December 4, 2024 15:03 13m 1s master
master
December 4, 2024 15:03 13m 1s
QP single-recvr merge Issue ci #1793: Pull request #882 synchronize by marcoeilers
December 4, 2024 13:55 12m 45s mlimbeck:qp-singler-recvr-merge-fix
mlimbeck:qp-singler-recvr-merge-fix
December 4, 2024 13:55 12m 45s
QP single-recvr merge Issue ci #1792: Pull request #882 opened by mlimbeck
December 4, 2024 11:53 12m 39s mlimbeck:qp-singler-recvr-merge-fix
mlimbeck:qp-singler-recvr-merge-fix
December 4, 2024 11:53 12m 39s
Avoiding replace where not needed, simplifying Implies, fixed Ite rep… ci #1791: Commit 5d74c01 pushed by marcoeilers
December 3, 2024 18:58 3h 25m 20s meilers_more_simplification
meilers_more_simplification
December 3, 2024 18:58 3h 25m 20s