-
- Downloads
readd STUPS modifications
and fix some compile errors
Showing
- tlatools/build.gradle 15 additions, 14 deletionstlatools/build.gradle
- tlatools/src/pcal/trans.java 1 addition, 1 deletiontlatools/src/pcal/trans.java
- tlatools/src/tla2sany/explorer/ExploreNode.java 4 additions, 0 deletionstlatools/src/tla2sany/explorer/ExploreNode.java
- tlatools/src/tla2sany/explorer/Explorer.java 2 additions, 2 deletionstlatools/src/tla2sany/explorer/Explorer.java
- tlatools/src/tla2sany/parser/TLAplusParser.java 1056 additions, 1056 deletionstlatools/src/tla2sany/parser/TLAplusParser.java
- tlatools/src/tla2sany/semantic/LevelConstants.java 4 additions, 4 deletionstlatools/src/tla2sany/semantic/LevelConstants.java
- tlatools/src/tla2sany/semantic/OpApplNode.java 1 addition, 1 deletiontlatools/src/tla2sany/semantic/OpApplNode.java
- tlatools/src/tla2sany/semantic/SetOfArgLevelConstraints.java 2 additions, 2 deletionstlatools/src/tla2sany/semantic/SetOfArgLevelConstraints.java
- tlatools/src/tla2sany/semantic/SetOfLevelConstraints.java 1 addition, 1 deletiontlatools/src/tla2sany/semantic/SetOfLevelConstraints.java
- tlatools/src/tla2sany/semantic/Subst.java 2 additions, 2 deletionstlatools/src/tla2sany/semantic/Subst.java
- tlatools/src/tla2sany/semantic/TheoremNode.java 1 addition, 1 deletiontlatools/src/tla2sany/semantic/TheoremNode.java
- tlatools/src/tla2sany/semantic/ThmOrAssumpDefNode.java 1 addition, 1 deletiontlatools/src/tla2sany/semantic/ThmOrAssumpDefNode.java
- tlatools/src/tla2sany/xml/SymbolContext.java 3 additions, 3 deletionstlatools/src/tla2sany/xml/SymbolContext.java
- tlatools/src/tlc2/module/TransitiveClosure.java 2 additions, 2 deletionstlatools/src/tlc2/module/TransitiveClosure.java
- tlatools/src/tlc2/output/MP.java 13 additions, 11 deletionstlatools/src/tlc2/output/MP.java
- tlatools/src/tlc2/output/Message.java 42 additions, 0 deletionstlatools/src/tlc2/output/Message.java
- tlatools/src/tlc2/output/OutputCollector.java 80 additions, 0 deletionstlatools/src/tlc2/output/OutputCollector.java
- tlatools/src/tlc2/output/StatePrinter.java 1 addition, 0 deletionstlatools/src/tlc2/output/StatePrinter.java
- tlatools/src/tlc2/tool/AbstractChecker.java 4 additions, 0 deletionstlatools/src/tlc2/tool/AbstractChecker.java
- tlatools/src/tlc2/tool/DFIDModelChecker.java 8 additions, 4 deletionstlatools/src/tlc2/tool/DFIDModelChecker.java
Loading
Please register or sign in to comment