Commit c4e771b
File tree
- key.core
- pipelineTests
- innerclass/expected
- 03_JMLTransformer
- 04_JmlDocRemoval
- 05_ImplicitFieldAdder
- 06_InstanceAllocationMethodBuilder
- 07_ConstructorNormalformBuilder
- 08_ClassPreparationMethodBuilder
- 09_ClassInitializeMethodBuilder
- 10_PrepareObjectBuilder
- 11_CreateBuilder
- 12_CreateObjectBuilder
- 13_LocalClassTransformation
- 14_ConstantStringExpressionEvaluator
- records/input
- simple/expected
- 03_JMLTransformer
- 04_JmlDocRemoval
- 05_ImplicitFieldAdder
- 06_InstanceAllocationMethodBuilder
- 07_ConstructorNormalformBuilder
- 08_ClassPreparationMethodBuilder
- 09_ClassInitializeMethodBuilder
- 10_PrepareObjectBuilder
- 11_CreateBuilder
- 12_CreateObjectBuilder
- 13_LocalClassTransformation
- 14_ConstantStringExpressionEvaluator
- src
- main
- antlr4
- java/de/uka/ilkd/key
- java
- loader
- transformations
- pipeline
- parser
- proof/init
- speclang
- jml/pretranslation
- njml
- util
- parsing
- resources/de/uka/ilkd/key
- java/JavaRedux/java/lang
- proof/rules
- test/java
- de/uka/ilkd/key/proof/runallproofs
- key.ui
- examples
- Java/Records
- src
- index
- src/main/java/de/uka/ilkd/key/gui
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
Lines changed: 0 additions & 5 deletions
This file was deleted.
Lines changed: 0 additions & 5 deletions
This file was deleted.
Lines changed: 0 additions & 41 deletions
This file was deleted.
key.core/pipelineTests/innerclass/expected/06_InstanceAllocationMethodBuilder/MostSimpleInner.java
Lines changed: 0 additions & 45 deletions
This file was deleted.
Lines changed: 0 additions & 61 deletions
This file was deleted.
Lines changed: 0 additions & 67 deletions
This file was deleted.
Lines changed: 0 additions & 143 deletions
This file was deleted.
0 commit comments