peterthiemann/gradual-java — pull request #7 by luminousfennell (2014-07-10 06:40:09+00:00)
Title: Failing putfield tests

This shows some problems with the constraint generation for putfield that we have discussed yesterday.