-
- Downloads
Supporting constant recursive functions (all kinds)
Showing
- src/main/java/de/tla2b/analysis/RecursiveFunktion.java 1 addition, 1 deletionsrc/main/java/de/tla2b/analysis/RecursiveFunktion.java
- src/main/java/de/tla2b/analysis/SpecAnalyser.java 14 additions, 16 deletionssrc/main/java/de/tla2b/analysis/SpecAnalyser.java
- src/main/java/de/tla2b/analysis/UsedExternalFunctions.java 19 additions, 56 deletionssrc/main/java/de/tla2b/analysis/UsedExternalFunctions.java
- src/main/java/de/tla2b/pprint/BMachinePrinter.java 61 additions, 61 deletionssrc/main/java/de/tla2b/pprint/BMachinePrinter.java
- src/main/java/de/tla2b/translation/Tla2BTranslator.java 4 additions, 4 deletionssrc/main/java/de/tla2b/translation/Tla2BTranslator.java
- src/main/java/de/tla2bAst/BAstCreator.java 69 additions, 42 deletionssrc/main/java/de/tla2bAst/BAstCreator.java
- src/main/java/de/tla2bAst/Translator.java 10 additions, 10 deletionssrc/main/java/de/tla2bAst/Translator.java
- src/test/java/de/tla2b/examples/MCTest.java 12 additions, 0 deletionssrc/test/java/de/tla2b/examples/MCTest.java
- src/test/java/de/tla2b/prettyprintb/LogicOperatorsTest.java 2 additions, 5 deletionssrc/test/java/de/tla2b/prettyprintb/LogicOperatorsTest.java
- src/test/java/de/tla2b/prettyprintb/RecursiveFunctionTest.java 35 additions, 4 deletions...est/java/de/tla2b/prettyprintb/RecursiveFunctionTest.java
- src/test/java/de/tla2b/prettyprintb/SetsTest.java 13 additions, 0 deletionssrc/test/java/de/tla2b/prettyprintb/SetsTest.java
- src/test/java/de/tla2b/typechecking/InstanceTest.java 1 addition, 2 deletionssrc/test/java/de/tla2b/typechecking/InstanceTest.java
- src/test/java/de/tla2b/util/TestTypeChecker.java 4 additions, 6 deletionssrc/test/java/de/tla2b/util/TestTypeChecker.java
- src/test/java/de/tla2b/util/TestUtil.java 5 additions, 11 deletionssrc/test/java/de/tla2b/util/TestUtil.java
- src/test/resources/examples/Relations.tla 0 additions, 66 deletionssrc/test/resources/examples/Relations.tla
- src/test/resources/examples/SecCtx.cfg 0 additions, 8 deletionssrc/test/resources/examples/SecCtx.cfg
- src/test/resources/examples/SecCtx.tla 0 additions, 475 deletionssrc/test/resources/examples/SecCtx.tla
- src/test/resources/examples/uf50_02/uf50_02.tla 0 additions, 0 deletionssrc/test/resources/examples/uf50_02/uf50_02.tla
Loading
Please register or sign in to comment