January 2008 Archives by thread

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

Starting: Tue Jan 8 11:03:09 AEDT 2008
Ending: Thu Jan 31 11:03:32 AEDT 2008
Messages: 104

[m-rev.] for review: switch arms for more than one cons_id Zoltan Somogyi
- [m-rev.] for review: switch arms for more than one cons_id Ralph Becket
[m-rev.] diff: reduce clutter in my workspace Peter Wang
[m-rev.] For review: Implement the saving of protected regions for semidet disjunctions Quan Phan
[m-rev.] diff: update copyright messages for 2008 Julien Fischer
[m-rev.] for review: fix lco.m variant proc argument types Peter Wang
- [m-rev.] for review: fix lco.m variant proc argument types Julien Fischer
[m-rev.] for post-commit review: account for secondary tags when deciding reuse Peter Wang
[m-rev.] diff: take into account pre-death sets in LFU analysis Peter Wang
[m-rev.] for review: 64-bit expected outputs for tabling stats tests Peter Wang
- [m-rev.] for review: 64-bit expected outputs for tabling stats tests Zoltan Somogyi
[m-rev.] for review: document the default equality/comparison for solver types Julien Fischer
- [m-rev.] for review: document the default equality/comparison for solver types Ralph Becket
  - [m-rev.] for review: document the default equality/comparison for solver types Julien Fischer
    - [m-rev.] for review: document the default equality/comparison for solver types Julien Fischer
[m-rev.] for review: use shared libs by default on Linux/x86 Julien Fischer
- [m-rev.] for review: use shared libs by default on Linux/x86 Paul Bone
  - [m-rev.] for review: use shared libs by default on Linux/x86 Julien Fischer
[m-rev.] for review: insert extra arguments in reused objects Peter Wang
- [m-rev.] for review: insert extra arguments in reused objects Julien Fischer
[m-rev.] diff: requantify structure reuse procedures Peter Wang
[m-rev.] for review: support --no-static-ground-terms in LLDS grades Peter Wang
- [m-rev.] for review: support --no-static-ground-terms in LLDS grades Julien Fischer
  - [m-rev.] for review: support --no-static-ground-terms in LLDS grades Peter Wang
  - [m-rev.] for review: support --no-static-ground-terms in LLDS grades Zoltan Somogyi
