Skip to content

Actions: viperproject/silicon

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
805 workflow runs
805 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed chunk with wrong receiver being returned ci #1763: Commit 8c2ddc8 pushed by marcoeilers
October 23, 2024 14:53 14s meilers_kinduction
meilers_kinduction
October 23, 2024 14:53 14s
Shortcuts for some common (in k-ind) special cases) ci #1762: Commit 4c032d1 pushed by marcoeilers
October 22, 2024 18:32 11s meilers_kinduction
meilers_kinduction
October 22, 2024 18:32 11s
QPs work for the tests I have! ci #1761: Commit dabefe5 pushed by marcoeilers
October 22, 2024 18:17 13s meilers_kinduction
meilers_kinduction
October 22, 2024 18:17 13s
Update silver ci #1760: Commit f7229cd pushed by marcoeilers
October 22, 2024 15:07 12m 51s meilers_assert_read_only
meilers_assert_read_only
October 22, 2024 15:07 12m 51s
Adapting to renamed config field ci #1759: Commit 9c6d624 pushed by marcoeilers
October 22, 2024 14:49 1m 0s meilers_assert_read_only
meilers_assert_read_only
October 22, 2024 14:49 1m 0s
Tests with complex perm expressions, fixing some problems ci #1758: Commit 97138be pushed by marcoeilers
October 21, 2024 01:19 10s meilers_kinduction
meilers_kinduction
October 21, 2024 01:19 10s
Preparing tests for actual QPs ci #1757: Commit cf9eb9a pushed by marcoeilers
October 19, 2024 00:38 13s meilers_kinduction
meilers_kinduction
October 19, 2024 00:38 13s
QP chunk merging (from master branch, thanks Alex), and immediately c… ci #1756: Commit a54023d pushed by marcoeilers
October 18, 2024 23:42 12s meilers_kinduction
meilers_kinduction
October 18, 2024 23:42 12s
Merging heaps early, fixing optional consumed heaps returned, fixing … ci #1755: Commit ff2f900 pushed by marcoeilers
October 18, 2024 23:36 12s meilers_kinduction
meilers_kinduction
October 18, 2024 23:36 12s
Line number and postconditions for loops. ci #1754: Commit ef5c200 pushed by rayman2000
October 18, 2024 14:40 11s nklose/biabduction-prototype
nklose/biabduction-prototype
October 18, 2024 14:40 11s
Revamped loops for new abstraction ci #1753: Commit 0d56642 pushed by rayman2000
October 17, 2024 15:24 13s nklose/biabduction-prototype
nklose/biabduction-prototype
October 17, 2024 15:24 13s
Merge pull request #878 from viperproject/auto-update-submodules ci #1752: Commit 4d756c7 pushed by Dspil
October 16, 2024 06:15 12m 46s master
master
October 16, 2024 06:15 12m 46s
Update Submodules ci #1751: Pull request #878 opened by Dspil
October 16, 2024 06:02 12m 29s auto-update-submodules
auto-update-submodules
October 16, 2024 06:02 12m 29s
Updates submodules ci #1750: Commit e71774c pushed by Dspil
October 16, 2024 06:02 12m 34s auto-update-submodules
auto-update-submodules
October 16, 2024 06:02 12m 34s
Merging added chunks properly ci #1749: Commit 8645c6c pushed by marcoeilers
October 15, 2024 22:36 10s meilers_kinduct_merge_chunks
meilers_kinduct_merge_chunks
October 15, 2024 22:36 10s
Merge ci #1748: Commit 4e6ac3b pushed by marcoeilers
October 15, 2024 21:57 13s meilers_kinduction
meilers_kinduction
October 15, 2024 21:57 13s
Merge pull request #876 from viperproject/meilers_fix_862 ci #1747: Commit 8641490 pushed by marcoeilers
October 15, 2024 15:57 15m 28s master
master
October 15, 2024 15:57 15m 28s
Checking only read permissions when asserting function preconditions ci #1746: Pull request #877 opened by marcoeilers
October 15, 2024 15:45 15m 7s meilers_assert_read_only
meilers_assert_read_only
October 15, 2024 15:45 15m 7s
Fixing issue #862 ci #1745: Pull request #876 opened by marcoeilers
October 15, 2024 15:27 15m 22s meilers_fix_862
meilers_fix_862
October 15, 2024 15:27 15m 22s
Fixing issue #862 ci #1744: Commit c9832eb pushed by marcoeilers
October 15, 2024 13:55 15m 50s meilers_fix_862
meilers_fix_862
October 15, 2024 13:55 15m 50s
Update silver ci #1743: Commit 1a87e57 pushed by marcoeilers
October 15, 2024 13:37 12m 29s meilers_assert_read_only
meilers_assert_read_only
October 15, 2024 13:37 12m 29s
Fix test ci #1742: Commit c6fe45d pushed by marcoeilers
October 15, 2024 13:15 15m 50s meilers_assert_read_only
meilers_assert_read_only
October 15, 2024 13:15 15m 50s
Update test annotation ci #1741: Commit 0ed3647 pushed by marcoeilers
October 13, 2024 19:58 12m 15s meilers_assert_read_only
meilers_assert_read_only
October 13, 2024 19:58 12m 15s
Assert-read-only function preconditions ci #1740: Commit f49fee0 pushed by marcoeilers
October 13, 2024 18:25 12m 47s meilers_assert_read_only
meilers_assert_read_only
October 13, 2024 18:25 12m 47s
Support for new asserting expressions ci #1739: Pull request #875 synchronize by marcoeilers
October 4, 2024 11:32 12m 31s meilers_asserting
meilers_asserting
October 4, 2024 11:32 12m 31s