Feature exception handling#56

Open

rarworld wants to merge 23 commits intocodespecs:masterfrom

rarworld:FeatureExceptionHandling

Commits on May 24, 2016

[Chicory] Exception Handling version1
Philipp Hirch
committed
[Daikon] Exception Handling version 1
Philipp Hirch
committed
[Annotate] Exception Handling V1
Philipp Hirch
committed
Updated chicory-tests und purity-jml tests
Philipp Hirch
committed
suppress the exception handle output in the tests
Philipp Hirch
committed
fixup! suppress the exception handle output in the tests
Philipp Hirch
committed
[Chicory] ExceptionHandling V2
Philipp Hirch
committed

Commits on May 25, 2016

Commits on May 29, 2016

ExceptionHandling Testcase added
Philipp Hirch
committed
Updated daikon.AnnotateNullable
Philipp Hirch
committed
Update existing Tests
Philipp Hirch
committed

Commits on May 31, 2016

edit merge problems
Philipp Hirch
committed
Merge branch 'master' into FeatureExceptionHandling
Philipp Hirch
committed
Some format fix
Philipp Hirch
committed
fix merge error
Philipp Hirch
committed
Fixed auto merge error and fixed comments
Philipp Hirch
committed
revert README
Philipp Hirch
committed

Commits on Jun 1, 2016

Added me to the credits
Philipp Hirch
committed

Commits on Jul 8, 2016

updated the manuels
Philipp Hirch
committed
Merge branch 'master' into FeatureExceptionHandling
Philipp Hirch
committed