2002-March Archives by Date

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

Starting: Fri Mar 1 14:04:54 2002
Ending: Tue Mar 26 12:04:36 2002
Messages: 163

• [cvs-nhc98] Implemented correct matching of newtype data constructors   User olaf
• [cvs-nhc98] Implemented correct matching of newtype data constructors   User olaf
• [cvs-nhc98] Add commands :+n and :-n for changing cutoff depth by incr   Malcolm Wallace
• [cvs-nhc98] In hat-explore:   Malcolm Wallace
• [cvs-nhc98] In hat-observe: allow interrupts while searching for equat   Malcolm Wallace
• [cvs-nhc98] Lowlevel getResult() routine should check for a SAT after   Malcolm Wallace
• [cvs-nhc98] Reformat for readability.   Malcolm Wallace
• [cvs-nhc98] Minor updates to reflect the new hat tools.   Malcolm Wallace
• [cvs-nhc98] Minor updates to reflect the new hat tools.   Malcolm Wallace
• [cvs-nhc98] Updates to hat tools.   Malcolm Wallace
• [cvs-nhc98] Rename old hat-trail script to hat-trail-in-java.   Malcolm Wallace
• [cvs-nhc98] Rename hat-trail to hat-trail-in-java.   Malcolm Wallace
• [cvs-nhc98] A tool which gives (approximate) application counts for al   Malcolm Wallace
• [cvs-nhc98] Rename HatExplore.hs to HatTrail.hs.   Malcolm Wallace
• [cvs-nhc98] Implemented deriving mechanism for portable tracing.   User olaf
• [cvs-nhc98] Implemented deriving mechanism for portable tracing.   User olaf
• [cvs-nhc98] For portable tracing: completed Prelude and added the easy   User olaf
• [cvs-nhc98] For portable tracing: completed Prelude and added the easy   User olaf
• [cvs-nhc98] Added missing instance Ix () in nhc98 standard libraries.   User olaf
• [cvs-nhc98] Minor doc updates on Hat limitations.   Malcolm Wallace
• [cvs-nhc98] Update the Hat User Guide, mainly to reflect the new hat-t   Malcolm Wallace
• [cvs-nhc98] Portable Tracing: added more standard libraries and derivi   User olaf
• [cvs-nhc98] Portable Tracing: added more standard libraries and derivi   User olaf
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Revert $(PWD) to $(shell pwd). Apparently Cygwin is not k   Malcolm Wallace
• [cvs-nhc98] Make it compile with nhc98.   Malcolm Wallace
• [cvs-nhc98] Improve error message formatting.   Malcolm Wallace
• [cvs-nhc98] Comment out warnings about "getting unboxed info wrong".   Malcolm Wallace
• [cvs-nhc98] Towards correct installation of the Hat libs.   Malcolm Wallace
• [cvs-nhc98] Refactor, replacing Unset command with Set, but pushing th   Malcolm Wallace
• [cvs-nhc98] Refactor, changing Unset command to Set. Also add vanishi   Malcolm Wallace
• [cvs-nhc98] Many fixes to hat-trail:   Malcolm Wallace
• [cvs-nhc98] formatting wibble   Malcolm Wallace
• [cvs-nhc98] Add clearbol (clear to beginning of line) and clearline (c   Malcolm Wallace
• [cvs-nhc98] First (non-working) attempt to represent character lists s   Malcolm Wallace
• [cvs-nhc98] Portable Tracing: enable recording of file writing in trac   User olaf
• [cvs-nhc98] Portable Tracing: forgot to commit small changes in transf   User olaf
• [cvs-nhc98] No log message   Malcolm Wallace
• [cvs-nhc98] Ignore errors from glib-config.   Malcolm Wallace
• [cvs-nhc98] The sense of verbose mode was incorrectly swapped for unev   Malcolm Wallace
• [cvs-nhc98] Remove text which claims that the portable transformation   Malcolm Wallace
• [cvs-nhc98] Portable Tracing: forgot to commit this file.   User olaf
• [cvs-nhc98] Add full dependencies for building hatlib from scratch.   Malcolm Wallace
• [cvs-nhc98] Remove "Program exited normally" runtime message.   Malcolm Wallace
• [cvs-nhc98] Mainly data IO => newtype IO in tracing interface files.   Malcolm Wallace
• [cvs-nhc98] Accept DOS line endings in greencard input.   Malcolm Wallace
• [cvs-nhc98] No log message   Malcolm Wallace
• [cvs-nhc98] Forgot to add Haskell'98 cpp symbols to internal cpp!   Malcolm Wallace
• [cvs-nhc98] layout wibble   Malcolm Wallace
• [cvs-nhc98] Primitive implementation of IOExtras.performGC should retu   Malcolm Wallace
• [cvs-nhc98] Small int64_t changes.   Malcolm Wallace
• [cvs-nhc98] Adjust time profiling output format.   Malcolm Wallace
• [cvs-nhc98] Small int64_t configuration.   Malcolm Wallace
• [cvs-nhc98] In traced IO library, use newtype'd Handles directly in FF   Malcolm Wallace
• [cvs-nhc98] import wibble   Malcolm Wallace
• [cvs-nhc98] De-CAF some Prelude definitions for tracing.   Malcolm Wallace
• [cvs-nhc98] comment   Malcolm Wallace
• [cvs-nhc98] Use newtype IO instead of data IO, even for tracing.   Malcolm Wallace
• [cvs-nhc98] De-CAF some Prelude definitions, only for tracing.   Malcolm Wallace
• [cvs-nhc98] "hmake -hat" should add "-package hat" to ghc compile and   Malcolm Wallace
• [cvs-nhc98] Portable tracing: catch runtime errors as far as possible.   User olaf
• [cvs-nhc98] Portable tracing: corrected interruption of traced program   User olaf
• [cvs-nhc98] Portable tracing: corrected implementation of Ix and simpl   User olaf
• [cvs-nhc98] Hat user guide: add pdf version of picture for pdf version   User olaf
• [cvs-nhc98] Update Hat webpage.   Malcolm Wallace
• [cvs-nhc98] Update version numbers.   Malcolm Wallace
• [cvs-nhc98] Add -P includepath to hat-trans when necessary.   Malcolm Wallace
• [cvs-nhc98] Correction to an error message.   Malcolm Wallace
• [cvs-nhc98] Rename libHSHat.a to libHShat.a.   Malcolm Wallace
• [cvs-nhc98] No log message   Malcolm Wallace
• [cvs-nhc98] Configure the portable version of hat for ghc.   Malcolm Wallace
• [cvs-nhc98] Configure portable hat as a GHC package by calling confhat   Malcolm Wallace
• [cvs-nhc98] typos   Malcolm Wallace
• [cvs-nhc98] Add lib/hat/* to a binary distribution. (Contains .hi and   Malcolm Wallace
• [cvs-nhc98] Rename libHSHat.a -> libHShat.a   Malcolm Wallace
• [cvs-nhc98] Draft tutorial, part 1.   Malcolm Wallace
• [cvs-nhc98] Fix a couple of LaTeX warnings.   Malcolm Wallace
• [cvs-nhc98] Update the Hat feature table.   Malcolm Wallace
• [cvs-nhc98] Update hmake docs for version 3.02.   Malcolm Wallace
• [cvs-nhc98] Various doc updates for nhc98 release 1.12.   Malcolm Wallace
• [cvs-nhc98] Small man-page updates.   Malcolm Wallace
• [cvs-nhc98] New release announcement file.   Malcolm Wallace
• [cvs-nhc98] Add more information about known bugs and problems.   Malcolm Wallace
• [cvs-nhc98] Make some small changes for an HTML version of the Hat tut   Malcolm Wallace
• [cvs-nhc98] Add pointers to HTML versions of documents.   Malcolm Wallace
• [cvs-nhc98] Fix hmake configuration in a binary distribution package,   Malcolm Wallace
• [cvs-nhc98] Remove the hmakerc config file in a binary distribution.   Malcolm Wallace
• [cvs-nhc98] For sparc-solaris, use -D__STDC__=0 to switch on int64_t s   Malcolm Wallace
• [cvs-nhc98] Include rather than on some machin   Malcolm Wallace
• [cvs-nhc98] Tweaks to installation of ghc hat package.   Malcolm Wallace
• [cvs-nhc98] The unique selection has a unique highlight; shared occurr   Malcolm Wallace
• [cvs-nhc98] Must `ranlib' an `ar' archive if the machine does not have   Malcolm Wallace
• [cvs-nhc98] Hmake now translates -P options into -i for ghc.   Malcolm Wallace
• [cvs-nhc98] Fix shell quoting in previous commit.   Malcolm Wallace
• [cvs-nhc98] Document the -P option a little better, and note the recen   Malcolm Wallace
• [cvs-nhc98] These .hx files are no longer needed, since the new portab   Malcolm Wallace
• [cvs-nhc98] Don't try to add .hx files to the src tarfile.   Malcolm Wallace
• [cvs-nhc98] In hmake-config, the `cut' shell command seems to fail on   Malcolm Wallace
• [cvs-nhc98] Missed one call of `cut'.   Malcolm Wallace
• [cvs-nhc98] Solaris & BSD system() calls still recognise ^ as a pipe c   Malcolm Wallace
• [cvs-nhc98] Bump hmake version to 3.03   Malcolm Wallace
• [cvs-nhc98] Document latest fix for hmake-config.   Malcolm Wallace
• [cvs-nhc98] Bump hmake version to 3.03.   Malcolm Wallace
• [cvs-nhc98] Change /bin/true to $(TRUE), and decide at configure-time   Malcolm Wallace
• [cvs-nhc98] Change /bin/true to $(TRUE), and decide at configure-time   Malcolm Wallace
• [cvs-nhc98] Change /bin/true to $(TRUE), and decide at configure-time   Malcolm Wallace
• [cvs-nhc98] Change /bin/true to $(TRUE), and decide at configure-time   Malcolm Wallace
• [cvs-nhc98] Change /bin/true to $(TRUE), and decide at configure-time   Malcolm Wallace
• [cvs-nhc98] Change /bin/true to $(TRUE), and decide at configure-time   Malcolm Wallace
• [cvs-nhc98] Change /bin/true to $(TRUE), and decide at configure-time   Malcolm Wallace
• [cvs-nhc98] Change /bin/true to $(TRUE), and decide at configure-time   Malcolm Wallace

Last message date: Tue Mar 26 12:04:36 2002
Archived on: Tue Mar 26 07:05:09 2002

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