Skip to content

Actions: viperproject/silver

Actions

Update Silver Submodule

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
update_submodules.yml
70 workflow runs
70 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update scala version (2.13.18) (#899) Update Silver Submodule #277: Commit 80e4de2 pushed by jcp19
15s master
master
15s
Update Silver Submodule Update Silver Submodule #276: by marcoeilers
12s master
master
12s
Add Chopper convenience method that just selects a set of names to cr… Update Silver Submodule #275: Commit 900287f pushed by marcoeilers
13s master
master
13s
Avoiding Viper functions in hashsets and as keys in hashmaps (#867) Update Silver Submodule #274: Commit ce12a0a pushed by marcoeilers
13s master
master
13s
Restricting recursiveCallsAndSurroundingUnfoldings to look for recurs… Update Silver Submodule #273: Commit 546e53f pushed by marcoeilers
14s master
master
14s
Track dependencies to interpreted domain functions (#892) Update Silver Submodule #272: Commit 4f84273 pushed by marcoeilers
20s master
master
20s
added ability to use resource URL for Path (#891) Update Silver Submodule #271: Commit e6902bc pushed by jcp19
21s master
master
21s
Recursively traverse let expressions when inferring triggers, not jus… Update Silver Submodule #270: Commit 45204c9 pushed by marcoeilers
16s master
master
16s
Making chopper available via command line (#886) Update Silver Submodule #269: Commit ffd042d pushed by marcoeilers
14s master
master
14s
Benchmarking messages (#888) Update Silver Submodule #268: Commit 277c25f pushed by Dspil
13s master
master
13s
Add command line option to report partial results via StdIOReporter (… Update Silver Submodule #267: Commit 0fdacfb pushed by marcoeilers
14s master
master
14s
Added proper description for changes in Viper IDE and ViperServer Update Silver Submodule #266: Commit 91843f7 pushed by marcoeilers
11s master
master
11s
Update ReleaseNotes with Viper-IDE enhancements Update Silver Submodule #265: Commit aa3c4a9 pushed by marcoeilers
10s master
master
10s
Add release notes for version 2025.8 (#885) Update Silver Submodule #264: Commit ca4ee59 pushed by marcoeilers
11s master
master
11s
Adding utility method on ResourceAccesses (#884) Update Silver Submodule #263: Commit 1ad2802 pushed by marcoeilers
10s master
master
10s
Added SIF plugin, did some more cleanup, and added test files (#881) Update Silver Submodule #262: Commit 6f15981 pushed by marcoeilers
13s master
master
13s
Tests for fixed Silicon issue #856 (#880) Update Silver Submodule #261: Commit b09d079 pushed by marcoeilers
12s master
master
12s
Update Silver Submodule Update Silver Submodule #260: Manually run by jcp19
15s master
master
15s
Optimizing generated termination checks to omit unfolds and condition… Update Silver Submodule #259: Commit 48acd1b pushed by marcoeilers
17s master
master
17s
Disable one unstable test case for Carbon (#870) Update Silver Submodule #258: Commit 0715b81 pushed by marcoeilers
13s master
master
13s
Delete old comment (#878) Update Silver Submodule #257: Commit fc1a26a pushed by JonasAlaif
12s master
master
12s
Do not add extra newline at end of file (#877) Update Silver Submodule #256: Commit 4b5f2f2 pushed by JonasAlaif
12s master
master
12s
Fixing issue #875 (#876) Update Silver Submodule #255: Commit 836ccf1 pushed by marcoeilers
13s master
master
13s
Renamed proverArgs annotation and added test for functions (#874) Update Silver Submodule #254: Commit b5701ec pushed by marcoeilers
14s master
master
14s
Fixed crash in type checker (#817) (#873) Update Silver Submodule #253: Commit faaebee pushed by marcoeilers
11s master
master
11s