Skip to content

Actions: viperproject/silver

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
607 workflow runs
607 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Auto-generating well-foundedness axioms for ADT types in the ADT plugin
Run Backend CI #480: Pull request #743 synchronize by marcoeilers
October 11, 2023 13:23 25m 33s
October 11, 2023 13:23 25m 33s
Auto-generating well-foundedness axioms for ADT types in the ADT plugin
Run Backend CI #479: Pull request #743 synchronize by marcoeilers
October 10, 2023 11:42 35m 12s
October 10, 2023 11:42 35m 12s
Merge pull request #744 from viperproject/meilers_unfold_none
Update Silver Submodule #158: Commit 38fd6b0 pushed by marcoeilers
October 9, 2023 16:52 19s master
October 9, 2023 16:52 19s
Merge pull request #744 from viperproject/meilers_unfold_none
Scala CI #725: Commit 38fd6b0 pushed by marcoeilers
October 9, 2023 16:52 8m 43s master
October 9, 2023 16:52 8m 43s
Merge pull request #744 from viperproject/meilers_unfold_none
Run Backend CI #478: Commit 38fd6b0 pushed by marcoeilers
October 9, 2023 16:52 33m 35s master
October 9, 2023 16:52 33m 35s
New error reason for unfolding or folding with non-positive permission amount.
Run Backend CI #477: Pull request #744 opened by marcoeilers
October 5, 2023 08:49 26m 52s
October 5, 2023 08:49 26m 52s
Auto-generating well-foundedness axioms for ADT types in the ADT plugin
Run Backend CI #476: Pull request #743 synchronize by marcoeilers
October 4, 2023 13:58 26m 49s
October 4, 2023 13:58 26m 49s
Auto-generating well-foundedness axioms for ADT types in the ADT plugin
Run Backend CI #475: Pull request #743 opened by marcoeilers
October 4, 2023 13:57 31m 48s
October 4, 2023 13:57 31m 48s
Merge pull request #742 from viperproject/meilers_axiom_instantiation
Scala CI #722: Commit 07dce2b pushed by marcoeilers
October 4, 2023 13:39 9m 14s master
October 4, 2023 13:39 9m 14s
Merge pull request #742 from viperproject/meilers_axiom_instantiation
Update Silver Submodule #157: Commit 07dce2b pushed by marcoeilers
October 4, 2023 13:39 23s master
October 4, 2023 13:39 23s
Merge pull request #742 from viperproject/meilers_axiom_instantiation
Run Backend CI #474: Commit 07dce2b pushed by marcoeilers
October 4, 2023 13:39 29m 3s master
October 4, 2023 13:39 29m 3s
Fixing Silicon issue #753
Scala CI #721: Pull request #742 synchronize by marcoeilers
October 4, 2023 13:07 9m 25s meilers_axiom_instantiation
October 4, 2023 13:07 9m 25s
Fixing Silicon issue #753
Run Backend CI #473: Pull request #742 synchronize by marcoeilers
October 4, 2023 13:07 25m 53s
October 4, 2023 13:07 25m 53s
Fixing Silicon issue #753
Scala CI #720: Pull request #742 synchronize by marcoeilers
October 3, 2023 14:58 7m 42s meilers_axiom_instantiation
October 3, 2023 14:58 7m 42s
Fixing Silicon issue #753
Run Backend CI #472: Pull request #742 synchronize by marcoeilers
October 3, 2023 14:58 6h 0m 17s
October 3, 2023 14:58 6h 0m 17s
Fixing Silicon issue #753
Scala CI #719: Pull request #742 opened by marcoeilers
October 3, 2023 14:54 9m 46s meilers_axiom_instantiation
October 3, 2023 14:54 9m 46s
Fixing Silicon issue #753
Run Backend CI #471: Pull request #742 opened by marcoeilers
October 3, 2023 14:54 6h 0m 25s
October 3, 2023 14:54 6h 0m 25s
August 25, 2023 15:13 10m 53s
Merge pull request #738 from viperproject/meilers_fix_decreases_impor…
Run Backend CI #470: Commit 65ec341 pushed by marcoeilers
August 25, 2023 15:13 25m 24s master
August 25, 2023 15:13 25m 24s
Merge pull request #738 from viperproject/meilers_fix_decreases_impor…
Update Silver Submodule #156: Commit 65ec341 pushed by marcoeilers
August 25, 2023 15:13 22s master
August 25, 2023 15:13 22s
Also checking postconditions for decreases clauses
Run Backend CI #469: Pull request #738 opened by marcoeilers
August 25, 2023 14:19 26m 3s
August 25, 2023 14:19 26m 3s
ProTip! You can narrow down the results and go further in time using created:<2023-08-25 or the other filters available.