Commit f636b77
File tree
- key.core
- pipelineTests
- innerclass/expected
- 02_TryWithResourceReducer
- 03_EnumClassBuilder
- 04_RecordClassBuilder
- 05_JMLTransformer
- 06_JmlDocRemoval
- 07_ImplicitFieldAdder
- 08_InstanceAllocationMethodBuilder
- 09_ConstructorNormalformBuilder
- 10_ClassPreparationMethodBuilder
- 11_ClassInitializeMethodBuilder
- 12_PrepareObjectBuilder
- 13_CreateBuilder
- 14_CreateObjectBuilder
- 15_LocalClassTransformation
- 16_ConstantStringExpressionEvaluator
- records/expected
- 02_TryWithResourceReducer
- 03_EnumClassBuilder
- 04_RecordClassBuilder
- 05_JMLTransformer
- 06_JmlDocRemoval
- 07_ImplicitFieldAdder
- 08_InstanceAllocationMethodBuilder
- 09_ConstructorNormalformBuilder
- 10_ClassPreparationMethodBuilder
- 11_ClassInitializeMethodBuilder
- 12_PrepareObjectBuilder
- 13_CreateBuilder
- 14_CreateObjectBuilder
- 15_LocalClassTransformation
- 16_ConstantStringExpressionEvaluator
- simple/expected
- 02_TryWithResourceReducer
- 03_EnumClassBuilder
- 04_RecordClassBuilder
- 05_JMLTransformer
- 06_JmlDocRemoval
- 07_ImplicitFieldAdder
- 08_InstanceAllocationMethodBuilder
- 09_ConstructorNormalformBuilder
- 10_ClassPreparationMethodBuilder
- 11_ClassInitializeMethodBuilder
- 12_PrepareObjectBuilder
- 13_CreateBuilder
- 14_CreateObjectBuilder
- 15_LocalClassTransformation
- 16_ConstantStringExpressionEvaluator
- src
- main
- java/de/uka/ilkd/key/java/transformations/pipeline
- resources/de/uka/ilkd/key/java/JavaRedux/java/lang
- test/java/de/uka/ilkd/key/java/transformations/pipeline
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
Lines changed: 5 additions & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
0 commit comments