Code Log


Commit Date  
[r1106] (HEAD) by lukaszkaiser

Mention double-make on install.

2007-02-07 20:30:27 Tree
[r1105] by lukstafi

Some old changes of "attribute labels language" and demo grammars which were not finished and therefore bugs expected. Sorry.

2007-01-28 15:37:48 Tree
[r1104] by lukstafi

Minor fix: nat cast for multiplication.

2006-10-11 21:25:20 Tree
[r1103] by lukstafi

Display (response to) enhancements, ''corresponding syntaxes'' bug detected.

2006-10-11 16:08:55 Tree
[r1102] by lukstafi

Fixed syntax for label filters, labellings limited to single argument.

2006-10-11 09:43:31 Tree
[r1101] by lukaszkaiser

Small correction to differentiation spg.

2006-10-09 14:03:10 Tree
[r1100] by lukstafi

First function in wengodemo works. Makefile: core.spg depends on BuiltinLang.

2006-10-06 12:34:15 Tree
[r1099] by lukstafi

Minor bug in decode_term_type, starting Wengodemo.

2006-10-05 21:11:15 Tree
[r1098] by lukstafi

Complete rewrite of occurs check to use variable span.

2006-10-05 08:15:56 Tree
[r1097] by lukstafi

Variable span bug fixes (two of them), toygrammar.spg bug fixes.

2006-10-04 04:55:36 Tree
[r1096] by lukstafi

Include type scheme constraints when parsing (bug fix). (Diagnosing another bug in solver.)

2006-10-03 06:19:05 Tree
[r1095] by lukstafi

Solver bug fixes, toygrammar adjustements.

2006-10-03 04:15:15 Tree
[r1094] by lukstafi

First tests of new type system functionality: bugs found.

2006-10-02 00:43:45 Tree
[r1093] by lukstafi

WengoPhone integration and first tests of new type system functionality (work
in progress).

2006-10-01 22:29:07 Tree
[r1092] by lukaszkaiser

Adjusting tests to slowly enable make check.

2006-09-22 22:36:41 Tree
[r1091] by lukstafi
2006-09-22 22:25:27 Tree
[r1090] by lukaszkaiser

Correction to work with new type system.

2006-09-22 22:12:20 Tree
[r1089] by lukaszkaiser

Correcting type encoding as terms.

2006-09-22 22:10:12 Tree
[r1088] by lukaszkaiser

Correcting white space serialization.

2006-09-22 21:34:12 Tree
[r1087] by lukstafi

Generic term printing and default response.

2006-09-22 20:29:04 Tree
[r1086] by lukaszkaiser

Correction to functional application.

2006-09-22 16:58:16 Tree
[r1085] by lukstafi

Generic term printing and default response.

2006-09-22 14:41:15 Tree
[r1084] by lukstafi

Generic term printing and default response. `Disjoint symobols function type and X' bug fixed.

2006-09-22 14:24:47 Tree
[r1083] by lukstafi

Speagram embedded for Windows (use from the directory with compiled speagram)

2006-09-21 15:57:33 Tree
[r1082] by lukstafi

Speagram embedded for Linux (use from the directory with compiled speagram)

2006-09-21 10:36:08 Tree
Older >