Commit 1e1df94
Silver Bot
Set silver submodule to 54f7f5f357b4f605ce53f744d0f2e8ba528966ef [skip ci]
1 parent eb872e2 commit 1e1df94
1 file changed
Lines changed: 1 addition & 1 deletion
- .github/workflows/carbon_silicon_ci.yml+1-1
- .github/workflows/scala.yml+2-2
- .github/workflows/update_submodules.yml+1-1
- ReleaseNotes.md-97
- build.sbt+1-2
- src/main/scala/viper/silver/ast/Expression.scala+3-6
- src/main/scala/viper/silver/ast/Position.scala+7-3
- src/main/scala/viper/silver/ast/utility/Consistency.scala+4-4
- src/main/scala/viper/silver/ast/utility/Functions.scala+46-27
- src/main/scala/viper/silver/ast/utility/GenericTriggerGenerator.scala+4-9
- src/main/scala/viper/silver/ast/utility/Triggers.scala+3-8
- src/main/scala/viper/silver/ast/utility/chopper/Chopper.scala+3-74
- src/main/scala/viper/silver/frontend/SilFrontEndConfig.scala+3-11
- src/main/scala/viper/silver/frontend/SilFrontend.scala+7-21
- src/main/scala/viper/silver/parser/FastParser.scala+3-1
- src/main/scala/viper/silver/plugin/sif/SIFAstExtensions.scala-233
- src/main/scala/viper/silver/plugin/sif/SIFError.scala-81
- src/main/scala/viper/silver/plugin/sif/SIFExtendedTransformer.scala-2.3k
- src/main/scala/viper/silver/plugin/sif/SIFPAstExtensions.scala-95
- src/main/scala/viper/silver/plugin/sif/SIFPlugin.scala-46
- src/main/scala/viper/silver/plugin/standard/termination/TerminationPlugin.scala+15-20
- src/main/scala/viper/silver/plugin/standard/termination/transformation/ExpTransformer.scala+7-32
- src/main/scala/viper/silver/plugin/standard/termination/transformation/FunctionCheck.scala+2-2
- src/main/scala/viper/silver/reporter/Message.scala+7-6
- src/main/scala/viper/silver/reporter/Reporter.scala+11-21
- src/main/scala/viper/silver/utility/Caching.scala+55-25
- src/main/scala/viper/silver/utility/Paths.scala-22
- src/test/resources/all/annotation/annotationProverArgs.vpr+3-30
- src/test/resources/all/functions/linkedlists.vpr-1
- src/test/resources/all/issues/silicon/0327.vpr-12
- src/test/resources/all/issues/silicon/0856.vpr-19
- src/test/resources/all/issues/silicon/0926.vpr-3
- src/test/resources/all/issues/silicon/0943.vpr-783
- src/test/resources/all/issues/silicon/0950.vpr-687
- src/test/resources/all/issues/silver/0875.vpr-298
- src/test/resources/all/issues/silver/0895.vpr-23
- src/test/resources/quantifiedpermissions/issues/issue_0147.vpr+4-3
- src/test/resources/sif/basic.vpr-194
- src/test/resources/sif/domain_invalid.vpr-16
- src/test/resources/sif/fields.vpr-57
- src/test/resources/sif/functions_invalid.vpr-10
- src/test/resources/sif/functions_valid.vpr-69
- src/test/resources/sif/goto_invalid.vpr-9
- src/test/resources/sif/predicate.vpr-37
- src/test/resources/sif/sif_branch_condition.vpr-39
- src/test/resources/sif/sif_loop_condition.vpr-44
- src/test/resources/sif/silver-issue-903.vpr-12
- src/test/resources/sif/termination.vpr-17
- src/test/scala/AstPositionsTests.scala+1-13
- src/test/scala/MethodDependencyTests.scala+13
0 commit comments