October 2005 Archives by author

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

Starting: Sat Oct 1 18:51:38 AEST 2005
Ending: Mon Oct 31 18:07:07 AEDT 2005
Messages: 165

[m-rev.] for reviews: support impure initalise and finalise predicates Ralph Becket
[m-rev.] for review: pure mutable access predicates Ralph Becket
[m-rev.] for review: pure mutable access predicates Ralph Becket
[m-rev.] for review: pure mutable access predicates Ralph Becket
[m-rev.] diff: fix bug in mode analysis wrt quantification Ralph Becket
[m-rev.] diff: generalize my mode analysis bug fix Ralph Becket
[m-rev.] diff: use mutables in opengl samples Ralph Becket
[m-rev.] for review: document mdb's options in the user guide Ralph Becket
[m-rev.] Add a listing facility to mdb Ralph Becket
[m-rev.] diff: more cleanups Ralph Becket
[m-rev.] For review: allow unifications to be delayed across impure goals Ralph Becket
[m-rev.] For review: allow unifications to be delayed across impure goals Ralph Becket
[m-rev.] For review: allow unifications to be delayed across impure goals Ralph Becket
[m-rev.] diff: avoid redundant declaration code Ralph Becket
[m-rev.] for reviews: support impure initalise and finalise predicates Ralph Becket
[m-rev.] For review: allow unifications to be delayed across impure goals Ralph Becket
[m-rev.] Add a listing facility to mdb Ralph Becket
[m-rev.] Add a listing facility to mdb Ralph Becket
[m-rev.] for review: install executables to top-level bin directory Ralph Becket
[m-rev.] Add a listing facility to mdb Ralph Becket
[m-rev.] for review: add windows installer generator to extras Ralph Becket
[m-rev.] For review: fix a mode analysis bug Ralph Becket
[m-rev.] For review: allow unifications to be delayed across impure goals Ralph Becket
[m-rev.] For review: make impure goals with inst any vars in negated contexts Ralph Becket
[m-rev.] for post-commit review: better determinism error messages Ralph Becket
[m-rev.] For review: allow unifications to be delayed across impure goals Mark Brown
[m-rev.] for review: increase default detstack size Mark Brown
[m-rev.] diff: bugfix for existential types Mark Brown
[m-rev.] For review: fix a mode analysis bug Mark Brown
[m-rev.] for review: implement C version of mmc Julien Fischer
[m-rev.] for review: update README with latest version of boehm gc Julien Fischer
[m-rev.] for review: implement C version of mmc Julien Fischer
[m-rev.] for review: port Mercury to MSYS (MinGW) Julien Fischer
[m-rev.] for review: pure mutable access predicates Julien Fischer
[m-rev.] diff: fix performance bug in mkinit Julien Fischer
[m-rev.] for review: changes to download pages Julien Fischer
[m-rev.] for review: changes to download pages (DIFF) Julien Fischer
[m-rev.] for post-commit review: optimize dummy types Julien Fischer
[m-rev.] for review: pure mutable access predicates Julien Fischer
[m-rev.] for review: pure mutable access predicates Julien Fischer
[m-rev.] for review: pure mutable access predicates Julien Fischer
[m-rev.] for review: pure mutable access predicates Julien Fischer
[m-rev.] for post-commit review: optimize dummy types Julien Fischer
[m-rev.] for review: pure mutable access predicates Julien Fischer
[m-rev.] diff: fix compilation of runtime in .profdeep grades Julien Fischer
[m-rev.] trivial diff: workaround assertion failures in browser directory Julien Fischer
[m-rev.] diff: fix bitrot in benchmarks Julien Fischer
[m-rev.] diff: use intialise declaration in GLUT binding Julien Fischer
[m-rev.] trivial diff: update newhost file Julien Fischer
[m-rev.] diff: use mutables in opengl samples Julien Fischer
[m-rev.] diff: enable trailed_mutable only when sensible Julien Fischer
[m-rev.] diff: update decldebug tests Julien Fischer
[m-rev.] trivial diff: documentation fixes Julien Fischer
[m-rev.] for review: fix bugs involving unused foreign_proc args Julien Fischer
[m-rev.] For review: allow unifications to be delayed across impure goals Julien Fischer
[m-rev.] diff: disable tests/tabling/specified in profiling grades Julien Fischer
[m-rev.] diff: avoid redundant declaration code Julien Fischer
[m-rev.] for post-commit review: last call modulo constructor for hlc.gc Julien Fischer
[m-rev.] diff: type qualify clauses in .opt files Julien Fischer
[m-rev.] trivial diff: don't test --split-c-files Julien Fischer
[m-rev.] for reviews: support impure initalise and finalise predicates Julien Fischer
[m-rev.] diff: delete redundant test case Julien Fischer
[m-rev.] diff: enable tests/invalid/typeclass_test_8 Julien Fischer
[m-rev.] for review: implement C version of mmc Julien Fischer
[m-rev.] diff: improve error message for unsatisfied typeclass constraints Julien Fischer
[m-rev.] for review: install executables to top-level bin directory Julien Fischer
[m-rev.] for review: install executables to top-level bin directory Julien Fischer
[m-rev.] for review: install executables to top-level bin directory Julien Fischer
[m-rev.] diff: trail usage analysis Julien Fischer
[m-rev.] trivial diff: avoid a c compiler warning Julien Fischer
[m-rev.] For review: fix a mode analysis bug Julien Fischer
[m-rev.] diff: trail usage analysis Julien Fischer
[m-rev.] trivial diff: convert termination analyser to 4-space indentation Julien Fischer
[m-rev.] diff: add '--intermod-opt' option Julien Fischer
[m-rev.] for post-commit review: better determinism error messages Julien Fischer
[m-rev.] For review: make impure goals with inst any vars in negated contexts Julien Fischer
[m-rev.] for review: do overnight tests on uranus Julien Fischer
[m-rev.] trivial diff: build 0.12.1-beta Julien Fischer
[m-rev.] trivial diff: update test_mercury for earth Julien Fischer
[m-rev.] trivial diff: update test_mercury for earth Julien Fischer
[m-rev.] for reviews: support impure initalise and finalise predicates Fergus Henderson
[m-rev.] For review: allow unifications to be delayed across impure goals Fergus Henderson
[m-rev.] For review: allow unifications to be delayed across impure goals Fergus Henderson
[m-rev.] Add a listing facility to mdb Fergus Henderson
[m-rev.] for review: add windows installer generator to extras Fergus Henderson
[m-rev.] for review: implement C version of mmc Ian MacLarty
[m-rev.] for review: update README with latest version of boehm gc Ian MacLarty
[m-rev.] diff: update version of boehm in README on 0.12 branch Ian MacLarty
[m-rev.] for review: add talk to web site Ian MacLarty
[m-rev.] for review: port Mercury to MSYS (MinGW) Ian MacLarty
[m-rev.] for review: port Mercury to MSYS (MinGW) Ian MacLarty
[m-rev.] for review: pure mutable access predicates Ian MacLarty
[m-rev.] diff: add a missing `in' on papers web page Ian MacLarty
[m-rev.] diff: fix bitrot in benchmarks Ian MacLarty
[m-rev.] for review: document mdb's options in the user guide Ian MacLarty
[m-rev.] diff: update decldebug tests Ian MacLarty
[m-rev.] for review: reset I/O tabling counter even if no !IO arguments Ian MacLarty
[m-rev.] Add a listing facility to mdb Ian MacLarty
[m-rev.] Add a listing facility to mdb Ian MacLarty
[m-rev.] for review: port 0.12 branch to mingw Ian MacLarty
[m-rev.] for review: implement C version of mmc Ian MacLarty
[m-rev.] for review: port 0.12 branch to mingw Ian MacLarty
[m-rev.] for review: implement C version of mmc Ian MacLarty
[m-rev.] diff: fix existential_type_classes failing test case Ian MacLarty
[m-rev.] for review: implement C version of mmc Ian MacLarty
[m-rev.] Add a listing facility to mdb Ian MacLarty
[m-rev.] diff: fix throw.exp2 Ian MacLarty
[m-rev.] for review: install executables to top-level bin directory Ian MacLarty
[m-rev.] for review: install executables to top-level bin directory Ian MacLarty
[m-rev.] Add a listing facility to mdb Ian MacLarty
[m-rev.] for review: add windows installer generator to extras Ian MacLarty
[m-rev.] for review: add windows installer generator to extras Ian MacLarty
[m-rev.] for review: add windows installer generator to extras Ian MacLarty
[m-rev.] for review: fix test_mercury Ian MacLarty
[m-rev.] diff: fix mercury_config Ian MacLarty
[m-rev.] diff: make configure more robust Ian MacLarty
[m-rev.] for post-commit review: better determinism error messages Ian MacLarty
[m-rev.] for review: improvements to subterm dependency tracking Ian MacLarty
[m-rev.] for review: do overnight tests on uranus Ian MacLarty
[m-rev.] for review: do overnight tests on uranus Ian MacLarty
[m-rev.] trivial diff: update test_mercury for earth Ian MacLarty
[m-rev.] for review: do overnight tests on uranus Ian MacLarty
[m-rev.] for review: implement C version of mmc Peter Moulder
[m-rev.] for review: add talk to web site Peter Moulder
[m-rev.] diff: rename get predicates Peter Moulder
[m-rev.] for review: port 0.12 branch to mingw Peter Ross
[m-rev.] Add a listing facility to mdb Peter Ross
[m-rev.] Add a listing facility to mdb Peter Ross
[m-rev.] diff: MR_succeed_discard Zoltan Somogyi
[m-rev.] diff: fix performance bug in mkinit Zoltan Somogyi
[m-rev.] diff: fix infinite loop in mtags Zoltan Somogyi
[m-rev.] for post-commit review: optimize dummy types Zoltan Somogyi
[m-rev.] for post-commit review: optimize dummy types Zoltan Somogyi
[m-rev.] for post-commit review: optimize dummy types Zoltan Somogyi
[m-rev.] diff: fix overly strict sanity check Zoltan Somogyi
[m-rev.] diff: fix bug in mode analysis wrt quantification Zoltan Somogyi
[m-rev.] diff: finish a couple of bootstrapping steps Zoltan Somogyi
[m-rev.] diff: generalize my mode analysis bug fix Zoltan Somogyi
[m-rev.] diff: enable trailed_mutable only when sensible Zoltan Somogyi
[m-rev.] diff: more cleanups Zoltan Somogyi
[m-rev.] diff: more cleanups Zoltan Somogyi
[m-rev.] diff: more cleanups Zoltan Somogyi
[m-rev.] diff: options_file.m cleanup Zoltan Somogyi
[m-rev.] for review: fix bugs involving unused foreign_proc args Zoltan Somogyi
[m-rev.] For review: allow unifications to be delayed across impure goals Zoltan Somogyi
[m-rev.] diff: convert a bunch of modules to four-space indentation Zoltan Somogyi
[m-rev.] For review: allow unifications to be delayed across impure goals Zoltan Somogyi
[m-rev.] diff: avoid redundant declaration code Zoltan Somogyi
[m-rev.] diff: makebatch --stop-after-stage-2 Zoltan Somogyi
[m-rev.] for post-commit review: last call modulo constructor for hlc.gc Zoltan Somogyi
[m-rev.] diff: convert most of the library to four-space indentation Zoltan Somogyi
[m-rev.] diff: tools/makebatch $batch.MMAKE.$n Zoltan Somogyi
[m-rev.] diff: more four space conversions Zoltan Somogyi
[m-rev.] diff: rename some types and functors to avoid parentheses Zoltan Somogyi
[m-rev.] Add a listing facility to mdb Zoltan Somogyi
[m-rev.] for post-commit review: new mdb comand "ambiguity" Zoltan Somogyi
[m-rev.] diff: makebatch --quick Zoltan Somogyi
[m-rev.] diff: fix -S Zoltan Somogyi
[m-rev.] Add a listing facility to mdb Zoltan Somogyi
[m-rev.] Add a listing facility to mdb Zoltan Somogyi
[m-rev.] diff: modules.m error message Zoltan Somogyi
[m-rev.] for post-commit review: better determinism error messages Zoltan Somogyi
[m-rev.] diff: fix minor compilation problem Zoltan Somogyi
[m-rev.] for review: do overnight tests on uranus Zoltan Somogyi
[m-rev.] for review: improvements to subterm dependency tracking Zoltan Somogyi

Last message date: Mon Oct 31 18:07:07 AEDT 2005
Archived on: Wed Mar 23 20:53:36 AEDT 2016

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

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