Skip to content

Actions: viperproject/gobra

Actions

test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
706 workflow runs
706 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add support for new interpretation of fractional perms in pure functi… test #4858: Commit 1110319 pushed by jcp19
January 17, 2025 18:26 21m 49s master
master
January 17, 2025 18:26 21m 49s
Add support for new interpretation of fractional perms in pure function preconditions test #4857: Pull request #822 synchronize by jcp19
January 17, 2025 16:54 26m 18s jcp19-respect-function-pre-amounts
jcp19-respect-function-pre-amounts
January 17, 2025 16:54 26m 18s
Update src/main/scala/viper/gobra/frontend/Config.scala test #4856: Commit 6229147 pushed by jcp19
January 17, 2025 16:54 29m 36s jcp19-respect-function-pre-amounts
jcp19-respect-function-pre-amounts
January 17, 2025 16:54 29m 36s
Add support for new interpretation of fractional perms in pure function preconditions test #4855: Pull request #822 synchronize by jcp19
January 17, 2025 16:33 21m 27s jcp19-respect-function-pre-amounts
jcp19-respect-function-pre-amounts
January 17, 2025 16:33 21m 27s
change default test #4854: Commit cd0b93f pushed by jcp19
January 17, 2025 16:33 22m 57s jcp19-respect-function-pre-amounts
jcp19-respect-function-pre-amounts
January 17, 2025 16:33 22m 57s
fixes a compiler warning test #4853: Commit f07598e pushed by ArquintL
January 17, 2025 13:01 15m 27s more-robust-config-creation
more-robust-config-creation
January 17, 2025 13:01 15m 27s
fixes invalid position information for parser error test #4852: Commit 6be69f4 pushed by ArquintL
January 17, 2025 12:45 20m 58s more-robust-config-creation
more-robust-config-creation
January 17, 2025 12:45 20m 58s
Add support for new interpretation of fractional perms in pure function preconditions test #4851: Pull request #822 opened by jcp19
January 17, 2025 11:30 22m 11s jcp19-respect-function-pre-amounts
jcp19-respect-function-pre-amounts
January 17, 2025 11:30 22m 11s
add better config options test #4850: Commit e53952f pushed by jcp19
January 17, 2025 11:30 25m 51s jcp19-respect-function-pre-amounts
jcp19-respect-function-pre-amounts
January 17, 2025 11:30 25m 51s
change default interpretation of fractional perms in pure function pr… test #4849: Commit ecdfeef pushed by jcp19
January 17, 2025 11:21 19m 27s jcp19-respect-function-pre-amounts
jcp19-respect-function-pre-amounts
January 17, 2025 11:21 19m 27s
Merges branch 'master' into 'more-robust-config-creation' test #4848: Commit bee20c4 pushed by ArquintL
January 16, 2025 15:02 20m 57s more-robust-config-creation
more-robust-config-creation
January 16, 2025 15:02 20m 57s
Reinstate the usage of the SilFrontend API and support for the refute… test #4847: Commit f164bc2 pushed by jcp19
January 16, 2025 09:48 22m 7s master
master
January 16, 2025 09:48 22m 7s
Reinstate the usage of the SilFrontend API and support for the refute statement test #4846: Pull request #818 synchronize by jcp19
January 16, 2025 09:25 21m 33s add-refute-again
add-refute-again
January 16, 2025 09:25 21m 33s
Adapt according to Linard's review test #4845: Commit 646ab65 pushed by jcp19
January 16, 2025 09:25 24m 47s add-refute-again
add-refute-again
January 16, 2025 09:25 24m 47s
Reinstate the usage of the SilFrontend API and support for the refute statement test #4844: Pull request #818 synchronize by jcp19
January 16, 2025 09:20 20m 21s add-refute-again
add-refute-again
January 16, 2025 09:20 20m 21s
Apply suggestions from code review test #4843: Commit c4b78c6 pushed by jcp19
January 16, 2025 09:20 47m 30s add-refute-again
add-refute-again
January 16, 2025 09:20 47m 30s
Updates submodules (#820) test #4842: Commit 8c622d0 pushed by jcp19
January 16, 2025 09:18 20m 2s master
master
January 16, 2025 09:18 20m 2s
Update Submodules test #4841: Pull request #820 opened by viper-admin
January 15, 2025 14:47 21m 55s auto-update-submodules
auto-update-submodules
January 15, 2025 14:47 21m 55s
Updates submodules test #4840: Commit 3e91135 pushed by viper-admin
January 15, 2025 14:47 22m 1s auto-update-submodules
auto-update-submodules
January 15, 2025 14:47 22m 1s
sif + viper frontend api test #4839: Commit db92f04 pushed by jcp19
January 14, 2025 11:53 13m 33s hyperGobraPlusRefute
hyperGobraPlusRefute
January 14, 2025 11:53 13m 33s
Hyper Gobra test #4838: Pull request #802 synchronize by jcp19
January 14, 2025 11:47 27m 24s hyperGobra
hyperGobra
January 14, 2025 11:47 27m 24s
Merge branch 'master' into hyperGobra test #4837: Commit 64a72e9 pushed by jcp19
January 14, 2025 11:47 27m 0s hyperGobra
hyperGobra
January 14, 2025 11:47 27m 0s
Reinstate the usage of the SilFrontend API and support for the refute statement test #4836: Pull request #818 synchronize by jcp19
January 13, 2025 10:55 15m 40s add-refute-again
add-refute-again
January 13, 2025 10:55 15m 40s
Merge branch 'master' into add-refute-again test #4835: Commit a69e9f0 pushed by jcp19
January 13, 2025 10:55 20m 53s add-refute-again
add-refute-again
January 13, 2025 10:55 20m 53s
Updates submodules (#819) test #4834: Commit 75ccbb8 pushed by jcp19
January 12, 2025 21:56 20m 54s master
master
January 12, 2025 21:56 20m 54s