-
- Downloads
update build
Showing
- .gitlab-ci.yml 7 additions, 7 deletions.gitlab-ci.yml
- build.gradle 164 additions, 58 deletionsbuild.gradle
- gradle.properties 5 additions, 1 deletiongradle.properties
- src/data/java/de/tudresden/inf/st/pnml/base/constants/PnmlConstants.java 0 additions, 0 deletions...e/tudresden/inf/st/pnml/base/constants/PnmlConstants.java
- src/data/java/de/tudresden/inf/st/pnml/base/data/ClauseValuesDefinition.java 0 additions, 0 deletions...dresden/inf/st/pnml/base/data/ClauseValuesDefinition.java
- src/data/java/de/tudresden/inf/st/pnml/base/data/CommunicatorInformation.java 0 additions, 2 deletions...resden/inf/st/pnml/base/data/CommunicatorInformation.java
- src/main/jastadd/base/Constraints.jrag 0 additions, 0 deletionssrc/main/jastadd/base/Constraints.jrag
- src/main/jastadd/base/Graphviz.jrag 0 additions, 0 deletionssrc/main/jastadd/base/Graphviz.jrag
- src/main/jastadd/base/Navigation.jrag 0 additions, 0 deletionssrc/main/jastadd/base/Navigation.jrag
- src/main/jastadd/base/References.jrag 1 addition, 1 deletionsrc/main/jastadd/base/References.jrag
- src/main/jastadd/base/Util.jadd 4 additions, 3 deletionssrc/main/jastadd/base/Util.jadd
- src/main/jastadd/base/checking/TinaAccessor.jadd 126 additions, 0 deletionssrc/main/jastadd/base/checking/TinaAccessor.jadd
- src/main/jastadd/base/clauses/ExpressionParser.beaver 0 additions, 0 deletionssrc/main/jastadd/base/clauses/ExpressionParser.beaver
- src/main/jastadd/base/clauses/expressions.flex 1 addition, 1 deletionsrc/main/jastadd/base/clauses/expressions.flex
- src/main/jastadd/base/clauses/expressions.jadd 0 additions, 0 deletionssrc/main/jastadd/base/clauses/expressions.jadd
- src/main/jastadd/base/clauses/expressions.relast 0 additions, 0 deletionssrc/main/jastadd/base/clauses/expressions.relast
- src/main/jastadd/base/data/Tuples.jadd 43 additions, 0 deletionssrc/main/jastadd/base/data/Tuples.jadd
- src/main/jastadd/base/distribution/DistributedPN.jadd 52 additions, 0 deletionssrc/main/jastadd/base/distribution/DistributedPN.jadd
- src/main/jastadd/base/distribution/Filtering.jadd 0 additions, 0 deletionssrc/main/jastadd/base/distribution/Filtering.jadd
- src/main/jastadd/base/export/ComplexElementsConverter.jadd 116 additions, 0 deletionssrc/main/jastadd/base/export/ComplexElementsConverter.jadd
Loading
Please register or sign in to comment