Commits

Commits on Aug 7, 2015

Remove unused imports
JonathanBurke
committedAug 7, 2015
Add correct spacing to CNF output by CnfSerializerSolver
JonathanBurke
committedAug 7, 2015
Update test files
JonathanBurke
committedAug 7, 2015
Add to testdata directory for Interning and OsTrusted
JonathanBurke
committedAug 7, 2015

Commits on Aug 6, 2015

Update InferenceLauncher to allow debugging and view Mode enum from outside package.
JonathanBurke
committedAug 6, 2015

Commits on Aug 5, 2015

Commits on Jul 29, 2015

Interning Checker with inference capability
jthaine
committedJul 29, 2015

Commits on Jul 28, 2015

Add Inference test framework with support for Checker Framework style tests
JonathanBurke
committedJul 28, 2015

Commits on Jul 21, 2015

Add missing dependencies on sat4j.
JonathanBurke
committedJul 21, 2015

Commits on Jul 15, 2015

Fix dropped constraints in the ConstraintNormalizer
JonathanBurke
committedJul 15, 2015

Commits on Jul 7, 2015

Commits on Jul 3, 2015

Update references from Google Code to GitHub and from Mercurial (Hg) to Git
mernst
committedJul 3, 2015
Rename .hgignore -> .gitignore
mernst
committedJul 3, 2015

Commits on Apr 10, 2015

Small cleanups.
wmdietl
committedApr 10, 2015
Small cleanups.
wmdietl
committedApr 10, 2015
Clean up code: remove warnings, create fewer objects.
wmdietl
committedApr 10, 2015
Output the AST location also.
wmdietl
committedApr 10, 2015
Add support for two new constraints.
wmdietl
committedApr 10, 2015
Two new constraints: to add viewpoint adaptation and to prefer a preference for a particular annotation.
wmdietl
committedApr 10, 2015
Make fields final and remove unused setters.
wmdietl
committedApr 10, 2015
Add a warning, might be useful...
wmdietl
committedApr 10, 2015
Make fields final and remove unused setters.
wmdietl
committedApr 10, 2015
Small cleanups.
wmdietl
committedApr 10, 2015