November 2007 Archives by date

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

Starting: Thu Nov 1 00:24:24 AEDT 2007
Ending: Fri Nov 30 22:53:49 AEDT 2007
Messages: 78

[m-rev.] trivial diff: Fix error in comment Paul Bone
[m-rev.] diff: fix goal scheduling problem Julien Fischer
[m-rev.] diff: remove user visible documentation for mdb's fail command Julien Fischer
[m-rev.] diff: remove user visible documentation for mdb's fail command Paul Bone
[m-rev.] nondet & multi code managed by ssdb Olivier Annet
[m-rev.] nondet & multi code managed by ssdb Peter Wang
[m-rev.] diff: fix compiler abort because of missing init preds. Julien Fischer
[m-rev.] diff: always build deep_profiler directory Julien Fischer
[m-rev.] for review: library grade set filters Julien Fischer
[m-rev.] for review: library grade set filters Julien Fischer
[m-rev.] for review: library grade set filters Peter Wang
[m-rev.] for review: library grade set filters Julien Fischer
[m-rev.] for review: library grade set filters Peter Wang
[m-rev.] for review: stseg grades documentation Julien Fischer
[m-rev.] for review: library grade set filters Julien Fischer
[m-rev.] for review: fix documentation of `--no-fully-strict' Julien Fischer
[m-rev.] for review: stseg grades documentation Peter Wang
[m-rev.] Retry added in ssdb Olivier Annet
[m-rev.] for review: fix documentation of `--no-fully-strict' Ian MacLarty
[m-rev.] for review: library grade set filters Zoltan Somogyi
[m-rev.] for review: fix an ml bug introduced with the latest ssdb changes Zoltan Somogyi
[m-rev.] for review: only reserve 2 registers for global register on x86 Julien Fischer
[m-rev.] For review: Implement several things for rbmm Quan Phan
[m-rev.] Retry added in ssdb Peter Wang
[m-rev.] for review: only reserve 2 registers for global register on x86 Julien Fischer
[m-rev.] for review: only reserve 2 registers for global register on x86 Ralph Becket
[m-rev.] for review: representing goal paths using cords Zoltan Somogyi
[m-rev.] diff: install ints and headers in ssdb directory Peter Wang
[m-rev.] for review: representing goal paths using cords Julien Fischer
[m-rev.] For review: Implement several things for rbmm Zoltan Somogyi
[m-rev.] for review: fix compiler abort with invalid instance Julien Fischer
[m-rev.] For review: Implement several things for rbmm Quan Phan
[m-rev.] for review: remove remaining solver type auto init support Julien Fischer
[m-rev.] diff: speed up parsing of d.u. types with many constructors Julien Fischer
[m-rev.] for review: fix compiler abort with invalid instance Julien Fischer
[m-rev.] trivial diff: minor style cleanups Julien Fischer
[m-rev.] diff: avoid integer overflow in deep profiling runtime Julien Fischer
[m-rev.] diff: fix bug #29: mdb listing Zoltan Somogyi
[m-rev.] diff: fix bug #29: mdb listing Ralph Becket
[m-rev.] for review: specify tabling extra arguments by address Peter Wang
[m-rev.] for review: work around type ambiguity problem Peter Wang
[m-rev.] for review: work around type ambiguity problem Zoltan Somogyi
[m-rev.] for review: specify tabling extra arguments by address Zoltan Somogyi
[m-rev.] for review: specify tabling extra arguments by address Peter Wang
[m-rev.] diff: sol() wrappers Zoltan Somogyi
[m-rev.] trivial diff: replace some if-then-elses with switches Julien Fischer
[m-rev.] for post-commit review by anyone: fix bug #28 Zoltan Somogyi
[m-rev.] for post-commit review by anyone: fix bug #28 Julien Fischer
[m-rev.] Post-commit review: Implement several things for RBMM Quan Phan
[m-rev.] trivial diff: fix failure of invalid/zinc2mer_lib Julien Fischer
[m-rev.] trivial diff: fix the failre of valid/testxmlreader with --intermod-opt Julien Fischer
[m-rev.] trivial diff: disable tests/valid/solver_type_mutable_bug Julien Fischer
[m-rev.] diff: opt_debug improvement Zoltan Somogyi
[m-rev.] for review: --inform-ite-instead-of-switch Zoltan Somogyi
[m-rev.] for review: --inform-ite-instead-of-switch Julien Fischer
[m-rev.] diff: cleanup ssdebug.m Zoltan Somogyi
[m-rev.] for review: switch generation cleanups Zoltan Somogyi
[m-rev.] for review: switch generation cleanups Julien Fischer
[m-rev.] for review: switch generation cleanups Zoltan Somogyi
[m-rev.] For review: fix a compiler abort Ralph Becket
[m-rev.] For review: fix a compiler abort Ralph Becket
[m-rev.] For review: fix a compiler abort Julien Fischer
[m-rev.] For review: fix a compiler abort Julien Fischer
[m-rev.] For review: fix a compiler abort Ralph Becket
[m-rev.] For review: fix a compiler abort Ralph Becket
[m-rev.] ssdb version 1.0. Olivier Annet
[m-rev.] diff: fix compiler abort with solver initialisation Julien Fischer
[m-rev.] diff: document library/bool.m Mark Brown
[m-rev.] For Review: Refactor deep profiling module. Paul Bone
[m-rev.] ssdb version 1.0. Peter Wang
[m-rev.] ssdb version 1.0. Julien Fischer
[m-rev.] for review: feature set pragmas Julien Fischer
[m-rev.] For Review: Refactor deep profiling module. Julien Fischer
[m-rev.] for review: feature set pragmas Peter Wang
[m-rev.] for review: feature set pragmas Julien Fischer
[m-rev.] for review: feature set pragmas Mark Brown
[m-rev.] for review: feature set pragmas Peter Wang
[m-rev.] For Review: Refactor deep profiling module. Paul Bone

Last message date: Fri Nov 30 22:53:49 AEDT 2007
Archived on: Wed Mar 23 20:53:47 AEDT 2016

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

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