Commits on Source (393)
Showing
- .classpath 50 additions, 93 deletions.classpath
- CONTRIBUTING.md 37 additions, 0 deletionsCONTRIBUTING.md
- Documentation/CHESS_ContractBasedAnalysisModelCheckingSafetyAnalysis.docx 0 additions, 0 deletions...ESS_ContractBasedAnalysisModelCheckingSafetyAnalysis.docx
- Documentation/CHESS_ContractBasedAnalysisModelCheckingSafetyAnalysis_timed.docx 0 additions, 0 deletions...ntractBasedAnalysisModelCheckingSafetyAnalysis_timed.docx
- Documentation/CHESS_functionalities.pptx 0 additions, 0 deletionsDocumentation/CHESS_functionalities.pptx
- LICENSE.md 98 additions, 0 deletionsLICENSE.md
- NOTICE.md 51 additions, 0 deletionsNOTICE.md
- README.md 21 additions, 0 deletionsREADME.md
- 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/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
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.
CONTRIBUTING.md
0 → 100644
File added
File added
Documentation/CHESS_functionalities.pptx
0 → 100644
File added
LICENSE.md
0 → 100644
NOTICE.md
0 → 100644
README.md
0 → 100644