Skip to content

Actions: viperproject/silver

Actions

Scala CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
scala.yml
290 workflow runs
290 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixing precondition treatment in termination plugin proof methods Scala CI #751: Pull request #754 synchronize by marcoeilers
November 10, 2023 16:32 7m 30s meilers_fix_768
meilers_fix_768
November 10, 2023 16:32 7m 30s
Merge pull request #755 from viperproject/meilers_test_silicon_773 Scala CI #750: Commit 25de482 pushed by marcoeilers
November 10, 2023 16:32 6m 48s master
master
November 10, 2023 16:32 6m 48s
Fixing precondition treatment in termination plugin proof methods Scala CI #749: Pull request #754 synchronize by marcoeilers
November 10, 2023 16:00 5m 59s meilers_fix_768
meilers_fix_768
November 10, 2023 16:00 5m 59s
Test for Silicon issue #773 Scala CI #748: Pull request #755 opened by marcoeilers
November 10, 2023 15:59 9m 5s meilers_test_silicon_773
meilers_test_silicon_773
November 10, 2023 15:59 9m 5s
Merge pull request #753 from viperproject/meilers_fix_751 Scala CI #747: Commit 0c4c72c pushed by marcoeilers
November 10, 2023 15:32 8m 43s master
master
November 10, 2023 15:32 8m 43s
Fixing precondition treatment in termination plugin proof methods Scala CI #746: Pull request #754 opened by marcoeilers
November 9, 2023 14:17 9m 13s meilers_fix_768
meilers_fix_768
November 9, 2023 14:17 9m 13s
Properly treating let-expressions when generating triggers Scala CI #745: Pull request #753 synchronize by marcoeilers
November 8, 2023 20:42 8m 58s meilers_fix_751
meilers_fix_751
November 8, 2023 20:42 8m 58s
Properly treating let-expressions when generating triggers Scala CI #744: Pull request #753 opened by marcoeilers
November 8, 2023 20:29 6m 22s meilers_fix_751
meilers_fix_751
November 8, 2023 20:29 6m 22s
Merge pull request #752 from viperproject/meilers_silicon_769_test Scala CI #743: Commit dfe7d76 pushed by marcoeilers
November 8, 2023 19:10 10m 44s master
master
November 8, 2023 19:10 10m 44s
Adding test for Silicon issue #769 Scala CI #742: Pull request #752 opened by marcoeilers
November 8, 2023 18:38 6m 48s meilers_silicon_769_test
meilers_silicon_769_test
November 8, 2023 18:38 6m 48s
Tests for opaque function annotation Scala CI #741: Pull request #750 synchronize by marcoeilers
November 1, 2023 15:12 8m 45s meilers_opaque_functions
meilers_opaque_functions
November 1, 2023 15:12 8m 45s
Tests for opaque function annotation Scala CI #740: Pull request #750 opened by marcoeilers
November 1, 2023 09:49 9m 22s meilers_opaque_functions
meilers_opaque_functions
November 1, 2023 09:49 9m 22s
Merge pull request #749 from pieter-bos/seal-verification-errors Scala CI #739: Commit 31c94df pushed by marcoeilers
October 26, 2023 16:48 8m 38s master
master
October 26, 2023 16:48 8m 38s
Seal VerificationError and ErrorReason? Scala CI #738: Pull request #749 opened by pieter-bos
October 23, 2023 09:09 7m 49s pieter-bos:seal-verification-errors
pieter-bos:seal-verification-errors
October 23, 2023 09:09 7m 49s
Merge pull request #748 from viperproject/meilers_old_trigger_inferen… Scala CI #737: Commit ce5523d pushed by marcoeilers
October 18, 2023 17:07 9m 24s master
master
October 18, 2023 17:07 9m 24s
Cleaner implementation of fix for issue #740 Scala CI #736: Pull request #748 synchronize by marcoeilers
October 18, 2023 15:52 9m 29s meilers_old_trigger_inference_proper
meilers_old_trigger_inference_proper
October 18, 2023 15:52 9m 29s
Cleaner implementation of fix for issue #740 Scala CI #735: Pull request #748 opened by marcoeilers
October 18, 2023 15:51 7m 48s meilers_old_trigger_inference_proper
meilers_old_trigger_inference_proper
October 18, 2023 15:51 7m 48s
Change trigger inference to wrap triggers in old() if necessary Scala CI #734: Pull request #747 opened by marcoeilers
October 17, 2023 16:52 10m 8s meilers_old_trigger_inference
meilers_old_trigger_inference
October 17, 2023 16:52 10m 8s
Merge pull request #746 from viperproject/meilers_silicon_wand_issue_… Scala CI #733: Commit 09956be pushed by marcoeilers
October 16, 2023 16:05 7m 38s master
master
October 16, 2023 16:05 7m 38s
Adding test for a Silicon wand issue Scala CI #732: Pull request #746 synchronize by marcoeilers
October 16, 2023 15:02 8m 17s meilers_silicon_wand_issue_test
meilers_silicon_wand_issue_test
October 16, 2023 15:02 8m 17s
Adding test for a Silicon wand issue Scala CI #731: Pull request #746 synchronize by marcoeilers
October 16, 2023 11:56 8m 21s meilers_silicon_wand_issue_test
meilers_silicon_wand_issue_test
October 16, 2023 11:56 8m 21s
Adding test for a Silicon wand issue Scala CI #730: Pull request #746 opened by marcoeilers
October 16, 2023 11:56 9m 23s meilers_silicon_wand_issue_test
meilers_silicon_wand_issue_test
October 16, 2023 11:56 9m 23s
Merge pull request #743 from viperproject/meilers_adt_decreasing Scala CI #729: Commit f80cbfa pushed by marcoeilers
October 12, 2023 18:08 10m 56s master
master
October 12, 2023 18:08 10m 56s
Auto-generating well-foundedness axioms for ADT types in the ADT plugin Scala CI #728: Pull request #743 synchronize by marcoeilers
October 11, 2023 14:52 9m 34s meilers_adt_decreasing
meilers_adt_decreasing
October 11, 2023 14:52 9m 34s
Auto-generating well-foundedness axioms for ADT types in the ADT plugin Scala CI #727: Pull request #743 synchronize by marcoeilers
October 11, 2023 13:23 7m 53s meilers_adt_decreasing
meilers_adt_decreasing
October 11, 2023 13:23 7m 53s