Skip to content

Actions: viperproject/silicon

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
795 workflow runs
795 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Resetting heap instead of throwing away entire state after checking a… ci #1738: Commit 52f94d2 pushed by marcoeilers
October 4, 2024 11:32 12m 26s meilers_asserting
meilers_asserting
October 4, 2024 11:32 12m 26s
Support for new asserting expressions ci #1737: Pull request #875 opened by marcoeilers
October 3, 2024 16:25 13m 6s meilers_asserting
meilers_asserting
October 3, 2024 16:25 13m 6s
Update silver ci #1736: Commit 562b9fe pushed by marcoeilers
September 27, 2024 08:55 12m 35s meilers_asserting
meilers_asserting
September 27, 2024 08:55 12m 35s
Fixed accidental change in PR #863 that led to an old state being use… ci #1735: Commit 2030e3e pushed by marcoeilers
September 26, 2024 13:14 15m 55s master
master
September 26, 2024 13:14 15m 55s
Fixed accidental change in PR #863 ci #1734: Pull request #874 synchronize by marcoeilers
September 26, 2024 13:00 13m 13s meilers_fix_seq_contains_old_state
meilers_fix_seq_contains_old_state
September 26, 2024 13:00 13m 13s
Merge branch 'master' into meilers_fix_seq_contains_old_state ci #1733: Commit 9b9f2fe pushed by marcoeilers
September 26, 2024 13:00 13m 4s meilers_fix_seq_contains_old_state
meilers_fix_seq_contains_old_state
September 26, 2024 13:00 13m 4s
Fixed accidental change in PR #863 ci #1732: Pull request #874 opened by marcoeilers
September 26, 2024 13:00 15m 27s meilers_fix_seq_contains_old_state
meilers_fix_seq_contains_old_state
September 26, 2024 13:00 15m 27s
Fixed accidental change in PR #863 that led to an old state being use… ci #1731: Commit 8700106 pushed by marcoeilers
September 26, 2024 12:56 15m 54s meilers_fix_seq_contains_old_state
meilers_fix_seq_contains_old_state
September 26, 2024 12:56 15m 54s
Fix macro transfer between verifiers in parallel branch verification … ci #1730: Commit b737e36 pushed by marcoeilers
September 17, 2024 11:36 12m 56s master
master
September 17, 2024 11:36 12m 56s
Fix macro transfer between verifiers in parallel branch verification ci #1729: Pull request #872 opened by marcoeilers
September 16, 2024 20:35 12m 19s meilers_fix_macro_declaration_order
meilers_fix_macro_declaration_order
September 16, 2024 20:35 12m 19s
Computing new macros from else branch in a less stupid way ci #1728: Commit dfb0380 pushed by marcoeilers
September 16, 2024 17:44 12m 16s meilers_fix_macro_declaration_order
meilers_fix_macro_declaration_order
September 16, 2024 17:44 12m 16s
Removed old TODO ci #1727: Commit d2b4d43 pushed by marcoeilers
September 16, 2024 16:04 17m 19s meilers_fix_macro_declaration_order
meilers_fix_macro_declaration_order
September 16, 2024 16:04 17m 19s
Removing duplicate filtering that I think no longer makes sense ci #1726: Commit 14d95d8 pushed by marcoeilers
September 16, 2024 09:59 12m 26s meilers_fix_macro_declaration_order
meilers_fix_macro_declaration_order
September 16, 2024 09:59 12m 26s
Cleaning up code that records fresh functions and macros ci #1725: Commit ee7de80 pushed by marcoeilers
September 16, 2024 09:40 12m 43s meilers_fix_macro_declaration_order
meilers_fix_macro_declaration_order
September 16, 2024 09:40 12m 43s
Merge branch 'master' into meilers_fix_macro_declaration_order ci #1724: Commit dba59ca pushed by marcoeilers
September 16, 2024 09:29 12m 45s meilers_fix_macro_declaration_order
meilers_fix_macro_declaration_order
September 16, 2024 09:29 12m 45s
Merge pull request #871 from viperproject/meilers_mce_avoid_literal_m… ci #1723: Commit 768a8b6 pushed by marcoeilers
September 12, 2024 19:06 46m 21s master
master
September 12, 2024 19:06 46m 21s
Avoid introducing MCE macros whose bodies are straightforward literals ci #1722: Pull request #871 synchronize by marcoeilers
September 12, 2024 18:53 12m 45s meilers_mce_avoid_literal_macro
meilers_mce_avoid_literal_macro
September 12, 2024 18:53 12m 45s
Merge branch 'master' into meilers_mce_avoid_literal_macro ci #1721: Commit 66b63d9 pushed by marcoeilers
September 12, 2024 18:53 12m 25s meilers_mce_avoid_literal_macro
meilers_mce_avoid_literal_macro
September 12, 2024 18:53 12m 25s
Avoid introducing MCE macros whose bodies are straightforward literals ci #1720: Pull request #871 opened by marcoeilers
September 12, 2024 18:53 12m 26s meilers_mce_avoid_literal_macro
meilers_mce_avoid_literal_macro
September 12, 2024 18:53 12m 26s
Merge pull request #860 from superaxander/qp-consolidation ci #1719: Commit 20d8d04 pushed by marcoeilers
September 12, 2024 18:52 13m 1s master
master
September 12, 2024 18:52 13m 1s
Consolidating quantified field and predicate chunks ci #1718: Pull request #860 synchronize by marcoeilers
September 12, 2024 18:11 12m 33s superaxander:qp-consolidation
superaxander:qp-consolidation
September 12, 2024 18:11 12m 33s
Merge ci #1717: Commit ad19758 pushed by marcoeilers
September 12, 2024 18:11 12m 28s qp-consolidation
qp-consolidation
September 12, 2024 18:11 12m 28s
Remove withPerm from interface of quantified chunks ci #1716: Commit 7468240 pushed by marcoeilers
September 12, 2024 15:05 14s qp-consolidation
qp-consolidation
September 12, 2024 15:05 14s
Avoid introducing MCE macros whose bodies are straightforward literals ci #1715: Commit bc1dbf8 pushed by marcoeilers
September 12, 2024 15:03 12m 37s meilers_mce_avoid_literal_macro
meilers_mce_avoid_literal_macro
September 12, 2024 15:03 12m 37s