Skip to content

Actions: viperproject/silver

Actions

Update Silver Submodule

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
update_submodules.yml
85 workflow runs
85 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Merge pull request #802 from viperproject/meilers_dont_count_requires… Update Silver Submodule #204: Commit 93bc9b7 pushed by marcoeilers
June 25, 2024 19:23 16s master
master
June 25, 2024 19:23 16s
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
Add tests for recent Silicon changes (#807) Update Silver Submodule #202: Commit 4a80657 pushed by marcoeilers
June 17, 2024 16:45 18s master
master
June 17, 2024 16:45 18s
Merge pull request #806 from viperproject/meilers_add_perm_introspect… Update Silver Submodule #201: Commit 9cd85c0 pushed by marcoeilers
June 13, 2024 18:34 18s master
master
June 13, 2024 18:34 18s
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
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
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 #795 from viperproject/meilers_disallow_nested_macros Update Silver Submodule #197: Commit 1b588f0 pushed by marcoeilers
May 14, 2024 12:57 19s master
master
May 14, 2024 12:57 19s
Merge pull request #794 from viperproject/meilers_fix_782 Update Silver Submodule #196: Commit 8466d7c pushed by marcoeilers
May 10, 2024 15:35 14s master
master
May 10, 2024 15:35 14s
Merge pull request #793 from viperproject/meilers_fix_787 Update Silver Submodule #195: Commit 5ecdc3c pushed by marcoeilers
May 10, 2024 15:11 17s master
master
May 10, 2024 15:11 17s
Merge branch 'master' of https://github.com/viperproject/silver Update Silver Submodule #194: Commit c7a4e60 pushed by alexanderjsummers
May 7, 2024 22:16 19s master
master
May 7, 2024 22:16 19s
Adding regression test (#792) Update Silver Submodule #193: Commit dd76004 pushed by marcoeilers
May 6, 2024 13:14 16s master
master
May 6, 2024 13:14 16s
Update test annotations (#791) Update Silver Submodule #192: Commit 48e0ac8 pushed by marcoeilers
May 5, 2024 11:43 13s master
master
May 5, 2024 11:43 13s
Update test annotations (#790) Update Silver Submodule #191: Commit 9311366 pushed by marcoeilers
May 5, 2024 10:59 14s master
master
May 5, 2024 10:59 14s
Adding test for new Silicon annotations (#784) Update Silver Submodule #190: Commit 0e9b961 pushed by jcp19
March 28, 2024 21:42 15s master
master
March 28, 2024 21:42 15s
Merge pull request #783 from viperproject/meilers_fix_proof_obligations Update Silver Submodule #189: Commit 4c5ec92 pushed by marcoeilers
March 28, 2024 10:07 14s master
master
March 28, 2024 10:07 14s
Merge pull request #781 from viperproject/meilers_update_tests Update Silver Submodule #188: Commit ddee205 pushed by marcoeilers
March 25, 2024 14:15 14s master
master
March 25, 2024 14:15 14s
Chopper: added logic for opaque functions (#779) Update Silver Submodule #187: Commit e376940 pushed by Felalolf
March 21, 2024 09:27 19s master
master
March 21, 2024 09:27 19s
Merge pull request #776 from viperproject/fewolf_finer_chopper Update Silver Submodule #186: Commit 637723b pushed by Felalolf
March 11, 2024 15:31 15s master
master
March 11, 2024 15:31 15s
Merge pull request #778 from viperproject/meilers_filter_only_stdout Update Silver Submodule #185: Commit bd03b3f pushed by marcoeilers
March 8, 2024 17:50 15s master
master
March 8, 2024 17:50 15s
Merge pull request #777 from viperproject/meilers_silicon_fix_810 Update Silver Submodule #184: Commit 3d0a4ea pushed by marcoeilers
February 28, 2024 11:55 18s master
master
February 28, 2024 11:55 18s
Avoiding folds in the encoding of unfolding expressions (#773) Update Silver Submodule #183: Commit 12076ff pushed by jcp19
February 19, 2024 21:40 14s master
master
February 19, 2024 21:40 14s
update host to point to pm-server (#774) Update Silver Submodule #182: Commit 5bf505f pushed by Dspil
February 19, 2024 14:45 17s master
master
February 19, 2024 14:45 17s
Update ReleaseNotes.md Update Silver Submodule #181: Commit 4c5d72c pushed by marcoeilers
February 15, 2024 22:14 18s master
master
February 15, 2024 22:14 18s
Merge pull request #772 from viperproject/meilers_allow_pure_inexhale Update Silver Submodule #180: Commit dc2616a pushed by marcoeilers
February 14, 2024 19:24 20s master
master
February 14, 2024 19:24 20s