May 2017 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Wed May 3 09:42:43 AEST 2017
Ending: Wed May 31 23:52:24 AEST 2017
Messages: 36

• [m-rev.] diff: fix bug#436: unknown constructors in foreign_enum   Julien Fischer
• [m-rev.] for review: add left and right shifts for uints   Julien Fischer
• [m-rev.] for review: efficient insertion of duplicate items into bags   Julien Fischer
• [m-rev.] diff: creation of singleton bags   Julien Fischer
• [m-rev.] for review: add left and right shifts for uints   Julien Fischer
• [m-rev.] for review: implement checked division for uints   Julien Fischer
• [m-rev.] for review: implement checked division for uints   Julien Fischer
• [m-rev.] for post-commit review: implement compile time evaluation for uint operations   Julien Fischer
• [m-rev.] for review: prepare reference manual for new primitive types   Julien Fischer
• [m-rev.] for review: reword reference manual introduction   Julien Fischer
• [m-rev.] diff: compile time simplification of uint operations   Julien Fischer
• [m-rev.] diff: two fixes for uint support   Julien Fischer
• [m-rev.] mlds_to_x_util.m   Julien Fischer
• [m-rev.] diff: add reverse modes for uint.xor/2 (part 1)   Julien Fischer
• [m-rev.] for review: efficient insertion of duplicate items into bags   Zoltan Somogyi
• [m-rev.] diff: tail recursion in ml_elim_nested.m   Zoltan Somogyi
• [m-rev.] diff: mlds global defns   Zoltan Somogyi
• [m-rev.] diff: delete unused imports in packages   Zoltan Somogyi
• [m-rev.] diff: fix "undefined symbol `star/2'   Zoltan Somogyi
• [m-rev.] diff: mlds defns of functions and data in own types   Zoltan Somogyi
• [m-rev.] diff: factor out common code in mlds_to_{cs,java}.m   Zoltan Somogyi
• [m-rev.] for post-commit review: self-contained MLDS defns   Zoltan Somogyi
• [m-rev.] mlds_to_x_util.m   Zoltan Somogyi
• [m-rev.] diff: tighten MLDS data names   Zoltan Somogyi
• [m-rev.] diff: mlds_to_target_util.m   Zoltan Somogyi
• [m-rev.] diff: tighten MLDS function and class names   Zoltan Somogyi
• [m-rev.] diff: eliminate most mlds_entity_names   Zoltan Somogyi
• [m-rev.] diff: tighten the type of flags in mlds_data_defns   Zoltan Somogyi
• [m-rev.] diff: tighten the type of flags in mlds_class_defns   Zoltan Somogyi
• [m-rev.] diff: tighten the type of flags in mlds_function_defns   Zoltan Somogyi
• [m-rev.] diff: speed up ml_elim_nested   Zoltan Somogyi
• [m-rev.] diff: fix bug#436: unknown constructors in foreign_enum   Peter Wang
• [m-rev.] for review: implement checked division for uints   Peter Wang
• [m-rev.] for post-commit review: implement compile time evaluation for uint operations   Peter Wang
• [m-rev.] for review: reword reference manual introduction   Peter Wang
• [m-rev.] for review: prepare reference manual for new primitive types   Peter Wang

Last message date: Wed May 31 23:52:24 AEST 2017
Archived on: Wed May 31 23:52:30 AEST 2017

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...