[m-dev.] diff: minutes for Mercury meeting 25/5/2001
Simon Taylor
stayl at cs.mu.OZ.AU
Wed Jun 27 02:10:17 AEST 2001
Estimated hours taken: 0.5
w3/news/reportsdb.inc:
w3/information/reports/minutes_25_05_01.html:
Add minutes for the Mercury meeting held on 25/5/2001.
Index: information/reports/minutes_25_05_01.html
===================================================================
RCS file: minutes_25_05_01.html
diff -N minutes_25_05_01.html
--- /dev/null Mon Apr 16 11:57:05 2001
+++ minutes_25_05_01.html Wed Jun 27 02:03:33 2001
@@ -0,0 +1,55 @@
+<html>
+
+<pre>
+We had a meeting of the Mercury group on Fri May 25, 2001,
+from 3.15pm to 4.15pm.
+
+Attendees:
+ Zoltan Somogyi (zs)
+ Mark Brown (dougl)
+ Simon Taylor (stayl)
+ David Overton (dmo)
+ Fergus Henderson (fjh)
+ Tyson Dowd (trd)
+ Thomas Conway (conway)
+
+Progress reports
+
+ We went around the table, with each person in turn discussing what
+ they had been working on recently and/or what they were planning
+ to work on.
+
+ Tyson Dowd (trd):
+ - Spent 6 weeks visiting Microsoft Research, Cambridge (UK)
+ and Mission Critical in Belgium.
+ - Has been working on the .NET backend.
+
+ Fergus Henderson (fjh):
+ - Writing a paper on high level C code generation.
+ - Investigating a Cygwin bug which causes Mercury
+ to fail on Cygwin 1.3.1.
+
+ Mark Brown (dougl):
+ - Has been working on a paper about the tracing system.
+
+ Thomas Conway (conway):
+ - Thesis writing.
+
+ Simon Taylor (stayl):
+ - More work on smart recompilation.
+
+ David Overton (dmo):
+ - Debugging the new mode checker.
+
+ Zoltan Somogyi (zs):
+ - Addressed review comments for deep profiling.
+ - Improved the performance of deep profiled executables.
+ - More work on presentation of deep profiling results,
+ and merging results from multiple runs of a program.
+ - Fixed all_solutions test case.
+ - Added some library predicates.
+ - Working with Mark on the tracing paper.
+
+Minutes taken by Simon Taylor (stayl at cs.mu.oz.au)
+</pre>
+</html>
Index: news/reportsdb.inc
===================================================================
RCS file: /home/mercury1/repository/w3/news/reportsdb.inc,v
retrieving revision 1.23
diff -u -u -r1.23 reportsdb.inc
--- news/reportsdb.inc 2001/05/23 13:54:33 1.23
+++ news/reportsdb.inc 2001/06/01 06:58:29
@@ -12,6 +12,8 @@
*/
$reportsdb = array(
+ "25 May 2001" =>
+ array("minutes_25_05_01.html", "Mercury Meeting Minutes"),
"18 May 2001" =>
array("minutes_18_05_01.html", "Mercury Meeting Minutes"),
"11 May 2001" =>
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to: mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions: mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------
More information about the developers
mailing list