Skip to content

Commit

Permalink
Merge pull request #202 from viperproject/update_sub
Browse files Browse the repository at this point in the history 
update submodules
  • Loading branch information
@Dspil
Dspil authored Feb 12, 2024
2 parents 326dcd4 + c4da0d2 commit 5cd18bd
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 2 files
+1 −1 silver
+3 −1 src/main/scala/viper/carbon/modules/impls/DefaultMainModule.scala
2 changes: 1 addition & 1 deletion silicon
Submodule silicon updated 6 files
+1 −1 silver
+4 −7 src/main/scala/extensions/TryBlockParserPlugin.scala
+5 −3 src/main/scala/extensions/TryBlockStmt.scala
+15 −2 src/main/scala/rules/Evaluator.scala
+2 −2 src/main/scala/verifier/DefaultMainVerifier.scala
+8 −8 src/test/scala/CounterexampleTests.scala

0 comments on commit 5cd18bd

Please sign in to comment.