Skip to content

Upstream all Unit checker changes #11

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
txiang61 wants to merge 10 commits into
base: master
Choose a base branch
from
Open

Upstream all Unit checker changes #11

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
e5afb5a
update unit inference atf to fix benchmark exceptions
txiang61 Jan 8, 2020
c8b4509
add receiver dependent unit to unit checker
txiang61 Apr 15, 2020
855454c
add tests and stub files for benchmarks
txiang61 Apr 17, 2020
9a88df0
Merge branch 'rdu_v2'
txiang61 Apr 18, 2020
2c4823b
increased UnitsTools and the units signatures for benchmark GasFlow
txiang61 May 8, 2020
e6321e6
test daikon project
txiang61 May 10, 2020
c2c3291
clean project
txiang61 May 28, 2020
35d1685
clean tests cases
txiang61 May 28, 2020
c1d1cc5
clean project
txiang61 May 28, 2020
894930c
update files
txiang61 Aug 4, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
22 changes: 15 additions & 7 deletions .classpath
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,12 +1,20 @@
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry kind="src" output="build/classes/java/main" path="src"/>
<classpathentry kind="src" output="build/classes/java/test" path="tests"/>
<classpathentry kind="src" output="bin/main" path="src">
<attributes>
<attribute name="gradle_scope" value="main"/>
<attribute name="gradle_used_by_scope" value="main,test"/>
</attributes>
</classpathentry>
<classpathentry kind="src" output="bin/test" path="tests">
<attributes>
<attribute name="gradle_scope" value="test"/>
<attribute name="gradle_used_by_scope" value="test"/>
</attributes>
</classpathentry>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8/"/>
<classpathentry kind="con" path="org.eclipse.buildship.core.gradleclasspathcontainer"/>
<classpathentry kind="src" path="/checker"/>
<classpathentry kind="src" path="/checker-framework-inference"/>
<classpathentry kind="lib" path="/checker-framework-inference/lib/com.microsoft.z3.jar"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8/"/>
<classpathentry kind="con" path="org.eclipse.jdt.junit.JUNIT_CONTAINER/4"/>
<classpathentry kind="lib" path="/checker-framework-inference/dist/checker-framework-inference.jar"/>
<classpathentry kind="output" path="build/classes/java"/>
<classpathentry kind="output" path="bin/default"/>
</classpath>
13 changes: 11 additions & 2 deletions .project
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,14 +1,23 @@
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
<name>units-inference</name>
<projects/>
<comment></comment>
<projects>
</projects>
<buildSpec>
<buildCommand>
<name>org.eclipse.jdt.core.javabuilder</name>
<arguments/>
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.eclipse.buildship.core.gradleprojectbuilder</name>
<arguments>
</arguments>
</buildCommand>
</buildSpec>
<natures>
<nature>org.eclipse.jdt.core.javanature</nature>
<nature>org.eclipse.buildship.core.gradleprojectnature</nature>
</natures>
</projectDescription>
2 changes: 2 additions & 0 deletions .settings/org.eclipse.buildship.core.prefs
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
connection.project.dir=
eclipse.preferences.version=1
68 changes: 0 additions & 68 deletions annotated/Addition.java
View file
Open in desktop

This file was deleted.

25 changes: 0 additions & 25 deletions annotated/Casting.java
View file
Open in desktop

This file was deleted.

19 changes: 0 additions & 19 deletions annotated/Conditional.java
View file
Open in desktop

This file was deleted.

Binary file removed annotated/Constructors.class
View file
Open in desktop
Binary file not shown.
46 changes: 0 additions & 46 deletions annotated/Constructors.java
View file
Open in desktop

This file was deleted.

76 changes: 0 additions & 76 deletions annotated/JavaUtilConcurrentTimeUnit.java
View file
Open in desktop

This file was deleted.

Binary file removed annotated/Methods.class
View file
Open in desktop
Binary file not shown.
51 changes: 0 additions & 51 deletions annotated/Methods.java
View file
Open in desktop

This file was deleted.

Binary file removed annotated/NoAnnotClass.class
View file
Open in desktop
Binary file not shown.
Binary file removed annotated/PolyUnitClass.class
View file
Open in desktop
Binary file not shown.
2 changes: 0 additions & 2 deletions annotated/RealFieldElement.java
View file
Open in desktop

This file was deleted.

30 changes: 0 additions & 30 deletions annotated/StaticFinalConstants.java
View file
Open in desktop

This file was deleted.

Loading