Commits on Source (244)
Showing
- .classpath 50 additions, 93 deletions.classpath
- Documentation/CHESS_ContractBasedAnalysisModelCheckingSafetyAnalysis_timed.docx 0 additions, 0 deletions...ntractBasedAnalysisModelCheckingSafetyAnalysis_timed.docx
- NOTICE.md 1 addition, 0 deletionsNOTICE.md
- README.md 1 addition, 1 deletionREADME.md
- extra_plugins/org.eclipse.papyrus.junit.framework/.classpath 0 additions, 7 deletionsextra_plugins/org.eclipse.papyrus.junit.framework/.classpath
- extra_plugins/org.eclipse.papyrus.junit.framework/.project 0 additions, 35 deletionsextra_plugins/org.eclipse.papyrus.junit.framework/.project
- extra_plugins/org.eclipse.papyrus.junit.framework/META-INF/MANIFEST.MF 0 additions, 15 deletions.../org.eclipse.papyrus.junit.framework/META-INF/MANIFEST.MF
- extra_plugins/org.eclipse.papyrus.junit.framework/about.html 0 additions, 28 deletionsextra_plugins/org.eclipse.papyrus.junit.framework/about.html
- extra_plugins/org.eclipse.papyrus.junit.framework/build.properties 0 additions, 6 deletions...gins/org.eclipse.papyrus.junit.framework/build.properties
- extra_plugins/org.eclipse.papyrus.junit.framework/pom.xml 0 additions, 13 deletionsextra_plugins/org.eclipse.papyrus.junit.framework/pom.xml
- extra_plugins/org.eclipse.papyrus.junit.framework/src/org/eclipse/papyrus/junit/framework/classification/ClassificationConfig.java 0 additions, 325 deletions.../junit/framework/classification/ClassificationConfig.java
- extra_plugins/org.eclipse.papyrus.junit.framework/src/org/eclipse/papyrus/junit/framework/classification/ClassificationRunner.java 0 additions, 102 deletions.../junit/framework/classification/ClassificationRunner.java
- extra_plugins/org.eclipse.papyrus.junit.framework/src/org/eclipse/papyrus/junit/framework/classification/ClassificationRunnerImpl.java 0 additions, 346 deletions...it/framework/classification/ClassificationRunnerImpl.java
- extra_plugins/org.eclipse.papyrus.junit.framework/src/org/eclipse/papyrus/junit/framework/classification/ClassificationRunnerWithParameters.java 0 additions, 102 deletions...rk/classification/ClassificationRunnerWithParameters.java
- extra_plugins/org.eclipse.papyrus.junit.framework/src/org/eclipse/papyrus/junit/framework/classification/ClassificationRunnerWithParametersFactory.java 0 additions, 45 deletions...sification/ClassificationRunnerWithParametersFactory.java
- extra_plugins/org.eclipse.papyrus.junit.framework/src/org/eclipse/papyrus/junit/framework/classification/ClassificationSuite.java 0 additions, 295 deletions...s/junit/framework/classification/ClassificationSuite.java
- extra_plugins/org.eclipse.papyrus.junit.framework/src/org/eclipse/papyrus/junit/framework/classification/ExpensiveTest.java 0 additions, 39 deletions...papyrus/junit/framework/classification/ExpensiveTest.java
- extra_plugins/org.eclipse.papyrus.junit.framework/src/org/eclipse/papyrus/junit/framework/classification/FailingTest.java 0 additions, 39 deletions...e/papyrus/junit/framework/classification/FailingTest.java
- extra_plugins/org.eclipse.papyrus.junit.framework/src/org/eclipse/papyrus/junit/framework/classification/GeneratedTest.java 0 additions, 41 deletions...papyrus/junit/framework/classification/GeneratedTest.java
- extra_plugins/org.eclipse.papyrus.junit.framework/src/org/eclipse/papyrus/junit/framework/classification/InteractiveTest.java 0 additions, 38 deletions...pyrus/junit/framework/classification/InteractiveTest.java
Some changes are not shown.
For a faster browsing experience, only 20 of 1000+ files are shown. Download one of the files below to see all changes.
File added