-
- Downloads
Creating .prob file.
Showing
- src/main/java/de/tla2b/TLA2B.java 10 additions, 0 deletionssrc/main/java/de/tla2b/TLA2B.java
- src/main/java/de/tla2bAst/Translator.java 68 additions, 18 deletionssrc/main/java/de/tla2bAst/Translator.java
- src/test/resources/regression/Club/Club.prob 3 additions, 0 deletionssrc/test/resources/regression/Club/Club.prob
Loading
Please register or sign in to comment