-
- Downloads
Normalize to Unix newlines
Showing
- src/main/java/de/tlc4b/tla/TLADefinition.java 31 additions, 31 deletionssrc/main/java/de/tlc4b/tla/TLADefinition.java
- src/main/java/de/tlc4b/tla/TLAModule.java 116 additions, 116 deletionssrc/main/java/de/tlc4b/tla/TLAModule.java
- src/main/java/de/tlc4b/tla/config/ConfigFileAssignment.java 25 additions, 25 deletionssrc/main/java/de/tlc4b/tla/config/ConfigFileAssignment.java
- src/main/java/de/tlc4b/tla/config/ModelValueAssignment.java 21 additions, 21 deletionssrc/main/java/de/tlc4b/tla/config/ModelValueAssignment.java
- src/main/java/de/tlc4b/tla/config/SetOfModelValuesAssignment.java 62 additions, 62 deletions.../java/de/tlc4b/tla/config/SetOfModelValuesAssignment.java
- src/main/java/de/tlc4b/tlc/ModuleMatcher.java 91 additions, 91 deletionssrc/main/java/de/tlc4b/tlc/ModuleMatcher.java
- src/main/java/de/tlc4b/util/Ast2String.java 67 additions, 67 deletionssrc/main/java/de/tlc4b/util/Ast2String.java
- src/main/java/de/tlc4b/util/StopWatch.java 32 additions, 32 deletionssrc/main/java/de/tlc4b/util/StopWatch.java
- src/main/resources/standardModules/BBuiltIns.tla 32 additions, 32 deletionssrc/main/resources/standardModules/BBuiltIns.tla
- src/main/resources/standardModules/Functions.tla 88 additions, 88 deletionssrc/main/resources/standardModules/Functions.tla
- src/main/resources/standardModules/FunctionsAsRelations.tla 85 additions, 85 deletionssrc/main/resources/standardModules/FunctionsAsRelations.tla
- src/main/resources/standardModules/Relations.tla 87 additions, 87 deletionssrc/main/resources/standardModules/Relations.tla
- src/main/resources/standardModules/SequencesExtended.tla 68 additions, 68 deletionssrc/main/resources/standardModules/SequencesExtended.tla
- src/test/java/de/tlc4b/analysis/ConstantsEvaluatorTest.java 37 additions, 37 deletionssrc/test/java/de/tlc4b/analysis/ConstantsEvaluatorTest.java
- src/test/java/de/tlc4b/analysis/ConstantsTest.java 138 additions, 138 deletionssrc/test/java/de/tlc4b/analysis/ConstantsTest.java
- src/test/java/de/tlc4b/analysis/DeferredSetSizeTest.java 49 additions, 49 deletionssrc/test/java/de/tlc4b/analysis/DeferredSetSizeTest.java
- src/test/java/de/tlc4b/analysis/ExpressionConstantTest.java 60 additions, 60 deletionssrc/test/java/de/tlc4b/analysis/ExpressionConstantTest.java
- src/test/java/de/tlc4b/analysis/PrecedenceTest.java 100 additions, 100 deletionssrc/test/java/de/tlc4b/analysis/PrecedenceTest.java
- src/test/java/de/tlc4b/analysis/RenamerTest.java 110 additions, 110 deletionssrc/test/java/de/tlc4b/analysis/RenamerTest.java
- src/test/java/de/tlc4b/analysis/TypeRestrictionsTest.java 270 additions, 270 deletionssrc/test/java/de/tlc4b/analysis/TypeRestrictionsTest.java
Please register or sign in to comment