Skip to content

Commit

Permalink
Merge pull request #232 from viperproject/auto-update-submodules
Browse files Browse the repository at this point in the history 
Update Submodules
  • Loading branch information
@viper-admin
viper-admin committed Jun 17, 2024
2 parents 416abfe + 5bf7ac5 commit acd4dd4
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion carbon
Submodule carbon updated 1 files
+1 −1 silver
2 changes: 1 addition & 1 deletion silicon
Submodule silicon updated 9 files
+1 −1 silver
+12 −5 src/main/scala/extensions/ConditionalPermissionRewriter.scala
+6 −2 src/main/scala/rules/Executor.scala
+19 −0 src/test/resources/conditionalizePermissions/carbon_0179.vpr
+18 −0 src/test/resources/conditionalizePermissions/let.vpr
+15 −0 src/test/resources/conditionalizePermissions/silicon_0008.vpr
+27 −0 src/test/resources/conditionalizePermissions/silicon_0713.vpr
+16 −0 src/test/resources/conditionalizePermissions/welldef.vpr
+15 −0 src/test/scala/SiliconTestsConditionalizePermissions.scala

0 comments on commit acd4dd4

Please sign in to comment.