hg: lambda/defender-prototype: 7 new changesets

[brian.goetz at oracle.com]

Changeset: 3fae893877c9
Author:    briangoetz
Date:      2011-11-30 15:47 -0500
URL:       http://hg.openjdk.java.net/lambda/defender-prototype/rev/3fae893877c9

Integrate FD feedback from S. Ryu

! doc/featherweight-defenders.pdf
! doc/featherweight-defenders.tex

Changeset: e998d93367a2
Author:    briangoetz
Date:      2011-12-01 15:41 -0500
URL:       http://hg.openjdk.java.net/lambda/defender-prototype/rev/e998d93367a2

Refactoring of FD model to eliminate unneeded internal lookups such as SigOK, BodyOK

! doc/featherweight-defenders.pdf
! doc/featherweight-defenders.tex

Changeset: f6793f18669c
Author:    briangoetz
Date:      2011-12-01 18:06 -0500
URL:       http://hg.openjdk.java.net/lambda/defender-prototype/rev/f6793f18669c

Add definition of sres() for super-invocation

! doc/featherweight-defenders.pdf
! doc/featherweight-defenders.tex

Changeset: e3e9156983f8
Author:    briangoetz
Date:      2011-12-01 22:02 -0500
URL:       http://hg.openjdk.java.net/lambda/defender-prototype/rev/e3e9156983f8

Add mprov(D)={} precondition to R-ClassSuper

! doc/featherweight-defenders.pdf
! doc/featherweight-defenders.tex

Changeset: 2982ece3b407
Author:    briangoetz
Date:      2011-12-02 11:24 -0500
URL:       http://hg.openjdk.java.net/lambda/defender-prototype/rev/2982ece3b407

Minor FD tweaks

! doc/featherweight-defenders.tex

Changeset: f49be48f1225
Author:    briangoetz
Date:      2011-12-02 15:21 -0500
URL:       http://hg.openjdk.java.net/lambda/defender-prototype/rev/f49be48f1225

Minor tweaks to FD

! doc/featherweight-defenders.pdf
! doc/featherweight-defenders.tex

Changeset: ac649a40c4a8
Author:    briangoetz
Date:      2011-12-02 15:21 -0500
URL:       http://hg.openjdk.java.net/lambda/defender-prototype/rev/ac649a40c4a8

Merge