| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2001-03-13 | Generics are added, but are disabled. | alimarin | 1 | -2/+38 |
| 2001-03-08 | Normalizing | martijnv | 1 | -1/+1 |
| 2001-03-02 | bugfix for specialisations | martinw | 1 | -2/+2 |
| 2001-03-01 | - type files worden aangemaakt (buggy) | martijnv | 1 | -1/+1 |
| 2001-02-23 | including porting facilities | martinw | 1 | -4/+0 |
| 2001-02-14 | just setting the switch for import syntax from "2.0" back to "1.3" | martinw | 1 | -1/+1 |
| 2001-02-13 | delaying "determineTypesOfInstances" and "checkSpecialsOfInstances" after | martinw | 1 | -3/+3 |
| 2001-01-19 | uniqueness unification for types of functions that are generated | martinw | 1 | -8/+6 |
| 2001-01-12 | New algorithm for explicit imports that also works with cyclic module depende... | martinw | 1 | -11/+25 |
| 2000-11-01 | improved code for explicit imports, | martinw | 1 | -1/+16 |
| 2000-10-23 | renumber icl function and macro indices when unfolding | johnvg | 1 | -4/+5 |
| 2000-10-04 | -added position information for let bindings for better error messages | martinw | 1 | -3/+10 |
| 2000-09-27 | optimizations and caching of dcl modules (without trans.icl) | clean | 1 | -8/+17 |
| 2000-09-20 | now "list inferred types" can print attributes also | martinw | 1 | -1/+3 |
| 2000-09-13 | added position information for better error messages | martinw | 1 | -4/+9 |
| 2000-08-18 | dynamic type bug fixed; changes to support theorem prover | martijnv | 1 | -1/+6 |
| 2000-08-15 | improved typing error messages: type variables are printed like "a" instead | martinw | 1 | -3/+4 |
| 2000-08-10 | added position information to case defaults to improve type error messages | martinw | 1 | -2/+9 |
| 2000-08-09 | added position information to case alternatives and changed the typing | martinw | 1 | -2/+6 |
| 2000-08-07 | removing superfluous constructor | martinw | 1 | -1/+0 |
| 2000-08-01 | improving error messages | martinw | 1 | -2/+8 |
| 2000-07-10 | Improved compatibility with Maarten's Theorem Prover Sources | clean | 1 | -1/+2 |
| 2000-06-15 | update of dictionary types | sjakie | 1 | -0/+2 |
| 2000-06-05 | enabled higher order function elimination also for functions (producers) | martinw | 1 | -4/+5 |
| 2000-05-31 | readableizing error messages | martinw | 1 | -1/+1 |
| 2000-05-30 | fixed bugs; partially implemented type dependent functions | martijnv | 1 | -2/+4 |
| 2000-05-22 | improved dynamics | sjakie | 1 | -1/+2 |
| 2000-04-26 | changes to make compiler compatible with itself | martinw | 1 | -18/+11 |
| 2000-03-30 | removing record field "lei_strict" that became superflous due to the last rev... | martinw | 1 | -3/+0 |
| 2000-03-30 | comparision of redundant macro definitions | martinw | 1 | -1/+2 |
| 2000-03-20 | *** empty log message *** | sjakie | 1 | -2/+4 |
| 2000-03-17 | - making array patterns strict (strict lets were not properly handled | martinw | 1 | -1/+1 |
| 2000-03-14 | extended array patterns for muitidimensional arrays | martinw | 1 | -1/+1 |
| 2000-02-21 | - implemented comparison between redundant definitions in icl and dcl modules | martinw | 1 | -4/+5 |
| 2000-02-18 | Commiting changes in syntax tree to enable backend adaption. New added constr... | martinw | 1 | -22/+4 |
| 2000-02-16 | removed PE_Array from syntax tree | ronny | 1 | -1/+0 |
| 2000-02-15 | added Boolean to FunctionKind to mark genetared functions | ronny | 1 | -1/+3 |
| 2000-02-15 | bug fix (unboxed arrrays of records) | ronny | 1 | -1/+2 |
| 2000-02-09 | new comprehension transformations | ronny | 1 | -10/+6 |
| 2000-02-07 | commit for Sjaak by RWS | sjakie | 1 | -2/+2 |
| 2000-01-24 | Bug fix: specified overloaded types were not treated correctly | sjakie | 1 | -1/+1 |
| 2000-01-19 | bug fix (changed syntax tree) | sjakie | 1 | -1/+9 |
| 2000-01-17 | Bug fixes | sjakie | 1 | -1/+1 |
| 2000-01-17 | removing some abort statements in check | martinw | 1 | -1/+1 |
| 2000-01-13 | - check.icl: solved check-bug-11: | martinw | 1 | -1/+1 |
| 1999-12-01 | Several bug fixes: | sjakie | 1 | -4/+5 |
| 1999-11-23 | change: dynamics are now converted before 'fusion' | sjakie | 1 | -1/+1 |
| 1999-11-11 | extension: no longer necessary to repeat macros in icl-file | sjakie | 1 | -1/+1 |
| 1999-11-10 | extension: not necessary to repeat definitions of dcl-module in icl-module | sjakie | 1 | -6/+7 |
| 1999-11-05 | fusion works now. The fusion switch in module typesupport is enabled | martinw | 1 | -10/+11 |
