| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2002-07-24 | move consumer classification to separate module | diederik | 1 | -575/+4 |
| 2002-07-17 | add abstract synonym types | johnvg | 1 | -105/+118 |
| 2002-06-17 | removed ignored !'s | johnvg | 1 | -2/+2 |
| 2002-06-03 | added constructor/type/field information to generics | alimarin | 1 | -6/+21 |
| 2002-04-11 | support for generic type context like in | alimarin | 1 | -4/+22 |
| 2002-02-19 | Disable debugging traces | diederik | 1 | -7/+7 |
| 2002-02-19 | Reorder functions and introduce state record for determine_args | diederik | 1 | -967/+1177 |
| 2002-02-11 | class type variables bugfix | diederik | 1 | -7/+14 |
| 2002-02-06 | store strictness annotations in SymbolType instead of AType | johnvg | 1 | -99/+154 |
| 2001-12-13 | remove tuple symbol from UniqueSelector (! selector) and MatchExpr | johnvg | 1 | -5/+5 |
| 2001-12-05 | removed type from BasicExpr | johnvg | 1 | -83/+79 |
| 2001-11-29 | different representation of selector kind in Selection | ronny | 1 | -9/+9 |
| 2001-10-18 | store macros and local functions in macros in separate {#{#FunDef}}, | johnvg | 1 | -29/+26 |
| 2001-10-12 | added alternative for OverloadedListPatterns in producerRequirements | johnvg | 1 | -0/+3 |
| 2001-10-12 | Fusion fixes; should terminate now. | diederik | 1 | -79/+205 |
| 2001-10-03 | Reduce memory usage of mark_producer_safe | diederik | 1 | -100/+121 |
| 2001-10-02 | Bug fixes: reference count analysis fixed, | sjakie | 1 | -1/+1 |
| 2001-10-01 | Add producer class for fusion | diederik | 1 | -13/+273 |
| 2001-10-01 | Add fusion commandline flag | diederik | 1 | -60/+76 |
| 2001-09-11 | reduced memory usage of expandSynTypes | johnvg | 1 | -36/+52 |
| 2001-09-11 | pass TypeSymbIdent boxed in TA to function 'expand_syn_types_in_TA' instead o... | johnvg | 1 | -4/+4 |
| 2001-09-06 | remove fun_index from FunDef | johnvg | 1 | -5/+4 |
| 2001-08-31 | added code for strict and unboxed lists | johnvg | 1 | -43/+172 |
| 2001-08-27 | Universally quantified types added | sjakie | 1 | -0/+5 |
| 2001-06-29 | cleaning up | martinw | 1 | -41/+4 |
| 2001-06-22 | boolean for explicit cases (cases that are specified by the programmer) | ronny | 1 | -0/+3 |
| 2001-06-11 | Bug fix with array updates. Removed redundant code. Adjusted unification algo... | sjakie | 1 | -6/+9 |
| 2001-05-30 | in 'transform' of trans.icl also transform expressions in selections of an Up... | johnvg | 1 | -0/+17 |
| 2001-05-30 | added alternatives to function 'transform' for Update,RecordUpdate,TupleSelec... | johnvg | 1 | -1/+21 |
| 2001-05-11 | moving all switch macros to new module "compilerSwitches" | martinw | 1 | -1/+2 |
| 2001-05-08 | moved ImportedFunctions from convertcases to trans | ronny | 1 | -0/+1 |
| 2001-04-20 | bugfix concerning dictionaries that contain let expressions | martinw | 1 | -18/+18 |
| 2001-03-28 | uniqueness support is added to generics | alimarin | 1 | -6/+0 |
| 2001-03-27 | unfold all macros and local functions in macros | johnvg | 1 | -5/+7 |
| 2001-03-23 | fixing several bugs | martinw | 1 | -27/+41 |
| 2001-03-20 | Sjaak: fixed inheritance bugs and strictness attributes | sjakie | 1 | -48/+58 |
| 2001-03-15 | *** empty log message *** | martinw | 1 | -44/+108 |
| 2001-03-02 | bugfix for specialisations | martinw | 1 | -34/+64 |
| 2001-02-13 | delaying "determineTypesOfInstances" and "checkSpecialsOfInstances" after | martinw | 1 | -21/+18 |
| 2001-01-19 | uniqueness unification for types of functions that are generated | martinw | 1 | -452/+632 |
| 2000-10-23 | renumber icl function and macro indices when unfolding | johnvg | 1 | -19/+20 |
| 2000-10-04 | -added position information for let bindings for better error messages | martinw | 1 | -69/+115 |
| 2000-09-27 | making compiler self compatible | martinw | 1 | -41/+69 |
| 2000-09-26 | removing stuff that once dealt with dynamics | martinw | 1 | -49/+14 |
| 2000-09-22 | fixed bug in type unification | martinw | 1 | -6/+10 |
| 2000-09-20 | improving bufix from revision 1.39 | martinw | 1 | -8/+3 |
| 2000-09-13 | fixed following bug: | martinw | 1 | -13/+12 |
| 2000-08-18 | dynamic type bug fixed; changes to support theorem prover | martijnv | 1 | -4/+22 |
| 2000-08-16 | restoring revision 1.35, revision 1.36 was unintended | martinw | 1 | -190/+2 |
| 2000-08-16 | ConsVariables were not handled correctly within improved type error messages | martinw | 1 | -1/+189 |
