New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update Submodules #819

Merged

jcp19 merged 1 commit into master from auto-update-submodules

Jan 12, 2025

Member

viper-admin commented Jan 12, 2025

Updates ViperServer from cbe22a3c0c5e594bf6d1d807cedfc94156508a16 to 34d4da1cb8d4bd52d7f3208f10eec2522815d4fd.


          Updates submodules

27b674c

viper-admin added the automated pr label

jcp19 mentioned this pull request

Reinstate the usage of the SilFrontend API and support for the refute statement #818

Merged

2 tasks

jcp19 merged commit 75ccbb8 into master

2 of 3 checks passed

jcp19 deleted the auto-update-submodules branch

January 12, 2025 21:56

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels