52fa2fc | uust | 16 July 2002, 17:54:30 UTC | application of strict let bindings works now. apstrict.core tests this case hugs special imports LazyST now. | 16 July 2002, 17:54:30 UTC |
b1d109b | cvs-3 | 16 July 2002, 17:43:02 UTC | update configure for macosx fixed bug in floating point code when ieee float is not properly supported. | 16 July 2002, 17:43:02 UTC |
0e73f1d | uust | 13 July 2002, 12:41:55 UTC | more test files | 13 July 2002, 12:41:55 UTC |
92035a3 | uust | 12 July 2002, 14:17:42 UTC | updated for ghc 5.03 that uses ST instead of LazyST | 12 July 2002, 14:17:42 UTC |
50c0d53 | cvs-3 | 07 July 2002, 13:05:43 UTC | removed smart rewriting and replaced it by inlining. pass all regression tests now | 07 July 2002, 13:05:43 UTC |
2956eec | uust | 05 July 2002, 06:55:59 UTC | - implemented "smart rewrite rules" that optimize stack movements while adjusting stack depths. This *still* doesn't work correctly and these sources don't pass the regression tests. I think I'll remove all these rewrite rules and simply use the (strict) inliner :-( | 05 July 2002, 06:55:59 UTC |
f06bad7 | cvs-3 | 04 July 2002, 10:36:32 UTC | more test files | 04 July 2002, 10:36:32 UTC |
e50528d | cvs-3 | 04 July 2002, 10:35:02 UTC | inlining | 04 July 2002, 10:35:02 UTC |
02613ae | cvs-3 | 03 July 2002, 15:44:29 UTC | asm optimizer | 03 July 2002, 15:44:29 UTC |
6ff815b | cvs-3 | 03 July 2002, 15:43:59 UTC | more inlining | 03 July 2002, 15:43:59 UTC |
2adbb53 | cvs-3 | 03 July 2002, 11:22:01 UTC | more tests for nested let bindings | 03 July 2002, 11:22:01 UTC |
36f4fa4 | cvs-3 | 03 July 2002, 11:20:02 UTC | added occurrence analyser to Asm + some tests | 03 July 2002, 11:20:02 UTC |
5cd27e5 | cvs-3 | 02 July 2002, 21:06:02 UTC | changed asm representation to allow for nested let bindings, updated normalization and core-to-asm translation together with a new code generation, resolve and rewrite system. The system passes all regression tests now but still needs an inliner to generate efficient code again. | 02 July 2002, 21:06:02 UTC |
524855e | uust | 02 July 2002, 14:37:37 UTC | added new test files added test scripts for use with Hugs added small compare script for use on systems without "diff" | 02 July 2002, 14:37:37 UTC |
f0a6ede | uust | 02 July 2002, 14:36:13 UTC | changed asm representation to be more general. This in preparation of nested let bindings and inlining of let! bindings. | 02 July 2002, 14:36:13 UTC |
5fc70f4 | uust | 04 June 2002, 15:15:24 UTC | The module CoreParse now also exports a function to parse expressions: coreParseExpr. | 04 June 2002, 15:15:24 UTC |
1d6cf2b | cvs-3 | 17 May 2002, 14:10:47 UTC | fixed error in sys.c that passed a character as a string pointer | 17 May 2002, 14:10:47 UTC |
9df5367 | cvs-3 | 17 May 2002, 14:06:59 UTC | *** empty log message *** | 17 May 2002, 14:06:59 UTC |
a5e52bf | cvs-3 | 17 May 2002, 14:05:54 UTC | included errno.h in loader. | 17 May 2002, 14:05:54 UTC |
e57d06e | cvs-3 | 17 May 2002, 13:59:10 UTC | - probably lots of changes: recursive imports and options | 17 May 2002, 13:59:10 UTC |
03bf539 | cvs-3 | 25 February 2002, 15:18:21 UTC | *** empty log message *** | 25 February 2002, 15:18:21 UTC |
556aec3 | cvs-3 | 25 February 2002, 12:28:13 UTC | first attempt to magic functions in order to implement "deepSeq" | 25 February 2002, 12:28:13 UTC |
09db4cf | cvs-3 | 25 February 2002, 12:26:54 UTC | improved commandline/environment options a lot. also initializes/shuts down the entire runtime added environment variable expansion in path names | 25 February 2002, 12:26:54 UTC |
c13c503 | cvs-3 | 25 February 2002, 12:25:50 UTC | improved file path handling, ie "/", "\" issues. improved statistics, can now start/end a timer and it will all add up added robust str_cpy, str_cat and str_len functions removed a bogus assertion from major_gc.c | 25 February 2002, 12:25:50 UTC |
d973ddc | cvs-3 | 18 February 2002, 16:35:17 UTC | re-enabled posix fpe handling since it seems that the specific linux version was screwed. | 18 February 2002, 16:35:17 UTC |
4c24611 | cvs-3 | 18 February 2002, 16:29:01 UTC | it seems that POSIX doesn't always provide good error information on a floating point error, so we disable it for the moment | 18 February 2002, 16:29:01 UTC |
f34cddc | cvs-3 | 18 February 2002, 11:35:48 UTC | *** empty log message *** | 18 February 2002, 11:35:48 UTC |
7231e51 | cvs-3 | 18 February 2002, 11:31:19 UTC | added test lvm files | 18 February 2002, 11:31:19 UTC |
3bfaa6b | cvs-3 | 18 February 2002, 11:29:37 UTC | unused variable [p] in unix code, removed | 18 February 2002, 11:29:37 UTC |
33f8b1f | cvs-3 | 18 February 2002, 11:04:14 UTC | *** empty log message *** | 18 February 2002, 11:04:14 UTC |
09f68b6 | cvs-3 | 18 February 2002, 11:02:28 UTC | *** empty log message *** | 18 February 2002, 11:02:28 UTC |
2c561ad | cvs-3 | 18 February 2002, 10:36:47 UTC | *** empty log message *** | 18 February 2002, 10:36:47 UTC |
61da979 | cvs-3 | 18 February 2002, 10:32:38 UTC | added [MAXPATH] definition to configure | 18 February 2002, 10:32:38 UTC |
cfea283 | cvs-3 | 18 February 2002, 10:25:31 UTC | revised "dynamic.c" and [searchpath] functions. dynamic libraries are now properly unloaded. | 18 February 2002, 10:25:31 UTC |
aee8cb7 | cvs-3 | 15 February 2002, 15:46:36 UTC | *** empty log message *** | 15 February 2002, 15:46:36 UTC |
fa68024 | cvs-3 | 15 February 2002, 15:16:51 UTC | main was accidentily in "heap" | 15 February 2002, 15:16:51 UTC |
86c24c9 | cvs-3 | 15 February 2002, 15:16:22 UTC | new global root registration that is logarithmic in the number of registered roots | 15 February 2002, 15:16:22 UTC |
5b2a182 | cvs-3 | 15 February 2002, 15:14:35 UTC | - Ind_tag == Forward_tag, indirection chains are removed by the GC now. | 15 February 2002, 15:14:35 UTC |
ab3bebe | cvs-3 | 15 February 2002, 15:07:42 UTC | -synchronised with gc of ocaml that includes Forward tags, first compile and successful test | 15 February 2002, 15:07:42 UTC |
ff0cd68 | cvs-3 | 15 February 2002, 13:40:23 UTC | *** empty log message *** | 15 February 2002, 13:40:23 UTC |
80ceece | cvs-3 | 15 February 2002, 11:21:48 UTC | makefile to Unix conversion | 15 February 2002, 11:21:48 UTC |
7dd4b2b | cvs-3 | 15 February 2002, 11:15:12 UTC | tranformed *.ok files to unix and using diff -b now to make the test dos/unix independent | 15 February 2002, 11:15:12 UTC |
6ca66ca | cvs-3 | 15 February 2002, 10:56:42 UTC | added CONFIGPATH to generate makefile | 15 February 2002, 10:56:42 UTC |
a0a330b | cvs-3 | 15 February 2002, 10:55:29 UTC | new directory structure | 15 February 2002, 10:55:29 UTC |
47f4b62 | cvs-3 | 15 February 2002, 10:53:35 UTC | removed files | 15 February 2002, 10:53:35 UTC |
6ecf249 | cvs-3 | 07 February 2002, 13:50:08 UTC | fixed shadowing bug: use complete renaming scheme now | 07 February 2002, 13:50:08 UTC |
ab14855 | cvs-3 | 03 January 2002, 13:38:57 UTC | *** empty log message *** | 03 January 2002, 13:38:57 UTC |
78802fb | cvs-3 | 03 January 2002, 13:03:42 UTC | *** empty log message *** | 03 January 2002, 13:03:42 UTC |
540b92e | cvs-3 | 31 December 2001, 17:13:09 UTC | Changed the core representation. The "case" expression is removed and replaced by the "Match" expression. The bindings are extended with a "Strict" (or "let!") binding that evaluates its right hand side to weak-head-normal-form. A case expression is easily translated: case <expr> of <id> <alts> => let! <id> = <expr> in match <id> with <alts> | 31 December 2001, 17:13:09 UTC |
de4d7be | cvs-3 | 25 December 2001, 15:19:09 UTC | - added import mechanism to the core library - handles recursive imports correctly - fixed bug in the loader that popped up with import record chains - added devious test cases :-) | 25 December 2001, 15:19:09 UTC |
4f48e4a | cvs-3 | 21 December 2001, 17:16:22 UTC | *** empty log message *** | 21 December 2001, 17:16:22 UTC |
73389ef | cvs-3 | 21 December 2001, 13:31:37 UTC | *** empty log message *** | 21 December 2001, 13:31:37 UTC |
e7c79e8 | cvs-3 | 21 December 2001, 13:31:21 UTC | test files for recursive imports | 21 December 2001, 13:31:21 UTC |
e86910d | cvs-3 | 21 December 2001, 13:29:47 UTC | added abstract declarations and tested against recursive modules. fixed a small bug in the loader that failed to work for chained import declarations. | 21 December 2001, 13:29:47 UTC |
0d25a0b | cvs-3 | 21 December 2001, 12:33:16 UTC | added LVM file reader and changed the module format a bit | 21 December 2001, 12:33:16 UTC |
d8959b2 | cvs-3 | 17 December 2001, 17:10:13 UTC | *** empty log message *** | 17 December 2001, 17:10:13 UTC |
d5a98dd | cvs-3 | 17 December 2001, 15:29:37 UTC | unionlMap added (has left preference instead of error) | 17 December 2001, 15:29:37 UTC |
ca1cbf4 | cvs-3 | 16 December 2001, 14:22:58 UTC | added floating point support, basic operations, sticky flags, traps and the mapping from traps onto exceptions | 16 December 2001, 14:22:58 UTC |
3ce338e | cvs-3 | 14 December 2001, 16:44:45 UTC | *** empty log message *** | 14 December 2001, 16:44:45 UTC |
ceeee28 | cvs-3 | 14 December 2001, 16:42:54 UTC | *** empty log message *** | 14 December 2001, 16:42:54 UTC |
64b03d5 | cvs-3 | 14 December 2001, 16:35:58 UTC | unix conversion | 14 December 2001, 16:35:58 UTC |
511549b | cvs-3 | 14 December 2001, 16:32:58 UTC | *** empty log message *** | 14 December 2001, 16:32:58 UTC |
0ee7389 | cvs-3 | 14 December 2001, 16:26:57 UTC | improved floating point handleing - signals are captured - doubles can be results of foreign functions - [float_of_string] added | 14 December 2001, 16:26:57 UTC |
1203d64 | cvs-3 | 14 December 2001, 12:14:05 UTC | *** empty log message *** | 14 December 2001, 12:14:05 UTC |
4b71e62 | cvs-3 | 14 December 2001, 12:13:41 UTC | *** empty log message *** | 14 December 2001, 12:13:41 UTC |
af7532a | cvs-3 | 14 December 2001, 12:12:44 UTC | *** empty log message *** | 14 December 2001, 12:12:44 UTC |
8bc779d | cvs-3 | 14 December 2001, 12:12:10 UTC | fixed small bug for POSIX signal fpe code | 14 December 2001, 12:12:10 UTC |
d4c24c3 | cvs-3 | 14 December 2001, 12:10:04 UTC | primitive floating point operations | 14 December 2001, 12:10:04 UTC |
cd0190b | cvs-3 | 14 December 2001, 12:09:29 UTC | improved floating point support | 14 December 2001, 12:09:29 UTC |
1d92037 | cvs-3 | 12 December 2001, 10:57:40 UTC | removed weird TRACE statements | 12 December 2001, 10:57:40 UTC |
5c33ad1 | cvs-3 | 12 December 2001, 10:18:59 UTC | test for large constructor tags (>239) | 12 December 2001, 10:18:59 UTC |
ee3a67e | cvs-3 | 12 December 2001, 10:18:14 UTC | added support for large (>239) constructor tags | 12 December 2001, 10:18:14 UTC |
3c85c60 | cvs-3 | 10 December 2001, 17:19:32 UTC | streamlined implementation of RETURNCON | 10 December 2001, 17:19:32 UTC |
b87da69 | cvs-3 | 10 December 2001, 14:41:16 UTC | -sthrenghtened some assertions suggested by Damien Doliquez | 10 December 2001, 14:41:16 UTC |
ad18550 | cvs-3 | 10 December 2001, 13:19:52 UTC | replace [ulong] by [nat] since it conflicted on linux systems | 10 December 2001, 13:19:52 UTC |
18f9f66 | cvs-3 | 10 December 2001, 13:09:55 UTC | tab characters conversion | 10 December 2001, 13:09:55 UTC |
fef98d4 | cvs-3 | 10 December 2001, 13:02:37 UTC | test files added for update's with smaller values | 10 December 2001, 13:02:37 UTC |
15271bb | cvs-3 | 10 December 2001, 13:01:08 UTC | - fixed some tests | 10 December 2001, 13:01:08 UTC |
8a82321 | cvs-3 | 10 December 2001, 12:50:38 UTC | lots of changes: - fixed bug with updates of smaller values than the updatee the "Truncate" function however might be buggy and I had to change a few assertions in gc_ctrl.h - deleted the "nat" type - added the "wsize_t" and "con_tag_t" types - went through almost all the code to fix signed/unsigned issues and upgraded most types like "nat" to "wsize_t" or "long" - removed a bunch of Traces that Mark added. One should use the "TRACE_INSTR" definition on top of "evaluator.c" for that. | 10 December 2001, 12:50:38 UTC |
c7e58e7 | daan | 08 December 2001, 15:05:09 UTC | changed invalid zero's to a reference to a statically allocated invalid block with an Inv_tag | 08 December 2001, 15:05:09 UTC |
1055cff | daan | 07 December 2001, 13:26:48 UTC | *** empty log message *** | 07 December 2001, 13:26:48 UTC |
2bb6838 | cvs-3 | 06 December 2001, 10:41:52 UTC | Added some extra traces. | 06 December 2001, 10:41:52 UTC |
97c2df2 | daan | 30 November 2001, 13:33:38 UTC | unix conversion | 30 November 2001, 13:33:38 UTC |
8e84b0f | cvs-3 | 30 November 2001, 13:33:10 UTC | *** empty log message *** | 30 November 2001, 13:33:10 UTC |
1da4c8a | daan | 30 November 2001, 13:26:02 UTC | make compiler and runtime before testing | 30 November 2001, 13:26:02 UTC |
c23c1bd | daan | 30 November 2001, 13:18:13 UTC | new shell scripts for regression testing | 30 November 2001, 13:18:13 UTC |
339c80c | daan | 30 November 2001, 13:17:44 UTC | updated complete test suite | 30 November 2001, 13:17:44 UTC |
bcf49f6 | daan | 30 November 2001, 13:17:13 UTC | removed rec2&rec3 | 30 November 2001, 13:17:13 UTC |
4c98133 | daan | 30 November 2001, 13:15:48 UTC | removed non-executable core files | 30 November 2001, 13:15:48 UTC |
8e22151 | daan | 30 November 2001, 13:10:13 UTC | updated tests | 30 November 2001, 13:10:13 UTC |
5a71edd | daan | 29 November 2001, 21:33:10 UTC | - updated file format: values point to code now - allowed negative indices for constructors, interpreted as absolute tags - lvmrun searches current directory first | 29 November 2001, 21:33:10 UTC |
976f9c9 | daan | 28 November 2001, 12:06:10 UTC | unix conversion | 28 November 2001, 12:06:10 UTC |
e86a757 | daan | 28 November 2001, 12:03:19 UTC | test files added | 28 November 2001, 12:03:19 UTC |
5fefc58 | daan | 28 November 2001, 11:59:27 UTC | changed the module format significantly. this is the first version that compiles and runs the nfib/queens/sieve test suite. | 28 November 2001, 11:59:27 UTC |
0686c3b | daan | 26 November 2001, 14:36:46 UTC | updated opcodes | 26 November 2001, 14:36:46 UTC |
b34c2d5 | daan | 25 November 2001, 21:20:03 UTC | -added euclidean division -removed test cases for NEW -recompiled standard lvm files | 25 November 2001, 21:20:03 UTC |
9b8ca78 | daan | 25 November 2001, 13:52:13 UTC | added general sum/produkt instructions: - ALLOC, NEW, PACK, UNPACK, GETFIELD, SETFIELD, GETTAG and GETSIZE warning: I tested only the NEW instruction! | 25 November 2001, 13:52:13 UTC |
5564824 | daan | 14 November 2001, 10:33:53 UTC | first checkin of core assembler | 14 November 2001, 10:33:53 UTC |
02a54fc | daan | 14 November 2001, 10:29:45 UTC | *** empty log message *** | 14 November 2001, 10:29:45 UTC |
3f27a2c | daan | 14 November 2001, 10:29:05 UTC | unix conversion | 14 November 2001, 10:29:05 UTC |