October 2007 Archives by author

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

Starting: Mon Oct 1 09:16:55 AEST 2007
Ending: Wed Oct 31 23:16:33 AEDT 2007
Messages: 160

[m-rev.] already reviewed: add debugger state to ssdb Olivier Annet
[m-rev.] add prompt to ssdb Olivier Annet
[m-rev.] Breakpoint added in source-to-source debugger Olivier Annet
[m-rev.] ssdb goal's argument generation at call and exit point Olivier Annet
[m-rev.] semidet code managed in ssdb Olivier Annet
[m-rev.] ssdb code reorganization Olivier Annet
[m-rev.] For review: deconstruct non-canonical terms in pretty_printer.m Ralph Becket
[m-rev.] For review: deconstruct non-canonical terms in pretty_printer.m Ralph Becket
[m-rev.] For review: deconstruct non-canonical terms in pretty_printer.m Ralph Becket
[m-rev.] For review: deconstruct non-canonical terms in pretty_printer.m Ralph Becket
[m-rev.] For review: deconstruct non-canonical terms in pretty_printer.m Ralph Becket
[m-rev.] for review: drop support for automatic solver type initialisation Ralph Becket
[m-rev.] for review: delete mtogl from the extras distribution Paul Bone
[m-rev.] for review: fix ref. man. description of float literals Paul Bone
[m-rev.] for review: extra comments in mdbcomp/program_representation.m Paul Bone
[m-rev.] diff: remove user visible documentation for mdb's fail command Paul Bone
[m-rev.] for review: extra comments in mdbcomp/program_representation.m Paul Bone
[m-rev.] For review: deconstruct non-canonical terms in pretty_printer.m Mark Brown
[m-rev.] For review: deconstruct non-canonical terms in pretty_printer.m Mark Brown
[m-rev.] For review: deconstruct non-canonical terms in pretty_printer.m Mark Brown
[m-rev.] For review: deconstruct non-canonical terms in pretty_printer.m Mark Brown
[m-rev.] For review: deconstruct non-canonical terms in pretty_printer.m Mark Brown
[m-rev.] For review: deconstruct non-canonical terms in pretty_printer.m Mark Brown
[m-rev.] for review: add ssdb_builtin.m to std library Julien Fischer
[m-rev.] diff: workaround problem causing debugger seg faults Julien Fischer
[m-rev.] for review: add ssdb_builtin.m to std library Julien Fischer
[m-rev.] for review: implement region cleanup at model_non if-then-elses Julien Fischer
[m-rev.] for review: record use of reserved addresses Julien Fischer
[m-rev.] for review: use MR_Unsigned in trace code Julien Fischer
[m-rev.] for review: use MR_Unsigned in trace code Julien Fischer
[m-rev.] trivial diff: fix namespace cleanliness check in trace dir Julien Fischer
[m-rev.] for review: use MR_Unsigned in trace code Julien Fischer
[m-rev.] trivial diff: fix broken install_grades target Julien Fischer
[m-rev.] For review: Re-add --region-analysis option Julien Fischer
[m-rev.] trivial diff: fix typo in prepare_temp_dir_grade_part script Julien Fischer
[m-rev.] already reviewed: add debugger state to ssdb Julien Fischer
[m-rev.] trivial diff: fix more ssdb build problems Julien Fischer
[m-rev.] trivial diff: fix more ssdb build problems Julien Fischer
[m-rev.] trivial diff: fix another typo in prepare_tmp_dir_grade_part Julien Fischer
[m-rev.] trivial diff: fix failure of debugger/declarative/backtrack Julien Fischer
[m-rev.] For review: Implemention of the region runtime system Julien Fischer
[m-rev.] for review: rbmm debugging/profiling grades Julien Fischer
[m-rev.] for review: software transactional memory language extension Julien Fischer
[m-rev.] diff: replace some if-then-elses with switches Julien Fischer
[m-rev.] For review: deconstruct non-canonical terms in pretty_printer.m Julien Fischer
[m-rev.] diff: foreign enumerations in opengl binding Julien Fischer
[m-rev.] diff: foreign enumerations and glu binding Julien Fischer
[m-rev.] for review: delete mtogl from the extras distribution Julien Fischer
[m-rev.] Saving MR_region_disj_sp when pushing a commit frame Julien Fischer
[m-rev.] for review: improve parallel execution mechanism Julien Fischer
[m-rev.] for review: delete mtogl from the extras distribution Julien Fischer
[m-rev.] diff: turn tree_bitset integrity checking code into trace goals Julien Fischer
[m-rev.] diff: more foreign enums for opengl binding Julien Fischer
[m-rev.] diff: even more foreign enums for the opengl binding Julien Fischer
[m-rev.] diff: make mogl.single_integer_state/0 into a foreign enum Julien Fischer
[m-rev.] diff: remove the need for mogl.type_tables Julien Fischer
[m-rev.] diff: delete packaged C files from ssdb and slice before rebuilding Julien Fischer
[m-rev.] trivial diff: document updates for new directories Julien Fischer
[m-rev.] diff: more opengl stuff Julien Fischer
[m-rev.] for review: fix ref. man. description of float literals Julien Fischer
[m-rev.] diff: fix library installation on our machines Julien Fischer
[m-rev.] diff: fix library installation on our machines Julien Fischer
[m-rev.] diff: fix overlong lines in --help message Julien Fischer
[m-rev.] for review: function version of semaphore.new Julien Fischer
[m-rev.] for review: fix ref. man. description of float literals Julien Fischer
[m-rev.] diff: fix compilation errors in compiler/ssdebug.m Julien Fischer
[m-rev.] diff: fix error message with incorrect variable names Julien Fischer
[m-rev.] trivial diff: fix broken pretty_printer test cases Julien Fischer
[m-rev.] trivial diff: rename fields of det_info structure Julien Fischer
[m-rev.] for review: emit error for non-visible types in instance decls Julien Fischer
[m-rev.] for review: emit error for non-visible types in instance decls Julien Fischer
[m-rev.] for review: work around thread procedures crashing in debug grade Julien Fischer
[m-rev.] Re: for review: infrastructure for libmer_ssdb Julien Fischer
[m-rev.] for review: workaround problems with mercury_atomic_ops and gcc -O0 Julien Fischer
[m-rev.] for review: infrastructure for libmer_ssdb Julien Fischer
[m-rev.] for review: workaround problems with mercury_atomic_ops and gcc -O0 Julien Fischer
[m-rev.] trivial diff: delete residual .rt documentation Julien Fischer
[m-rev.] diff: workaround compiler abort with --errorcheck-only Julien Fischer
[m-rev.] diff: check that the default grade is going to be installed Julien Fischer
[m-rev.] for review: document .stseg grades Julien Fischer
[m-rev.] for review: document .stseg grades Julien Fischer
[m-rev.] for review: drop support for automatic solver type initialisation Julien Fischer
[m-rev.] for review: drop support for automatic solver type initialisation Julien Fischer
[m-rev.] for review: extra comments in mdbcomp/program_representation.m Julien Fischer
[m-rev.] diff: remove user visible documentation for mdb's fail command Julien Fischer
[m-rev.] diff: fix badly-typed solver equivalence initialisation predicates Julien Fischer
[m-rev.] for review: software transactional memory language extension Leon Ilario MIKA
[m-rev.] for review: finish dir.m implementation for erlang backend Ian MacLarty
[m-rev.] for review: use MR_Unsigned in trace code Ian MacLarty
[m-rev.] for review: use MR_Unsigned in trace code Ian MacLarty
[m-rev.] For review: deconstruct non-canonical terms in pretty_printer.m Ian MacLarty
[m-rev.] spam in mercury bugs database Ian MacLarty
[m-rev.] For review: Re-add --region-analysis option Quan Phan
[m-rev.] For review: Re-add --region-analysis option Quan Phan
[m-rev.] For review: Implemention of the region runtime system Quan Phan
[m-rev.] For review: Implemention of the region runtime system Quan Phan
[m-rev.] For review: Implemention of the region runtime system Quan Phan
[m-rev.] For review: Implemention of the region runtime system Quan Phan
[m-rev.] For review: Implemention of the region runtime system Quan Phan
[m-rev.] Saving MR_region_disj_sp when pushing a commit frame Quan Phan
[m-rev.] Saving MR_region_disj_sp when pushing a commit frame Quan Phan
[m-rev.] For review: Protecting backward live regions for disjunctions. Quan Phan
[m-rev.] For review: Protecting backward live regions for disjunctions. Quan Phan
[m-rev.] for post-commit review: remove a redundant #include. Quan Phan
[m-rev.] For review: Implement several things for rbmm Quan Phan
[m-rev.] for review: add ssdb_builtin.m to std library Peter Ross
[m-rev.] for review: add ssdb_builtin.m to std library Peter Ross
[m-rev.] for review: add ssdb_builtin.m to std library Peter Ross
[m-rev.] for review: finish dir.m implementation for erlang backend Peter Ross
[m-rev.] for review: improve check for invalid invalid declarations Peter Ross
[m-rev.] for review: add ssdb_builtin.m to std library Peter Ross
[m-rev.] for review: add ssdb_builtin.m to std library Peter Ross
[m-rev.] for review: ssdb compiler scaffolding Peter Ross
[m-rev.] for review: ssdb compiler scaffolding Peter Ross
[m-rev.] for review: ssdb compiler scaffolding Peter Ross
[m-rev.] for review: ssdb compiler scaffolding Peter Ross
[m-rev.] already reviewed: add call/exit events to source to source debugger Peter Ross
[m-rev.] already reviewed: build procedure id and pass it to handle_event in ssdb Peter Ross
[m-rev.] diff: document the ssdb transformation Peter Ross
[m-rev.] for review: ssdb compiler scaffolding Peter Ross
[m-rev.] trivial diff: fix more ssdb build problems Peter Ross
[m-rev.] ssdb goal's argument generation at call and exit point Peter Ross
[m-rev.] for review: document .stseg grades Peter Ross
[m-rev.] for review: implement region cleanup at model_non if-then-elses Zoltan Somogyi
[m-rev.] for review: ssdb compiler scaffolding Zoltan Somogyi
[m-rev.] already reviewed: add debugger state to ssdb Zoltan Somogyi
[m-rev.] Breakpoint added in source-to-source debugger Zoltan Somogyi
[m-rev.] For review: Implemention of the region runtime system Zoltan Somogyi
[m-rev.] For review: Implemention of the region runtime system Zoltan Somogyi
[m-rev.] Breakpoint added in source-to-source debugger Zoltan Somogyi
[m-rev.] For review: Implemention of the region runtime system Zoltan Somogyi
[m-rev.] for review: rbmm debugging/profiling grades Zoltan Somogyi
[m-rev.] For review: Protecting backward live regions for disjunctions. Zoltan Somogyi
[m-rev.] Re: for review: finish dir.m implementation for erlang backend Peter Wang
[m-rev.] for review: record use of reserved addresses Peter Wang
[m-rev.] for review: finish dir.m implementation for erlang backend Peter Wang
[m-rev.] for review: work around abort due to classify_type_ctor Peter Wang
[m-rev.] for review: add ssdb_builtin.m to std library Peter Wang
[m-rev.] diff: fix a bug in ite generation in erlang backend Peter Wang
[m-rev.] diff: shorten too long function names in generated erlang code Peter Wang
[m-rev.] diff: fix unbound variable bug in erlang backend Peter Wang
[m-rev.] add prompt to ssdb Peter Wang
[m-rev.] Breakpoint added in source-to-source debugger Peter Wang
[m-rev.] for review: improve parallel execution mechanism Peter Wang
[m-rev.] for review: improve parallel execution mechanism Peter Wang
[m-rev.] diff: remove the need for mogl.type_tables Peter Wang
[m-rev.] for review: function version of semaphore.new Peter Wang
[m-rev.] for review: work around thread procedures crashing in debug grade Peter Wang
[m-rev.] ssdb goal's argument generation at call and exit point Peter Wang
[m-rev.] for review: fix ref. man. description of float literals Peter Wang
[m-rev.] for review: infrastructure for libmer_ssdb Peter Wang
[m-rev.] Re: for review: infrastructure for libmer_ssdb Peter Wang
[m-rev.] for review: workaround problems with mercury_atomic_ops and gcc -O0 Peter Wang
[m-rev.] for review: infrastructure for libmer_ssdb Peter Wang
[m-rev.] semidet code managed in ssdb Peter Wang
[m-rev.] ssdb code reorganization Peter Wang
[m-rev.] for post-commit review: retry interrupted system calls Peter Wang
[m-rev.] already reviewed: add debugger state to ssdb oan at missioncriticalit.com
[m-rev.] Breakpoint added in source-to-source debugger oan at missioncriticalit.com
[m-rev.] semidet code managed in ssdb oan at missioncriticalit.com

Last message date: Wed Oct 31 23:16:33 AEDT 2007
Archived on: Wed Mar 23 20:53:47 AEDT 2016

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

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