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

Auto-generating well-foundedness axioms for ADT types in the ADT plugin Scala CI #726: Pull request #743 synchronize by marcoeilers
October 10, 2023 11:42 9m 28s meilers_adt_decreasing
meilers_adt_decreasing
October 10, 2023 11:42 9m 28s
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
master
October 9, 2023 16:52 8m 43s
New error reason for unfolding or folding with non-positive permission amount. Scala CI #724: Pull request #744 opened by marcoeilers
October 5, 2023 08:49 9m 9s meilers_unfold_none
meilers_unfold_none
October 5, 2023 08:49 9m 9s
Auto-generating well-foundedness axioms for ADT types in the ADT plugin Scala CI #723: Pull request #743 synchronize by marcoeilers
October 4, 2023 13:58 8m 58s meilers_adt_decreasing
meilers_adt_decreasing
October 4, 2023 13:58 8m 58s
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
master
October 4, 2023 13:39 9m 14s
Fixing Silicon issue #753 Scala CI #721: Pull request #742 synchronize by marcoeilers
October 4, 2023 13:07 9m 25s meilers_axiom_instantiation
meilers_axiom_instantiation
October 4, 2023 13:07 9m 25s
Fixing Silicon issue #753 Scala CI #720: Pull request #742 synchronize by marcoeilers
October 3, 2023 14:58 7m 42s meilers_axiom_instantiation
meilers_axiom_instantiation
October 3, 2023 14:58 7m 42s
Fixing Silicon issue #753 Scala CI #719: Pull request #742 opened by marcoeilers
October 3, 2023 14:54 9m 46s meilers_axiom_instantiation
meilers_axiom_instantiation
October 3, 2023 14:54 9m 46s
Merge pull request #738 from viperproject/meilers_fix_decreases_impor… Scala CI #718: Commit 65ec341 pushed by marcoeilers
August 25, 2023 15:13 10m 53s master
master
August 25, 2023 15:13 10m 53s
Also checking postconditions for decreases clauses Scala CI #717: Pull request #738 opened by marcoeilers
August 25, 2023 14:19 9m 26s meilers_fix_decreases_import_post
meilers_fix_decreases_import_post
August 25, 2023 14:19 9m 26s
Merge pull request #737 from viperproject/meilers_fix_silicon_744 Scala CI #716: Commit 56b74d1 pushed by marcoeilers
August 21, 2023 22:18 8m 2s master
master
August 21, 2023 22:18 8m 2s
Adding test for Silicon issue #744 Scala CI #715: Pull request #737 opened by marcoeilers
August 21, 2023 20:59 9m 24s meilers_fix_silicon_744
meilers_fix_silicon_744
August 21, 2023 20:59 9m 24s
Merge pull request #736 from viperproject/meilers_fix_carbon_refute Scala CI #714: Commit 0f16c1f pushed by marcoeilers
August 21, 2023 15:36 9m 26s master
master
August 21, 2023 15:36 9m 26s
Fixing refute plugin for nodes with several info nodes Scala CI #713: Pull request #736 synchronize by marcoeilers
August 19, 2023 21:33 7m 56s meilers_fix_carbon_refute
meilers_fix_carbon_refute
August 19, 2023 21:33 7m 56s
Fixing refute plugin for nodes with several info nodes Scala CI #712: Pull request #736 opened by marcoeilers
August 19, 2023 21:26 9m 27s meilers_fix_carbon_refute
meilers_fix_carbon_refute
August 19, 2023 21:26 9m 27s
Merge pull request #734 from viperproject/meilers_release_notes_update Scala CI #711: Commit c5ce6cd pushed by marcoeilers
August 17, 2023 17:54 8m 50s master
master
August 17, 2023 17:54 8m 50s
Update ReleaseNotes.md Scala CI #710: Pull request #734 opened by marcoeilers
August 17, 2023 17:12 7m 42s meilers_release_notes_update
meilers_release_notes_update
August 17, 2023 17:12 7m 42s
Merge pull request #732 from viperproject/meilers_term_plugin_deactiv… Scala CI #709: Commit 8bd26f5 pushed by marcoeilers
August 17, 2023 15:45 8m 53s master
master
August 17, 2023 15:45 8m 53s
SilFrontend API for Viper frontend usage Scala CI #708: Pull request #732 synchronize by marcoeilers
August 16, 2023 19:53 11m 55s meilers_term_plugin_deactive_flag
meilers_term_plugin_deactive_flag
August 16, 2023 19:53 11m 55s
SilFrontend API for Viper frontend usage Scala CI #707: Pull request #732 synchronize by marcoeilers
August 14, 2023 22:47 9m 36s meilers_term_plugin_deactive_flag
meilers_term_plugin_deactive_flag
August 14, 2023 22:47 9m 36s
SilFrontend API for Viper frontend usage Scala CI #706: Pull request #732 opened by marcoeilers
August 14, 2023 22:35 7m 40s meilers_term_plugin_deactive_flag
meilers_term_plugin_deactive_flag
August 14, 2023 22:35 7m 40s
Merge pull request #731 from viperproject/meilers_fix_silicon_740 Scala CI #705: Commit c3cf35a pushed by marcoeilers
August 14, 2023 19:42 11m 0s master
master
August 14, 2023 19:42 11m 0s
Test case for Silicon issue #740 Scala CI #704: Pull request #731 opened by marcoeilers
August 14, 2023 18:36 8m 23s meilers_fix_silicon_740
meilers_fix_silicon_740
August 14, 2023 18:36 8m 23s
Merge pull request #730 from viperproject/meilers_fix_silicon_742 Scala CI #703: Commit 501f1ec pushed by marcoeilers
August 14, 2023 18:22 12m 1s master
master
August 14, 2023 18:22 12m 1s
Added missing case (fixes Silicon issue #742) Scala CI #702: Pull request #730 synchronize by marcoeilers
August 14, 2023 17:51 8m 26s meilers_fix_silicon_742
meilers_fix_silicon_742
August 14, 2023 17:51 8m 26s
ProTip! You can narrow down the results and go further in time using created:<2023-08-14 or the other filters available.