~mgiuca/mars/interactive-ssa : changes

~mgiuca/mars/interactive-ssa » Changes from revision 1070

From Revision 1064 to 1045

Rev	Summary	Authors	Date
1064	interactive: State now includes an ast_cfg.ast_state. interactive: State now includes an ast_cfg.ast_state.	Matt Giuca	14 years ago
1063	ast_cfg: basic_stmt_to_instrs now threads a def_map (current... ast_cfg: basic_stmt_to_instrs now threads a def_map (currently doesn't use it).	Matt Giuca	14 years ago
1062	ast_cfg: Public versions of expr_to_instrs and basic_stmt_to... ast_cfg: Public versions of expr_to_instrs and basic_stmt_to_instrs now thread an ast_state. They are now sensitive to the existing SSA state and will update it (though interactive currently supplies an empty map and ignores the result).	Matt Giuca	14 years ago
1061	ast_cfg: expr_to_instrs and basic_stmt_to_instrs public vers... ast_cfg: expr_to_instrs and basic_stmt_to_instrs public versions now return a mapping for all types bound by the generated instructions.	Matt Giuca	14 years ago
1060	ast_cfg: Added new type ast_state which is public and opaque... ast_cfg: Added new type ast_state which is public and opaque, and internally represents a subscript_map-def_map pair.	Matt Giuca	14 years ago
1059	interactive: Now keeps a separate localtable for SSA variabl... interactive: Now keeps a separate localtable for SSA variable names including temporaries (which is necessary when we store variables in SSA form, and is analogous to the localtable stored in each function's CFG).	Matt Giuca	14 years ago
1058	interactive: Non-expr statements now update the local varset... interactive: Non-expr statements now update the local varset as well, to ensure the types of all temporaries are accounted for.	Matt Giuca	14 years ago
1057	doc/lib/prelude: Minor fixes. doc/lib/prelude: Minor fixes.	Matt Giuca	14 years ago
1056	interactive: Minor rearrange. interactive: Minor rearrange.	Matt Giuca	14 years ago
1055	interactive: Use a state variable for NewState rather than i... interactive: Use a state variable for NewState rather than incremental variable names.	Matt Giuca	14 years ago
1054	interactive: Update NewState before assigning to State (read... interactive: Update NewState before assigning to State (readability).	Matt Giuca	14 years ago
1053	interactive: Call basic_stmt_to_gvnames with the new state, ... interactive: Call basic_stmt_to_gvnames with the new state, not the old one (shouldn't actually make any difference, just easier to read).	Matt Giuca	14 years ago
1052	doc/lib/builtins: Typo. doc/lib/builtins: Typo.	Matt Giuca	14 years ago
1051	doc: Added full documentation for built-in functions. doc: Added full documentation for built-in functions.	Matt Giuca	14 years ago
1050	doc/lib/prelude: Array indices start at 0. doc/lib/prelude: Array indices start at 0.	Matt Giuca	14 years ago
1049	doc: Added full documentation for prelude library. doc: Added full documentation for prelude library.	Matt Giuca	14 years ago
1048	doc/ext/mars/desc: headers now link types with :class: not :... doc/ext/mars/desc: headers now link types with :class: not :ctype:, which actually causes them to link to Mars types properly.	Matt Giuca	14 years ago
1047	doc/ext/mars/desc: Fixed parser for type syntax. Now allows ... doc/ext/mars/desc: Fixed parser for type syntax. Now allows a type with parameters to be the argument to a function type.	Matt Giuca	14 years ago
1046	typecheck: Fixed bug in field_type where type variables in t... typecheck: Fixed bug in field_type where type variables in the given type conflict with those in the typedef. types: Added some very dodgy predicates to help with this (strong warnings).	Matt Giuca	14 years ago
1045	types: Changed internal representation of function type so a... types: Changed internal representation of function type so as not to use integer (about to make use of that).	Matt Giuca	14 years ago

Older »