[m-rev.] diff: fix MLDS static ground terms with no tags (bug #37) Julien Fischer
[m-rev.] diff: don't make invalid term selectors Peter Wang
[m-rev.] for review: fix assertion failure with promise_equivalent_solutions Julien Fischer
- [m-rev.] for review: fix assertion failure with promise_equivalent_solutions Julien Fischer
  - [m-rev.] for review: fix assertion failure with promise_equivalent_solutions Julien Fischer
[m-rev.] for review: fix store_at_ref_type spelling Peter Wang
- [m-rev.] for review: fix store_at_ref_type spelling Julien Fischer
[m-rev.] For review: Several improvements to RBMM Quan Phan
- [m-rev.] For review: Several improvements to RBMM Julien Fischer
  - [m-rev.] For review: Several improvements to RBMM Quan Phan
[m-rev.] for review: function trailing and aligned addresses Julien Fischer
- [m-rev.] for review: function trailing and aligned addresses Mark Brown
  - [m-rev.] for review: function trailing and aligned addresses Julien Fischer
    - [m-rev.] for review: function trailing and aligned addresses Julien Fischer
[m-rev.] for review: structure reuse for LLDS Peter Wang
- [m-rev.] for review: structure reuse for LLDS Julien Fischer
[m-rev.] diff: clauses to disjunctions cleanup Zoltan Somogyi
[m-rev.] diff: two fixes for structure_sharing domain Peter Wang
[m-rev.] diff: fix untagged trail implementation Julien Fischer
- [m-rev.] diff: fix untagged trail implementation Julien Fischer
[m-rev.] diff: revert redundant setting of static ground terms in code_info Peter Wang
[m-rev.] diff: fix ctgc.util.get_type_substitution Peter Wang
[m-rev.] for review: add --c-compiler-type option Julien Fischer
- [m-rev.] for review: add --c-compiler-type option Peter Wang
  - [m-rev.] for review: add --c-compiler-type option Julien Fischer
[m-rev.] for review: disable tagged trail at configuration time Julien Fischer
- [m-rev.] for review: disable tagged trail at configuration time Mark Brown
  - [m-rev.] for review: disable tagged trail at configuration time Julien Fischer
[m-rev.] for review: boehm gc unmap capability Peter Wang
[m-rev.] for review: work around gcc bug (?) Peter Wang
- [m-rev.] for review: work around gcc bug (?) Julien Fischer
[m-rev.] for review: align functions in trailing grades Julien Fischer
- [m-rev.] for review: align functions in trailing grades Mark Brown
  - [m-rev.] for review: align functions in trailing grades Julien Fischer
[m-rev.] diff: workaround src dist problems on leopard Julien Fischer
[m-rev.] diff: fix a bug in LLDS cell reuse Peter Wang
[m-rev.] diff: remove out of date structure sharing info in specialised procs Peter Wang
[m-rev.] diff: structure sharing widening on library Peter Wang
[m-rev.] diff: fix a bug with stand-alone interfaces Julien Fischer
[m-rev.] trivial diff: fix references in reference manual Julien Fischer
[m-rev.] diff: add --with-llds-base-grade option to configure Julien Fischer
[m-rev.] for review: new required_feature_set feature Julien Fischer
- [m-rev.] for review: new required_feature_set feature Peter Wang
  - [m-rev.] for review: new required_feature_set feature Julien Fischer
[m-rev.] diff: avoid massive lists in sharing analysis Peter Wang
[m-rev.] diff: ignore higher order terms in sharing analysis Peter Wang
[m-rev.] for review: add --output-cflags option Julien Fischer
- [m-rev.] for review: add --output-cflags option Julien Fischer
- [m-rev.] for review: add --output-cflags option Peter Wang
  - [m-rev.] for review: add --output-cflags option Julien Fischer
[m-rev.] for review: remove structure sharing info in add_pragma.m Peter Wang
- [m-rev.] for review: remove structure sharing info in add_pragma.m Julien Fischer
[m-rev.] diff: enable goal_contains_reconstruction Peter Wang
[m-rev.] diff: state_var.m Zoltan Somogyi
[m-rev.] diff: don't reuse cells to construct certain types Peter Wang
[m-rev.] diff: fix some stage numbers Peter Wang
[m-rev.] trivial diff: reformat code that constructs linker cmd line Julien Fischer
[m-rev.] for review: document how string comparison is implemented Julien Fischer
[m-rev.] diff: add field name prefixes Zoltan Somogyi
[m-rev.] diff: avoid linker warning on Mac OS 10.5 Julien Fischer
[m-rev.] for review: re-organise reference manual w.r.t foreign language / C interface Julien Fischer
- [m-rev.] for review: re-organise reference manual w.r.t foreign language / C interface Julien Fischer
- [m-rev.] for review: re-organise reference manual w.r.t foreign language / C interface Peter Wang
  - [m-rev.] for review: re-organise reference manual w.r.t foreign language / C interface Julien Fischer
[m-rev.] for review: liveness assertion failure with CTGC Peter Wang
- [m-rev.] for review: liveness assertion failure with CTGC Julien Fischer
  - [m-rev.] for review: liveness assertion failure with CTGC Peter Wang
    - [m-rev.] for review: liveness assertion failure with CTGC Julien Fischer
    - [m-rev.] for review: liveness assertion failure with CTGC Julien Fischer
    - [m-rev.] for review: liveness assertion failure with CTGC Peter Wang
    - [m-rev.] for review: liveness assertion failure with CTGC Julien Fischer
[m-rev.] diff: don't try to reuse no-tag values Peter Wang
- [m-rev.] diff: don't try to reuse no-tag values Zoltan Somogyi
  - [m-rev.] diff: don't try to reuse no-tag values Peter Wang
    - [m-rev.] diff: don't try to reuse no-tag values Zoltan Somogyi
[m-rev.] for review: conditional structure reuse for LLDS backends Peter Wang
[m-rev.] for review: fix tabling for foreign enumerations Julien Fischer
[m-rev.] trivial diff: fix a comment in mercury_memory.h Julien Fischer
[m-rev.] for review: remove -w perl option in mtags Ian MacLarty

Last message date: Thu Jan 31 11:03:32 AEDT 2008
Archived on: Wed Mar 23 20:53:48 AEDT 2016

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

This archive was generated by Pipermail 0.09 (Mailman edition).