| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2002-02-08 | - change in strictness information | martijnv | 1 | -3/+3 |
| 2002-02-06 | store strictness annotations in SymbolType instead of AType | johnvg | 1 | -2/+2 |
| 2002-02-04 | er worden nu universele type variabelen in de vorm van UP_laceHolder's | martijnv | 1 | -20/+31 |
| 2002-01-23 | small bug fix to check whether T_ypeID is available | martijnv | 1 | -73/+16 |
| 2002-01-23 | bug fix: generate more type information in order to prevent the backend from | martijnv | 1 | -13/+105 |
| 2002-01-21 | bug fix: the let for a ModuleID was generated *after* copyExpression which | martijnv | 1 | -54/+55 |
| 2001-12-17 | solved multiple defined moduleIDs in lets | martijnv | 1 | -29/+27 |
| 2001-12-13 | remove tuple symbol from UniqueSelector (! selector) and MatchExpr | johnvg | 1 | -2/+2 |
| 2001-12-05 | removed type from BasicExpr | johnvg | 1 | -9/+8 |
| 2001-11-30 | store predefined identifiers in CAF | johnvg | 1 | -8/+16 |
| 2001-11-29 | different representation of selector kind in Selection | ronny | 1 | -3/+3 |
| 2001-11-21 | new explicit import syntax | johnvg | 1 | -1/+1 |
| 2001-11-19 | Changes: | martijnv | 1 | -31/+26 |
| 2001-10-02 | Bug fixes: reference count analysis fixed, | sjakie | 1 | -1/+1 |
| 2001-09-20 | Added module owners for convertDynamics, type_io and type_io_common | martijnv | 1 | -0/+3 |
| 2001-08-31 | added code for OverloadedListPatterns | johnvg | 1 | -0/+4 |
| 2001-08-28 | bug fix: count of let bindings was wrong which caused convertcases to crash | martijnv | 1 | -1/+2 |
| 2001-08-27 | bug fixes, ModuleID argument in T_ypeConsSymbol, added _SystemDynamic | martijnv | 1 | -20/+75 |
| 2001-08-15 | Bug fixes: default cases and (more or less) correct types for generated case ... | sjakie | 1 | -30/+50 |
| 2001-06-27 | Sjaak: Improved dynamics, not yet finished. | sjakie | 1 | -3/+24 |
| 2001-06-22 | boolean for explicit cases (cases that are specified by the programmer) | ronny | 1 | -0/+6 |
| 2001-06-01 | removed import of debug module | johnvg | 1 | -1/+1 |
| 2001-06-01 | removed import pp in order to make the compiler compilable without my | martijnv | 1 | -1/+1 |
| 2001-05-31 | Added a switch which generates for an unify/coerce application an extra | martijnv | 1 | -17/+57 |
| 2001-05-10 | bug fix: unusued dynamics in where/let clauses produced a rule doesn't match | martijnv | 1 | -3/+51 |
| 2001-04-02 | bug fix in convertTypeCode2 | martijnv | 1 | -1/+15 |
| 2001-03-28 | minor changes to files associated with dynamics. Most notably is the | martijnv | 1 | -12/+32 |
| 2001-03-20 | Sjaak: fixed inheritance bugs and strictness attributes | sjakie | 1 | -2/+0 |
| 2001-03-15 | compiler frontend without writing tcl-files | martijnv | 1 | -6/+15 |
| 2001-03-15 | changes: | martijnv | 1 | -0/+2 |
| 2001-03-13 | added 2.0 syntax to type_io.icl | martijnv | 1 | -0/+2 |
| 2001-03-12 | made module name optional | martijnv | 1 | -1/+4 |
| 2001-03-08 | Normalizing | martijnv | 1 | -8/+12 |
| 2001-03-06 | bugfix; selecting a value from a DynamicTemp still used the tuple | martijnv | 1 | -91/+5 |
| 2001-03-02 | no message | martijnv | 1 | -2/+2 |
| 2001-03-01 | - type files worden aangemaakt (buggy) | martijnv | 1 | -7/+70 |
| 2001-02-15 | DynamicTemp added to the compiler. You will be needing a new | martijnv | 1 | -18/+132 |
| 2000-10-04 | -added position information for let bindings for better error messages | martinw | 1 | -39/+85 |
| 2000-10-02 | removed ---> operator | martijnv | 1 | -2/+2 |
| 2000-09-27 | optimizations and caching of dcl modules (without trans.icl) | clean | 1 | -3/+3 |
| 2000-09-26 | Type dependent function implemented | martijnv | 1 | -204/+282 |
| 2000-09-20 | no message | martijnv | 1 | -103/+282 |
| 2000-08-18 | dynamic type bug fixed; changes to support theorem prover | martijnv | 1 | -4/+8 |
| 2000-08-10 | added position information to case defaults to improve type error messages | martinw | 1 | -1/+2 |
| 2000-08-09 | added position information to case alternatives and changed the typing | martinw | 1 | -1/+2 |
| 2000-06-06 | coercions added though not complete | martijnv | 1 | -30/+41 |
| 2000-05-30 | fixed bugs; partially implemented type dependent functions | martijnv | 1 | -1/+59 |
| 2000-04-26 | changes to make compiler compatible with itself | martinw | 1 | -2/+2 |
| 2000-02-21 | - implemented comparison between redundant definitions in icl and dcl modules | martinw | 1 | -4/+0 |
| 2000-01-19 | bug fix (changed syntax tree) | sjakie | 1 | -14/+15 |
