-
- Downloads
make creation of B operations a bit more readable and add position info
Showing
- src/main/java/de/tla2b/analysis/BOperation.java 47 additions, 81 deletionssrc/main/java/de/tla2b/analysis/BOperation.java
- src/main/java/de/tla2b/analysis/SpecAnalyser.java 1 addition, 2 deletionssrc/main/java/de/tla2b/analysis/SpecAnalyser.java
- src/main/java/de/tla2b/translation/BDefinitionsFinder.java 2 additions, 2 deletionssrc/main/java/de/tla2b/translation/BDefinitionsFinder.java
- src/main/java/de/tla2b/translation/OperationsFinder.java 3 additions, 7 deletionssrc/main/java/de/tla2b/translation/OperationsFinder.java
- src/main/java/de/tla2bAst/BAstCreator.java 2 additions, 3 deletionssrc/main/java/de/tla2bAst/BAstCreator.java
Loading
Please register or sign in to comment