Skip to content

Actions: viperproject/silver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
660 workflow runs
660 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Tests for Silicon issues 844 and 845 Run Backend CI #656: Pull request #801 synchronize by marcoeilers
June 11, 2024 16:09 22m 44s
June 11, 2024 16:09 22m 44s
Tests for Silicon issues 844 and 845 Scala CI #901: Pull request #801 synchronize by marcoeilers
June 11, 2024 16:09 21m 56s meilers_silicon_846_tests
meilers_silicon_846_tests
June 11, 2024 16:09 21m 56s
Tests for Silicon issues 844 and 845 Run Backend CI #655: Pull request #801 synchronize by marcoeilers
June 11, 2024 16:09 22m 53s
June 11, 2024 16:09 22m 53s
Tests for Silicon issues 844 and 845 Scala CI #900: Pull request #801 synchronize by marcoeilers
June 11, 2024 16:09 19m 23s meilers_silicon_846_tests
meilers_silicon_846_tests
June 11, 2024 16:09 19m 23s
Allow domain axioms to use functions that have decreases clauses Scala CI #899: Pull request #802 synchronize by marcoeilers
June 11, 2024 15:54 7m 13s meilers_dont_count_requires_as_pre
meilers_dont_count_requires_as_pre
June 11, 2024 15:54 7m 13s
Allow domain axioms to use functions that have decreases clauses Run Backend CI #654: Pull request #802 synchronize by marcoeilers
June 11, 2024 15:54 23m 1s
June 11, 2024 15:54 23m 1s
Allow domain axioms to use functions that have decreases clauses Scala CI #898: Pull request #802 opened by marcoeilers
June 11, 2024 15:51 7m 58s meilers_dont_count_requires_as_pre
meilers_dont_count_requires_as_pre
June 11, 2024 15:51 7m 58s
Allow domain axioms to use functions that have decreases clauses Run Backend CI #653: Pull request #802 opened by marcoeilers
June 11, 2024 15:51 22m 50s
June 11, 2024 15:51 22m 50s
Merge pull request #800 from viperproject/meilers_adt_allow_other_ext… Update Silver Submodule #198: Commit 46513ef pushed by marcoeilers
June 11, 2024 15:46 13s master
master
June 11, 2024 15:46 13s
Merge pull request #800 from viperproject/meilers_adt_allow_other_ext… Run Backend CI #652: Commit 46513ef pushed by marcoeilers
June 11, 2024 15:46 22m 2s master
master
June 11, 2024 15:46 22m 2s
Merge pull request #800 from viperproject/meilers_adt_allow_other_ext… Scala CI #897: Commit 46513ef pushed by marcoeilers
June 11, 2024 15:46 8m 16s master
master
June 11, 2024 15:46 8m 16s
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