Commits
r81458 Fixed typos related to bug#13772.
by Paul Bates (Using name ‘paulb’) on 2009-11-06 22:30 (2 days ago)
r81457 Added across and some to the list of keywords.
by Paul Bates (Using name ‘paulb’) on 2009-11-06 22:28 (2 days ago)
r81456 corrected precondition by adding the case of generating_type_name_id
by Jocelyn Fiat (Using name ‘jfiat’) on 2009-11-06 19:00 (2 days ago)
r81455 Added/fixed debugger's support for the new loop construct (mapped breakpoint slots with generated code)
by Jocelyn Fiat (Using name ‘jfiat’) on 2009-11-06 17:40 (2 days ago)
r81454 no need to check that `identifier' is attached
by Jocelyn Fiat (Using name ‘jfiat’) on 2009-11-06 16:45 (2 days ago)
r81453 Fixed potential call on Void target
by Jocelyn Fiat (Using name ‘jfiat’) on 2009-11-06 16:42 (2 days ago)
r81451 Removed unused local.
by Alexander Kogtenkov (Using name ‘alexk’) on 2009-11-06 11:32 (3 days ago)
r81450 Added invariant clauses to confirm that the new attributes to hold the generated AST nodes are attached.
by Alexander Kogtenkov (Using name ‘alexk’) on 2009-11-06 11:27 (3 days ago)
r81449 Record the implicit local variable involved in iteration loop.
by Jocelyn Fiat (Using name ‘jfiat’) on 2009-11-06 10:45 (3 days ago)
r81448 Added checks for other compilation modes.
by Alexander Kogtenkov (Using name ‘alexk’) on 2009-11-06 09:59 (3 days ago)