-
- Downloads
Refactoring
Showing
- src/main/java/de/tlc4b/TLC4BGlobals.java 7 additions, 0 deletionssrc/main/java/de/tlc4b/TLC4BGlobals.java
- src/main/java/de/tlc4b/Translator.java 5 additions, 2 deletionssrc/main/java/de/tlc4b/Translator.java
- src/main/java/de/tlc4b/analysis/UsedStandardModules.java 5 additions, 4 deletionssrc/main/java/de/tlc4b/analysis/UsedStandardModules.java
- src/main/java/de/tlc4b/analysis/transformation/SeesEliminator.java 38 additions, 4 deletions...java/de/tlc4b/analysis/transformation/SeesEliminator.java
- src/main/java/de/tlc4b/analysis/transformation/SetComprehensionOptimizer.java 4 additions, 4 deletions...4b/analysis/transformation/SetComprehensionOptimizer.java
- src/main/java/de/tlc4b/prettyprint/TLAPrinter.java 72 additions, 10 deletionssrc/main/java/de/tlc4b/prettyprint/TLAPrinter.java
- src/main/resources/standardModules/ExternalFunctions.tla 1 addition, 22 deletionssrc/main/resources/standardModules/ExternalFunctions.tla
- src/test/java/de/tlc4b/analysis/SetComprehensionOptimizerTest.java 27 additions, 0 deletions...java/de/tlc4b/analysis/SetComprehensionOptimizerTest.java
Loading