-
- Downloads
Merge branch 'master' into develop
* master: change order of statements remove unused import refactored project format somes classes improved detection of unsupported constructs update junit version Post travis build info to slack renamed test task in gradle script improved function detection Update build.gradle use released versions update travis file # Conflicts: # build.gradle
Showing
- .travis.yml 3 additions, 0 deletions.travis.yml
- build.gradle 6 additions, 10 deletionsbuild.gradle
- src/main/java/de/tlc4b/Translator.java 46 additions, 51 deletionssrc/main/java/de/tlc4b/Translator.java
- src/main/java/de/tlc4b/analysis/MachineContext.java 117 additions, 215 deletionssrc/main/java/de/tlc4b/analysis/MachineContext.java
- src/main/java/de/tlc4b/analysis/NotSupportedConstructs.java 0 additions, 90 deletionssrc/main/java/de/tlc4b/analysis/NotSupportedConstructs.java
- src/main/java/de/tlc4b/analysis/Renamer.java 1 addition, 1 deletionsrc/main/java/de/tlc4b/analysis/Renamer.java
- src/main/java/de/tlc4b/analysis/Typechecker.java 172 additions, 330 deletionssrc/main/java/de/tlc4b/analysis/Typechecker.java
- src/main/java/de/tlc4b/analysis/UnsupportedConstructsFinder.java 96 additions, 0 deletions...n/java/de/tlc4b/analysis/UnsupportedConstructsFinder.java
- src/main/java/de/tlc4b/analysis/typerestriction/TypeRestrictor.java 1 addition, 1 deletion...ava/de/tlc4b/analysis/typerestriction/TypeRestrictor.java
- src/main/java/de/tlc4b/analysis/unchangedvariables/AssignedVariablesFinder.java 1 addition, 1 deletion.../analysis/unchangedvariables/AssignedVariablesFinder.java
- src/main/java/de/tlc4b/analysis/unchangedvariables/UnchangedVariablesFinder.java 1 addition, 1 deletion...analysis/unchangedvariables/UnchangedVariablesFinder.java
- src/main/java/de/tlc4b/btypes/AbstractHasFollowers.java 30 additions, 29 deletionssrc/main/java/de/tlc4b/btypes/AbstractHasFollowers.java
- src/main/java/de/tlc4b/btypes/BType.java 2 additions, 3 deletionssrc/main/java/de/tlc4b/btypes/BType.java
- src/main/java/de/tlc4b/btypes/BoolType.java 1 addition, 5 deletionssrc/main/java/de/tlc4b/btypes/BoolType.java
- src/main/java/de/tlc4b/btypes/EnumeratedSetElement.java 7 additions, 11 deletionssrc/main/java/de/tlc4b/btypes/EnumeratedSetElement.java
- src/main/java/de/tlc4b/btypes/FunctionType.java 6 additions, 7 deletionssrc/main/java/de/tlc4b/btypes/FunctionType.java
- src/main/java/de/tlc4b/btypes/ITypeConstants.java 0 additions, 6 deletionssrc/main/java/de/tlc4b/btypes/ITypeConstants.java
- src/main/java/de/tlc4b/btypes/IntegerOrSetOfPairType.java 2 additions, 6 deletionssrc/main/java/de/tlc4b/btypes/IntegerOrSetOfPairType.java
- src/main/java/de/tlc4b/btypes/IntegerOrSetType.java 1 addition, 6 deletionssrc/main/java/de/tlc4b/btypes/IntegerOrSetType.java
- src/main/java/de/tlc4b/btypes/IntegerType.java 1 addition, 7 deletionssrc/main/java/de/tlc4b/btypes/IntegerType.java
Loading
Please register or sign in to comment