Commits

Commits on Sep 9, 2015

Commits on Sep 8, 2015

Correctly add solver args/json file args in InferenceOptions
JonathanBurke
committedSep 8, 2015
Flush output before exiting on failure in InferenceLauncher
JonathanBurke
committedSep 8, 2015

Commits on Aug 13, 2015

Use AnnotationLocation rather than ASTRecords. Annotate locations that are currently missing annotations.
JonathanBurke
committedAug 13, 2015

Commits on Aug 10, 2015

Test fixes for Interning and OsTrusted.
JonathanBurke
committedAug 10, 2015
Fixes to support mainIs methods applied to type variables
JonathanBurke
committedAug 10, 2015

Commits on Aug 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

Fix tests entry in .gitignore
JonathanBurke
committedJul 7, 2015
Initial commit of MaxSat2TypeSolver and related Cnf serializer.
JonathanBurke
committedJul 7, 2015
Misc. fixes. Add support for ExistentialVariable/ExistentialConstraints in serialization and jaif updating.
JonathanBurke
committedJul 7, 2015