initial commit
parents
No related branches found
No related tags found
Showing
- .classpath 36 additions, 0 deletions.classpath
- .gitignore 1 addition, 0 deletions.gitignore
- .project 23 additions, 0 deletions.project
- .settings/org.eclipse.core.resources.prefs 6 additions, 0 deletions.settings/org.eclipse.core.resources.prefs
- .settings/org.eclipse.jdt.core.prefs 5 additions, 0 deletions.settings/org.eclipse.jdt.core.prefs
- .settings/org.eclipse.m2e.core.prefs 4 additions, 0 deletions.settings/org.eclipse.m2e.core.prefs
- README 11 additions, 0 deletionsREADME
- chw-pc-results.txt 33 additions, 0 deletionschw-pc-results.txt
- pom.xml 130 additions, 0 deletionspom.xml
- src/main/java/teetime/benchmark/Port2PortBenchmark.java 122 additions, 0 deletionssrc/main/java/teetime/benchmark/Port2PortBenchmark.java
- src/main/java/teetime/benchmark/Port2PortWithTermInstanceofCheckBenchmark.java 134 additions, 0 deletions.../benchmark/Port2PortWithTermInstanceofCheckBenchmark.java
- src/main/java/teetime/benchmark/Port2PortWithTermReferenceCheckBenchmark.java 128 additions, 0 deletions...e/benchmark/Port2PortWithTermReferenceCheckBenchmark.java
- src/main/resources/logback.xml 3 additions, 0 deletionssrc/main/resources/logback.xml
.classpath
0 → 100644
.gitignore
0 → 100644
.project
0 → 100644
.settings/org.eclipse.core.resources.prefs
0 → 100644
.settings/org.eclipse.jdt.core.prefs
0 → 100644
.settings/org.eclipse.m2e.core.prefs
0 → 100644
README
0 → 100644
chw-pc-results.txt
0 → 100644
pom.xml
0 → 100644
src/main/resources/logback.xml
0 → 100644
Please register or sign in to comment