| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2010-02-08 | remove the AVI_Attr (TA_TempVar _)'s before unfold, | johnvg | 1 | -53/+78 |
| 2010-02-08 | store type information in algebraic pattern variables in lift_patterns, | johnvg | 1 | -6/+12 |
| 2010-02-08 | instead of transCase False No this_case ro ti, use skip_over this_case ro ti, | johnvg | 1 | -425/+295 |
| 2010-02-05 | remove code that is no longer used in unfold, because unfold is no longer | johnvg | 3 | -226/+107 |
| 2010-02-05 | create a copy of unfold in module transform in module trans, called copy | johnvg | 1 | -54/+384 |
| 2010-02-05 | remove some white space | johnvg | 1 | -41/+25 |
| 2010-02-05 | move producerRequirements from module trans to module classify | johnvg | 3 | -233/+254 |
| 2010-02-05 | add optimizations for generic bimap, | johnvg | 2 | -163/+936 |
| 2010-02-05 | make local build_ functions global | johnvg | 1 | -73/+88 |
| 2010-02-05 | use record FunsAndGroups instead of a tuple | johnvg | 1 | -223/+79 |
| 2010-02-04 | make generic info lazy to improve fusion results, | johnvg | 1 | -65/+19 |
| 2010-02-04 | fix bug in foldExpr for @, first expression was used twice | johnvg | 1 | -50/+16 |
| 2010-02-04 | remove unused code | johnvg | 1 | -235/+3 |
| 2010-01-08 | remove AddStrictLhsNodeIdsToNodeDefs call for overloaded case node | johnvg | 1 | -2/+0 |
| 2009-12-22 | prevent crash if def_node==NULL (lhs strictness annotation) | johnvg | 1 | -2/+2 |
| 2009-12-22 | make strictly annotated variables in patterns strict (in case expressions) | johnvg | 1 | -0/+6 |
| 2009-12-22 | fix typo and remove numbers between () in error messages | johnvg | 1 | -5/+5 |
| 2009-11-26 | remove preprocessor for Clean 1.3 code | johnvg | 1 | -42/+3 |
| 2009-10-12 | fix bug in fusion that may occur if a recursive function that contains | johnvg | 1 | -25/+29 |
| 2009-10-12 | fix bug in implementation of seq | johnvg | 2 | -6/+37 |
| 2009-07-29 | fix bug that may occur if a let variable is used in another let in an alterna... | johnvg | 2 | -12/+39 |
| 2009-07-29 | fix bug that may occur if a let is used in a case inside another case, | johnvg | 1 | -92/+119 |
| 2009-07-29 | mark pattern and rhs of case alternative with one fullRefMark instead of two | johnvg | 1 | -11/+6 |
| 2009-07-29 | fix selective uses in refMarkOfVariable if used completely and by selector | johnvg | 1 | -39/+48 |
| 2009-07-29 | remove some unused code, fix some typos | johnvg | 1 | -67/+36 |
| 2009-07-28 | fix uniqueness type bug (not detected because of bug in refmark) | johnvg | 3 | -9/+6 |
| 2009-07-28 | mark strict vars with VI_StrictLetVar, transform case of such a var | johnvg | 2 | -5/+7 |
| 2009-07-28 | create new fv_info_ptr's for strict lets in distributeLets, because otherwise | johnvg | 2 | -68/+18 |
| 2009-07-01 | prevent compiler crash if a dynamic type contains a type constructor variable, | johnvg | 1 | -16/+18 |
| 2009-06-15 | report an error if a non unique * annotated type T is inferred in a function ... | johnvg | 1 | -20/+28 |
| 2009-06-11 | restore all modified pointers (prevents compiler crash if an | johnvg | 1 | -1/+1 |
| 2009-06-05 | make function add_new_variable global instead of local | johnvg | 1 | -6/+5 |
| 2009-06-05 | fix for existential/universal type variables of kind > * | johnvg | 1 | -37/+25 |
| 2009-06-05 | remove some comments | johnvg | 1 | -6/+1 |
| 2009-06-05 | fix for existential/universal type variables of kind > * | johnvg | 1 | -41/+34 |
| 2009-06-05 | remove some comments | johnvg | 1 | -10/+6 |
| 2009-06-05 | keep case_explicit, instead of setting case_explicit to False for all | johnvg | 1 | -168/+98 |
| 2009-05-14 | add dynamic_type_used result at wantModule calls | johnvg | 1 | -2/+2 |
| 2009-05-14 | report error if type Dynamic is used without importing StdDynamic, | johnvg | 2 | -10/+12 |
| 2009-05-14 | pass use of type Dynamic from parser to checkModule | johnvg | 1 | -3/+3 |
| 2009-05-14 | remember use of type Dynamic | johnvg | 2 | -53/+47 |
| 2009-04-29 | bug fix: initialize atype_vars1 as intended | johnvg | 1 | -3/+3 |
| 2009-02-25 | prevent compiler crash when check import completeness of a generic function | johnvg | 1 | -0/+2 |
| 2009-02-25 | add explicit import of generic functions | johnvg | 3 | -11/+21 |
| 2009-02-25 | replace type ImportedIdent by Ident because ii_extended is not used | johnvg | 5 | -46/+30 |
| 2009-01-14 | add seq | johnvg | 15 | -17/+141 |
| 2008-12-19 | pass world to main function without argument | johnvg | 1 | -2/+2 |
| 2008-12-19 | add BEBindSpecialType, BEOverloadedCaseNode and BEGetError | johnvg | 1 | -0/+3 |
| 2008-12-19 | remove BENrOfBasicTypes | johnvg | 1 | -1/+0 |
| 2008-12-19 | add integers and rationals | johnvg | 7 | -69/+226 |
