February 2001 - Cvs-hugs

cvs commit: hugs98/src hugs.c machine.c output.c connect.h
by rwatson＠glass.cse.ogi.edu 14 Feb '01

14 Feb '01

rwatson 2001/02/13 16:25:26 PST Modified files: src hugs.c machine.c output.c connect.h Log: Various Hugs debugger mods: Fixed bugs bue to ^C, error, undefined Added prettier printing of observed strings Optional disable of root optimisation (-R flag) Revision Changes Path 1.34 +13 -6 hugs98/src/hugs.c 1.6 +30 -4 hugs98/src/machine.c 1.15 +64 -10 hugs98/src/output.c 1.18 +4 -3 hugs98/src/connect.h

1 0

cvs commit: hugs98/src/winhugs winhugs.rc
by nordland＠glass.cse.ogi.edu 13 Feb '01

13 Feb '01

nordland 2001/02/13 11:16:22 PST Modified files: src/winhugs winhugs.rc Log: Some small mods by Pepe. Revision Changes Path 1.4 +8 -8 hugs98/src/winhugs/winhugs.rc

1 0

cvs commit: hugs98/docs winhugs-notes.txt ffi-notes.txt
by nordland＠glass.cse.ogi.edu 13 Feb '01

13 Feb '01

nordland 2001/02/13 11:12:36 PST Modified files: docs ffi-notes.txt Added files: docs winhugs-notes.txt Log: Added WinHugs release notes, and changed 'T' into 't' in ffi.c! Revision Changes Path 1.2 +1 -1 hugs98/docs/ffi-notes.txt

1 0

cvs commit: hugs98/src static.c
by nordland＠glass.cse.ogi.edu 13 Feb '01

13 Feb '01

nordland 2001/02/12 17:02:16 PST Modified files: src static.c Log: Fixed bug in the reporting of inconsistent instances due to functional dependencies. Revision Changes Path 1.30 +3 -3 hugs98/src/static.c

1 0

cvs commit: hugs98/docs ffi-notes.txt
by Alastair Reid 12 Feb '01

12 Feb '01

reid 2001/02/12 13:21:09 PST Added files: docs ffi-notes.txt Log: Added release notes for the ffi implementation.

1 0

cvs commit: hugs98/src MkInstal.in
by nordland＠glass.cse.ogi.edu 12 Feb '01

12 Feb '01

nordland 2001/02/12 12:25:02 PST Modified files: src MkInstal.in Log: Modified installation to create man/ and man1/ if necessary. Revision Changes Path 1.3 +2 -1 hugs98/src/MkInstal.in

1 0

cvs commit: hugs98/src ffi.c prelude.h
by nordland＠glass.cse.ogi.edu 12 Feb '01

12 Feb '01

nordland 2001/02/12 11:53:47 PST Modified files: src ffi.c prelude.h Log: Applied Sigbjorn's patch to make ffi output ANSI compliant. Turned up some default values in prelude.h. Made zip-comprehensions turned on by default. Revision Changes Path 1.2 +16 -11 hugs98/src/ffi.c 1.14 +11 -10 hugs98/src/prelude.h

1 0

cvs commit: hugs98/src/winhugs winhugs.c winhugs.rc
by nordland＠glass.cse.ogi.edu 12 Feb '01

12 Feb '01

nordland 2001/02/12 11:15:07 PST Modified files: src/winhugs winhugs.c winhugs.rc Log: Fixed some line breaking problems with the previous update. Revision Changes Path 1.3 +142 -150 hugs98/src/winhugs/winhugs.c 1.3 +7 -13 hugs98/src/winhugs/winhugs.rc

1 0

cvs commit: hugs98/lib/exts ST.hs
by nordland＠glass.cse.ogi.edu 10 Feb '01

10 Feb '01

nordland 2001/02/10 00:05:49 PST Modified files: lib/exts ST.hs Log: Reverting to old version. It seems like my "fix" for the runST type was premature and absolutely incorrect (blush)! Revision Changes Path 1.3 +1 -1 hugs98/lib/exts/ST.hs

1 0

cvs commit: hugs98/src hugs.c machdep.c output.c hugs98/src/winhugs winhugs.c winhugs.rc
by nordland＠glass.cse.ogi.edu 10 Feb '01

10 Feb '01

nordland 2001/02/09 17:20:47 PST Modified files: src hugs.c machdep.c output.c src/winhugs winhugs.c winhugs.rc Log: Applied Pepe's winhugs-related patches. Revision Changes Path 1.33 +18 -12 hugs98/src/hugs.c 1.12 +19 -7 hugs98/src/machdep.c 1.14 +20 -15 hugs98/src/output.c 1.2 +152 -139 hugs98/src/winhugs/winhugs.c 1.2 +56 -44 hugs98/src/winhugs/winhugs.rc

1 0