User contributions

03:33, 25 December 2007 (diff | hist) . . (+1,277)‎ . . CITADEL ‎ (→‎Inferring contracts for generic classes)
03:28, 25 December 2007 (diff | hist) . . (+913)‎ . . CITADEL ‎ (→‎Support for loop invariants)
03:22, 25 December 2007 (diff | hist) . . (+11)‎ . . m CITADEL ‎ (→‎Unfolded variables)
03:17, 25 December 2007 (diff | hist) . . (+28)‎ . . m CITADEL ‎ (→‎Unfolded variables)
03:16, 25 December 2007 (diff | hist) . . (-28)‎ . . m CITADEL ‎ (→‎Unfolded variables)
03:13, 25 December 2007 (diff | hist) . . (+17,412)‎ . . CITADEL ‎ (Added topics: "chechink preconditions" ("static vs. dynamic" and "wrapping vs. qualification") and "checking hand-written contracts")
02:07, 25 December 2007 (diff | hist) . . (-2)‎ . . CITADEL ‎ (Term "flattening" changed to "unfolding")
02:06, 25 December 2007 (diff | hist) . . (-7)‎ . . CITADEL ‎ (Term "flattened" changed to "unfolded")

Show contributions of new accounts only IP address or username:
Namespace:	Invert selection Associated namespace

Only show edits that are latest revisions Only show edits that are page creations
From year (and earlier): From month (and earlier):