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
Remove MissingOutput flag from test case conditionals2.vpr (#788) Run Backend CI #663: Commit 86742da pushed by marcoeilers
June 12, 2024 23:11 21m 8s master
master
June 12, 2024 23:11 21m 8s
Remove MissingOutput flag from test case conditionals2.vpr (#788) Update Silver Submodule #200: Commit 86742da pushed by marcoeilers
June 12, 2024 23:11 17s master
master
June 12, 2024 23:11 17s
Remove MissingOutput flag from test case conditionals2.vpr Scala CI #907: Pull request #788 synchronize by marcoeilers
June 12, 2024 18:04 10m 22s manud99:magic-wand-maps
manud99:magic-wand-maps
June 12, 2024 18:04 10m 22s
Remove MissingOutput flag from test case conditionals2.vpr Run Backend CI #662: Pull request #788 synchronize by marcoeilers
June 12, 2024 18:04 14m 33s
June 12, 2024 18:04 14m 33s
Fix multiple apply of magic wands with quantified expressions Run Backend CI #661: Pull request #805 opened by manud99
June 12, 2024 17:45 48m 2s
June 12, 2024 17:45 48m 2s
Fixing issue #803 Scala CI #905: Pull request #804 synchronize by marcoeilers
June 12, 2024 17:44 7m 14s meilers_fix_803
meilers_fix_803
June 12, 2024 17:44 7m 14s
Fixing issue #803 Run Backend CI #660: Pull request #804 synchronize by marcoeilers
June 12, 2024 17:44 22m 44s
June 12, 2024 17:44 22m 44s
Fixing issue #803 Scala CI #904: Pull request #804 synchronize by marcoeilers
June 12, 2024 17:36 8m 33s meilers_fix_803
meilers_fix_803
June 12, 2024 17:36 8m 33s
Fixing issue #803 Run Backend CI #659: Pull request #804 synchronize by marcoeilers
June 12, 2024 17:36 22m 32s
June 12, 2024 17:36 22m 32s
Fixing issue #803 Scala CI #903: Pull request #804 opened by marcoeilers
June 12, 2024 17:32 24m 3s meilers_fix_803
meilers_fix_803
June 12, 2024 17:32 24m 3s
Fixing issue #803 Run Backend CI #658: Pull request #804 opened by marcoeilers
June 12, 2024 17:32 50m 30s
June 12, 2024 17:32 50m 30s
Tests for Silicon issues 844 and 845 (#801) Run Backend CI #657: Commit e51a7aa pushed by marcoeilers
June 11, 2024 16:32 36m 52s master
master
June 11, 2024 16:32 36m 52s
Tests for Silicon issues 844 and 845 (#801) Scala CI #902: Commit e51a7aa pushed by marcoeilers
June 11, 2024 16:32 7m 47s master
master
June 11, 2024 16:32 7m 47s
Tests for Silicon issues 844 and 845 (#801) Update Silver Submodule #199: Commit e51a7aa pushed by marcoeilers
June 11, 2024 16:32 18s master
master
June 11, 2024 16:32 18s
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