-
- Downloads
minor simplifications
Showing
- src/main/java/de/tlc4b/analysis/Renamer.java 2 additions, 4 deletionssrc/main/java/de/tlc4b/analysis/Renamer.java
- src/main/java/de/tlc4b/prettyprint/TLAPrinter.java 2 additions, 4 deletionssrc/main/java/de/tlc4b/prettyprint/TLAPrinter.java
- src/main/java/de/tlc4b/tla/ConfigFile.java 5 additions, 14 deletionssrc/main/java/de/tlc4b/tla/ConfigFile.java
- src/main/java/de/tlc4b/tla/config/ConfigFileAssignment.java 4 additions, 8 deletionssrc/main/java/de/tlc4b/tla/config/ConfigFileAssignment.java
- src/main/java/de/tlc4b/tla/config/ModelValueAssignment.java 1 addition, 3 deletionssrc/main/java/de/tlc4b/tla/config/ModelValueAssignment.java
- src/main/java/de/tlc4b/tla/config/SetOfModelValuesAssignment.java 10 additions, 33 deletions.../java/de/tlc4b/tla/config/SetOfModelValuesAssignment.java
- src/main/java/de/tlc4b/tlc/TLCOutputInfo.java 2 additions, 5 deletionssrc/main/java/de/tlc4b/tlc/TLCOutputInfo.java
- src/main/java/de/tlc4b/tlc/TracePrinter.java 1 addition, 2 deletionssrc/main/java/de/tlc4b/tlc/TracePrinter.java
Loading
Please register or sign in to comment