-
- Downloads
Merge branch 'develop' into feature/multiview
No related branches found
No related tags found
Showing
- build.gradle 48 additions, 1 deletionbuild.gradle
- de.prob.core/.classpath 7 additions, 7 deletionsde.prob.core/.classpath
- de.prob.core/META-INF/MANIFEST.MF 1 addition, 2 deletionsde.prob.core/META-INF/MANIFEST.MF
- de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java 39 additions, 46 deletions...core/src/de/prob/eventb/translator/ContextTranslator.java
- de.prob.core/src/de/prob/eventb/translator/internal/EProofStatus.java 15 additions, 0 deletions.../src/de/prob/eventb/translator/internal/EProofStatus.java
- de.prob.core/src/de/prob/eventb/translator/internal/EventBTranslator.java 15 additions, 19 deletions.../de/prob/eventb/translator/internal/EventBTranslator.java
- de.prob.core/src/de/prob/eventb/translator/internal/ModelTranslator.java 33 additions, 37 deletions...c/de/prob/eventb/translator/internal/ModelTranslator.java
- de.prob.core/src/de/prob/eventb/translator/internal/ProofObligation.java 22 additions, 0 deletions...c/de/prob/eventb/translator/internal/ProofObligation.java
- de.prob.core/src/de/prob/eventb/translator/internal/SequentSource.java 17 additions, 0 deletions...src/de/prob/eventb/translator/internal/SequentSource.java
Loading
Please register or sign in to comment