| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2001-05-30 | detect in 'postparse' when the definition module corresponding | johnvg | 1 | -1/+1 |
| 2001-05-30 | optimize array comprehensions, | johnvg | 1 | -2/+2 |
| 2001-05-11 | I wanted to commit this together with the icl file, but it didn't fit | martinw | 1 | -8/+1 |
| 2001-05-10 | bug fixes: | martijnv | 1 | -1/+1 |
| 2001-05-08 | added VI_Labelled_Empty and VI_LocalLetVar to VarInfo | ronny | 1 | -0/+4 |
| 2001-05-03 | Flag to turn generics on and off (SupportGenerics), default off | ronny | 1 | -0/+1 |
| 2001-05-03 | added preliminary support for cons info by type | alimarin | 1 | -1/+5 |
| 2001-04-25 | added support for constructors (for toString like usage), | alimarin | 1 | -0/+2 |
| 2001-04-20 | bugfix: the compiler recognized f in the following example as a node and | martinw | 1 | -1/+1 |
| 2001-03-28 | added TVI_Normalized | martijnv | 1 | -0/+1 |
| 2001-03-27 | uniqueness support is added to generics | alimarin | 1 | -3/+7 |
| 2001-03-27 | unfold all macros and local functions in macros | johnvg | 1 | -6/+10 |
| 2001-03-23 | fixing several bugs | martinw | 1 | -10/+1 |
| 2001-03-20 | Sjaak: fixed inheritance bugs and strictness attributes | sjakie | 1 | -9/+12 |
| 2001-03-15 | Fixes to compile with 2.0 | alimarin | 1 | -6/+16 |
| 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 |
