Initial commit
parents
No related branches found
No related tags found
Showing
- .gitignore 3 additions, 0 deletions.gitignore
- .run/Build JAR.run.xml 24 additions, 0 deletions.run/Build JAR.run.xml
- .run/CoverageOnTests.run.xml 35 additions, 0 deletions.run/CoverageOnTests.run.xml
- .run/JMLCompletionTest.run.xml 24 additions, 0 deletions.run/JMLCompletionTest.run.xml
- .run/JMLIntegrationTest.run.xml 30 additions, 0 deletions.run/JMLIntegrationTest.run.xml
- .run/JMLParsingTest.run.xml 30 additions, 0 deletions.run/JMLParsingTest.run.xml
- .run/JMLSemanticsAnnotatorTest.run.xml 30 additions, 0 deletions.run/JMLSemanticsAnnotatorTest.run.xml
- .run/JMLSyntaxAnnotatorTest.run.xml 30 additions, 0 deletions.run/JMLSyntaxAnnotatorTest.run.xml
- .run/JMLTypeAnnotatorTest.run.xml 30 additions, 0 deletions.run/JMLTypeAnnotatorTest.run.xml
- .run/Run IDE with Plugin.run.xml 25 additions, 0 deletions.run/Run IDE with Plugin.run.xml
- .run/Run Plugin Tests.run.xml 30 additions, 0 deletions.run/Run Plugin Tests.run.xml
- .run/Run Plugin Verification.run.xml 27 additions, 0 deletions.run/Run Plugin Verification.run.xml
- CHANGELOG.md 2 additions, 0 deletionsCHANGELOG.md
- DESCRIPTION.md 6 additions, 0 deletionsDESCRIPTION.md
- LICENSE.md 20 additions, 0 deletionsLICENSE.md
- README.md 30 additions, 0 deletionsREADME.md
- build.gradle.kts 115 additions, 0 deletionsbuild.gradle.kts
- docs/Installation_Guide.pdf 0 additions, 0 deletionsdocs/Installation_Guide.pdf
- docs/Maintainers_Guide.pdf 0 additions, 0 deletionsdocs/Maintainers_Guide.pdf
- gradle.properties 19 additions, 0 deletionsgradle.properties
Loading
Please register or sign in to comment