Skip to content

Actions: viperproject/silver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
837 workflow runs
837 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Tests for Silicon issues 844 and 845 Scala CI #896: Pull request #801 opened by marcoeilers
June 11, 2024 15:28 8m 53s meilers_silicon_846_tests
meilers_silicon_846_tests
June 11, 2024 15:28 8m 53s
Tests for Silicon issues 844 and 845 Run Backend CI #651: Pull request #801 opened by marcoeilers
June 11, 2024 15:28 21m 35s
June 11, 2024 15:28 21m 35s
Preventing ADT plugin crash when it finds unknown AST extensions Scala CI #895: Pull request #800 opened by marcoeilers
June 11, 2024 15:24 8m 22s meilers_adt_allow_other_extensions
meilers_adt_allow_other_extensions
June 11, 2024 15:24 8m 22s
Preventing ADT plugin crash when it finds unknown AST extensions Run Backend CI #650: Pull request #800 opened by marcoeilers
June 11, 2024 15:24 22m 22s
June 11, 2024 15:24 22m 22s
Add Inhaling expression Run Backend CI #649: Pull request #799 opened by manud99
June 11, 2024 15:04 22m 24s
June 11, 2024 15:04 22m 24s
Advanced logical proofs Scala CI #893: Pull request #785 synchronize by ArquintL
June 2, 2024 08:42 8m 1s jogasser:advanced-logical-proofs
jogasser:advanced-logical-proofs
June 2, 2024 08:42 8m 1s
Advanced logical proofs Run Backend CI #648: Pull request #785 synchronize by ArquintL
June 2, 2024 08:42 22m 22s
June 2, 2024 08:42 22m 22s
Advanced logical proofs Scala CI #892: Pull request #785 synchronize by jogasser
May 21, 2024 07:20 9m 38s jogasser:advanced-logical-proofs
jogasser:advanced-logical-proofs
May 21, 2024 07:20 9m 38s
Advanced logical proofs Run Backend CI #647: Pull request #785 synchronize by jogasser
May 21, 2024 07:20 14m 32s
May 21, 2024 07:20 14m 32s
Merge pull request #795 from viperproject/meilers_disallow_nested_macros Update Silver Submodule #197: Commit 1b588f0 pushed by marcoeilers
May 14, 2024 12:57 19s master
master
May 14, 2024 12:57 19s
Merge pull request #795 from viperproject/meilers_disallow_nested_macros Scala CI #891: Commit 1b588f0 pushed by marcoeilers
May 14, 2024 12:57 14m 39s master
master
May 14, 2024 12:57 14m 39s
Merge pull request #795 from viperproject/meilers_disallow_nested_macros Run Backend CI #646: Commit 1b588f0 pushed by marcoeilers
May 14, 2024 12:57 23m 15s master
master
May 14, 2024 12:57 23m 15s
Remove MissingOutput flag from test case conditionals2.vpr Scala CI #890: Pull request #788 synchronize by JonasAlaif
May 14, 2024 12:13 8m 11s manud99:magic-wand-maps
manud99:magic-wand-maps
May 14, 2024 12:13 8m 11s
Remove MissingOutput flag from test case conditionals2.vpr Run Backend CI #645: Pull request #788 synchronize by JonasAlaif
May 14, 2024 12:13 37m 53s
May 14, 2024 12:13 37m 53s
Test suite for magic wand snap functions. Scala CI #889: Pull request #796 synchronize by manud99
May 13, 2024 12:55 6m 54s manud99:magic-wand-snap-functions
manud99:magic-wand-snap-functions
May 13, 2024 12:55 6m 54s
Test suite for magic wand snap functions. Run Backend CI #644: Pull request #796 synchronize by manud99
May 13, 2024 12:55 14m 12s
May 13, 2024 12:55 14m 12s
Test suite for magic wand snap functions. Run Backend CI #643: Pull request #796 synchronize by manud99
May 13, 2024 12:00 22m 39s
May 13, 2024 12:00 22m 39s
Test suite for magic wand snap functions. Run Backend CI #642: Pull request #796 opened by manud99
May 13, 2024 09:56 21m 10s
May 13, 2024 09:56 21m 10s
Add argument to properly disallow nested macros Scala CI #886: Pull request #795 synchronize by marcoeilers
May 10, 2024 15:40 6m 48s meilers_disallow_nested_macros
meilers_disallow_nested_macros
May 10, 2024 15:40 6m 48s
Add argument to properly disallow nested macros Run Backend CI #641: Pull request #795 synchronize by marcoeilers
May 10, 2024 15:40 21m 59s
May 10, 2024 15:40 21m 59s
Add argument to properly disallow nested macros Scala CI #885: Pull request #795 synchronize by marcoeilers
May 10, 2024 15:37 9m 35s meilers_disallow_nested_macros
meilers_disallow_nested_macros
May 10, 2024 15:37 9m 35s
Add argument to properly disallow nested macros Run Backend CI #640: Pull request #795 synchronize by marcoeilers
May 10, 2024 15:37 21m 15s
May 10, 2024 15:37 21m 15s
Merge pull request #794 from viperproject/meilers_fix_782 Scala CI #884: Commit 8466d7c pushed by marcoeilers
May 10, 2024 15:35 8m 6s master
master
May 10, 2024 15:35 8m 6s
Merge pull request #794 from viperproject/meilers_fix_782 Update Silver Submodule #196: Commit 8466d7c pushed by marcoeilers
May 10, 2024 15:35 14s master
master
May 10, 2024 15:35 14s
Merge pull request #794 from viperproject/meilers_fix_782 Run Backend CI #639: Commit 8466d7c pushed by marcoeilers
May 10, 2024 15:35 23m 30s master
master
May 10, 2024 15:35 23m 30s