The Mercury Project
mercury-developers Dec 2005 By Thread

Home

News

Information

Documentation

Mailing Lists
  Developers
  Reviews
  Users
  Search

Back-ends

Download

Related

Contact

Search

Most recent messages
56 messages sorted by: [ author ] [ date ] [ subject ] [ attachment ]
Other mail archives

Starting: Thu Dec 01 2005 - 01:49:34 EST
Ending: Fri Dec 23 2005 - 20:21:24 EST

Re: [m-dev.] CTGC implementation, getting started (again) Julien Fischer (Thu Dec 01 2005 - 01:43:27 EST)
- Re: [m-dev.] CTGC implementation, getting started (again) Zoltan Somogyi (Thu Dec 01 2005 - 13:23:35 EST)
Re: [m-dev.] tracing of builtin modules Fergus Henderson (Thu Dec 01 2005 - 17:18:53 EST)
Re: [m-dev.] Test failures during porting to ARM Fergus Henderson (Thu Dec 01 2005 - 17:26:41 EST)
- Re: [m-dev.] Test failures during porting to ARM Julien Fischer (Thu Dec 01 2005 - 17:29:20 EST)
[m-dev.] Trying to add shared objects support for ARM Sergey Khorev (Mon Dec 05 2005 - 23:18:19 EST)
- Re: [m-dev.] Trying to add shared objects support for ARM Julien Fischer (Tue Dec 06 2005 - 15:35:30 EST)
  - Re[2]: [m-dev.] Trying to add shared objects support for ARM Sergey Khorev (Thu Dec 08 2005 - 20:24:24 EST)
- Re: [m-dev.] Trying to add shared objects support for ARM Fergus Henderson (Fri Dec 09 2005 - 07:52:15 EST)
[m-dev.] How to tell if a predicate is external Ian MacLarty (Tue Dec 06 2005 - 03:06:31 EST)
- Re: [m-dev.] How to tell if a predicate is external Ian MacLarty (Tue Dec 06 2005 - 03:16:23 EST)
  - Re: [m-dev.] How to tell if a predicate is external Ian MacLarty (Tue Dec 06 2005 - 04:40:02 EST)
[m-dev.] Rethink of impurity w.r.t. solver code in negated contexts Ralph Becket (Tue Dec 06 2005 - 15:33:02 EST)
- Re: [m-dev.] Rethink of impurity w.r.t. solver code in negated contexts Mark Brown (Wed Dec 07 2005 - 00:35:26 EST)
  - Re: [m-dev.] Rethink of impurity w.r.t. solver code in negated contexts Ralph Becket (Wed Dec 07 2005 - 00:51:17 EST)
  - Re: [m-dev.] Rethink of impurity w.r.t. solver code in negated contexts Ian MacLarty (Wed Dec 07 2005 - 01:15:22 EST)
    - Re: [m-dev.] Rethink of impurity w.r.t. solver code in negated contexts Mark Brown (Wed Dec 07 2005 - 01:42:39 EST)
    - Re: [m-dev.] Rethink of impurity w.r.t. solver code in negated contexts Ralph Becket (Wed Dec 07 2005 - 10:50:38 EST)
[m-dev.] streams in Mercury Ian MacLarty (Wed Dec 14 2005 - 01:07:15 EST)
- Re: [m-dev.] streams in Mercury Julien Fischer (Wed Dec 14 2005 - 02:58:26 EST)
  - Re: [m-dev.] streams in Mercury Ian MacLarty (Wed Dec 14 2005 - 04:07:31 EST)
[m-dev.] Patch: support for shared objects on ARM Sergey Khorev (Wed Dec 14 2005 - 21:06:25 EST)
- Re: [m-dev.] Patch: support for shared objects on ARM Sergey Khorev (Thu Dec 15 2005 - 16:26:37 EST)
- Re: [m-dev.] Patch: support for shared objects on ARM Julien Fischer (Thu Dec 15 2005 - 18:03:08 EST)
  - Re[2]: [m-dev.] Patch: support for shared objects on ARM Sergey Khorev (Thu Dec 15 2005 - 18:31:43 EST)
    - Re[2]: [m-dev.] Patch: support for shared objects on ARM Julien Fischer (Thu Dec 22 2005 - 00:44:44 EST)
    - Re[3]: [m-dev.] Patch: support for shared objects on ARM Sergey Khorev (Thu Dec 22 2005 - 01:15:04 EST)
[m-dev.] benchmarks for finite domain solvers with --generate-trail-ops-inline Julien Fischer (Fri Dec 16 2005 - 18:53:53 EST)
- Re: [m-dev.] benchmarks for finite domain solvers with --generate-trail-ops-inline Zoltan Somogyi (Fri Dec 16 2005 - 20:41:22 EST)
  - Re: [m-dev.] benchmarks for finite domain solvers with --generate-trail-ops-inline Julien Fischer (Sat Dec 17 2005 - 15:33:07 EST)
- Re: [m-dev.] benchmarks for finite domain solvers with --generate-trail-ops-inline Julien Fischer (Thu Dec 22 2005 - 00:07:39 EST)
  - Re: [m-dev.] benchmarks for finite domain solvers with --generate-trail-ops-inline Julien Fischer (Thu Dec 22 2005 - 00:10:45 EST)
  - Re: [m-dev.] benchmarks for finite domain solvers with --generate-trail-ops-inline Julien Fischer (Thu Dec 22 2005 - 14:57:45 EST)
[m-dev.] Feature proposal: generic inline iterations Sebastian Brand (Thu Dec 22 2005 - 11:43:50 EST)
- Re: [m-dev.] Feature proposal: generic inline iterations Mark Brown (Thu Dec 22 2005 - 15:03:05 EST)
  - Re: [m-dev.] Feature proposal: generic inline iterations Peter Stuckey (Thu Dec 22 2005 - 15:36:27 EST)
  - Re: [m-dev.] Feature proposal: generic inline iterations Sebastian Brand (Thu Dec 22 2005 - 17:01:20 EST)
    - Re: [m-dev.] Feature proposal: generic inline iterations Mark Brown (Thu Dec 22 2005 - 23:44:38 EST)
[m-dev.] names of the scanner and parser generators Zoltan Somogyi (Thu Dec 22 2005 - 20:02:30 EST)
- Re: [m-dev.] names of the scanner and parser generators Ian MacLarty (Thu Dec 22 2005 - 20:21:41 EST)
  - Re: [m-dev.] names of the scanner and parser generators Zoltan Somogyi (Fri Dec 23 2005 - 07:58:22 EST)
    - Re: [m-dev.] names of the scanner and parser generators Ralph Becket (Fri Dec 23 2005 - 10:19:03 EST)
    - Re: [m-dev.] names of the scanner and parser generators Zoltan Somogyi (Fri Dec 23 2005 - 20:21:20 EST)

Last message date: Fri Dec 23 2005 - 20:21:24 EST
Archived on: Sat Dec 31 2005 - 00:40:04 EST

56 messages sorted by: [ author ] [ date ] [ subject ] [ attachment ]
Other mail archives
This mail archive was generated by hypermail 2.1.3 on Sat Dec 31 2005 - 00:40:04 EST.

The Mercury Project mercury-developers Dec 2005 By Thread

The Mercury Project
mercury-developers Dec 2005 By Thread