[m-dev.] for review: Mercury meeting minutes for 2/2/2001
Simon Taylor
stayl at cs.mu.OZ.AU
Mon Feb 5 14:11:01 AEDT 2001
Estimated hours taken: 0.25
w3/information/reports/minutes_02_02_01.html:
w3/news/reportsdb.inc:
Add the minutes from the Mercury meeting held on 2/2/2001.
Index: information/reports/minutes_02_02_01.html
===================================================================
RCS file: minutes_02_02_01.html
diff -N minutes_02_02_01.html
--- /dev/null Mon Feb 5 14:05:57 2001
+++ minutes_02_02_01.html Mon Feb 5 14:03:13 2001
@@ -0,0 +1,93 @@
+
+<html>
+
+<pre>
+We had a meeting of the Mercury group on Fri Feb 2, 2001,
+from 3:15 to 4:00pm.
+
+Attendees:
+ Fergus Henderson (fjh)
+ David Jeffery (dgj)
+ Julien Fischer (juliensf)
+ Ina Cheng (inch)
+ Sam Thurairatnam (sthur)
+ Levi Cameron (lpcam)
+ Zoltan Somogyi (zs)
+ Simon Mei (xcsm)
+ Tyson Dowd (trd)
+ David Overton (dmo)
+ Mark Brown (dougl)
+ Simon Taylor (stayl)
+ Thomas Conway (conway)
+
+1. Release
+
+ - There are still some bugs to be fixed, but the release is
+ close enough that it's worth starting to test installation
+ of the distributions.
+
+2. 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.
+
+ Zoltan Somogyi (zs)
+ - Fixed a bug in retry in the debugger.
+ - Has been working with Tom on deep profiling.
+ - Discussed a new approach to tabling with Kostis Sagonas.
+
+ Thomas Conway (conway)
+ - More work on deep profiling, will give a demonstration soon.
+ - To try deep profiling, check out the `deep2' branch.
+
+ Mark Brown (dougl)
+ - Term dependency analysis in the declarative debugger
+ now works.
+ - Working on documentation.
+
+ Fergus Henderson (fjh):
+ - Reviewed bytecode and MLDS changes from juliensf and lpcam.
+ - Discussed tabling in MLDS backend with Kostis Sagonas.
+ - Finishing GCC backend.
+ - Fixed MLDS bug for release.
+
+ Tyson Dowd (trd):
+ - Fixed floating point in .NET backend.
+ - Did some work on fixing multiple inclusion of
+ `:- pragma c_header_code(...)'.
+ - Did some writing.
+
+ David Overton (dmo):
+ - Installed software on the new machine (venus at cs.mu.oz.au).
+ - Working on improving performance of the new mode checker.
+
+ David Jeffery (dgj)
+ - Worked on merging the HAL branch into the main branch.
+
+ Ina Cheng (inch)
+ - Has been working on encoding Mercury types in XML.
+ - Working on web client.
+
+ Sam Thurairatnam (sthur)
+ - Working on a database for browser information.
+
+ Simon Mei (xcsm)
+ - Working on documentation for quickcheck.
+
+ Julien Fischer (juliensf)
+ - Dealing with review comments for changes to MLDS.
+ - The Java backend now generates code for most things,
+ RTTI and the standard library still need work.
+
+ Levi Cameron (lpcam)
+ - Working on handling nondet code in the bytecode interpreter.
+ - Improved efficiency of calling native code from bytecode.
+
+ Simon Taylor (stayl)
+ - Calling Mercury code from Aditi now works, but needs
+ much more testing.
+
+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.12
diff -u -u -r1.12 reportsdb.inc
--- news/reportsdb.inc 2001/01/22 00:19:02 1.12
+++ news/reportsdb.inc 2001/02/05 03:08:26
@@ -12,6 +12,8 @@
*/
$reportsdb = array(
+ "2 Feb 2001" =>
+ array("minutes_02_02_01.html", "Mercury Meeting Minutes"),
"19 Jan 2001" =>
array("minutes_19_01_01.html", "Mercury Meeting Minutes"),
"12 Jan 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