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
Merge pull request #804 from viperproject/meilers_fix_803 Run Backend CI #686: Commit aa72715 pushed by marcoeilers
June 25, 2024 19:01 22m 3s master
master
June 25, 2024 19:01 22m 3s
Merge pull request #804 from viperproject/meilers_fix_803 Scala CI #931: Commit aa72715 pushed by marcoeilers
June 25, 2024 19:01 7m 52s master
master
June 25, 2024 19:01 7m 52s
Merge pull request #804 from viperproject/meilers_fix_803 Update Silver Submodule #203: Commit aa72715 pushed by marcoeilers
June 25, 2024 19:01 23s master
master
June 25, 2024 19:01 23s
Fix multiple apply of magic wands with quantified expressions Scala CI #930: Pull request #805 synchronize by manud99
June 25, 2024 13:26 7m 42s manud99:quantified-magic-wand-maps
manud99:quantified-magic-wand-maps
June 25, 2024 13:26 7m 42s
Fix multiple apply of magic wands with quantified expressions Run Backend CI #685: Pull request #805 synchronize by manud99
June 25, 2024 13:26 50m 33s
June 25, 2024 13:26 50m 33s
Advanced logical proofs Scala CI #929: Pull request #785 synchronize by jogasser
June 24, 2024 07:58 7m 16s jogasser:advanced-logical-proofs
jogasser:advanced-logical-proofs
June 24, 2024 07:58 7m 16s
Advanced logical proofs Run Backend CI #684: Pull request #785 synchronize by jogasser
June 24, 2024 07:58 21m 21s
June 24, 2024 07:58 21m 21s
Advanced logical proofs Scala CI #928: Pull request #785 synchronize by jogasser
June 24, 2024 06:21 6m 57s jogasser:advanced-logical-proofs
jogasser:advanced-logical-proofs
June 24, 2024 06:21 6m 57s
Advanced logical proofs Run Backend CI #683: Pull request #785 synchronize by jogasser
June 24, 2024 06:21 21m 54s
June 24, 2024 06:21 21m 54s
Advanced logical proofs Scala CI #927: Pull request #785 synchronize by jogasser
June 24, 2024 06:05 7m 2s jogasser:advanced-logical-proofs
jogasser:advanced-logical-proofs
June 24, 2024 06:05 7m 2s
Advanced logical proofs Run Backend CI #682: Pull request #785 synchronize by jogasser
June 24, 2024 06:04 22m 30s
June 24, 2024 06:04 22m 30s
Advanced logical proofs Scala CI #926: Pull request #785 synchronize by jogasser
June 24, 2024 05:44 2m 54s jogasser:advanced-logical-proofs
jogasser:advanced-logical-proofs
June 24, 2024 05:44 2m 54s
Advanced logical proofs Run Backend CI #681: Pull request #785 synchronize by jogasser
June 24, 2024 05:44 1m 40s
June 24, 2024 05:44 1m 40s
Advanced logical proofs Scala CI #925: Pull request #785 synchronize by jogasser
June 24, 2024 05:41 2m 48s jogasser:advanced-logical-proofs
jogasser:advanced-logical-proofs
June 24, 2024 05:41 2m 48s
Advanced logical proofs Run Backend CI #680: Pull request #785 synchronize by jogasser
June 24, 2024 05:41 1m 31s
June 24, 2024 05:41 1m 31s
Advanced logical proofs Scala CI #924: Pull request #785 synchronize by jogasser
June 24, 2024 05:34 7m 10s jogasser:advanced-logical-proofs
jogasser:advanced-logical-proofs
June 24, 2024 05:34 7m 10s
Advanced logical proofs Run Backend CI #679: Pull request #785 synchronize by jogasser
June 24, 2024 05:34 21m 53s
June 24, 2024 05:34 21m 53s
Advanced logical proofs Scala CI #923: Pull request #785 synchronize by jogasser
June 24, 2024 05:34 7m 4s jogasser:advanced-logical-proofs
jogasser:advanced-logical-proofs
June 24, 2024 05:34 7m 4s
Advanced logical proofs Run Backend CI #678: Pull request #785 synchronize by jogasser
June 24, 2024 05:34 21m 31s
June 24, 2024 05:34 21m 31s
Advanced logical proofs Scala CI #922: Pull request #785 synchronize by jogasser
June 24, 2024 05:34 7m 26s jogasser:advanced-logical-proofs
jogasser:advanced-logical-proofs
June 24, 2024 05:34 7m 26s
Advanced logical proofs Run Backend CI #677: Pull request #785 synchronize by jogasser
June 24, 2024 05:34 21m 51s
June 24, 2024 05:34 21m 51s
Allow domain axioms to use functions that have decreases clauses Scala CI #921: Pull request #802 synchronize by marcoeilers
June 17, 2024 22:45 8m 12s meilers_dont_count_requires_as_pre
meilers_dont_count_requires_as_pre
June 17, 2024 22:45 8m 12s
Allow domain axioms to use functions that have decreases clauses Run Backend CI #676: Pull request #802 synchronize by marcoeilers
June 17, 2024 22:45 21m 22s
June 17, 2024 22:45 21m 22s
Fixing issue #803 Scala CI #920: Pull request #804 synchronize by marcoeilers
June 17, 2024 22:45 8m 9s meilers_fix_803
meilers_fix_803
June 17, 2024 22:45 8m 9s
Fixing issue #803 Run Backend CI #675: Pull request #804 synchronize by marcoeilers
June 17, 2024 22:45 23m 7s
June 17, 2024 22:45 23m 7s