Age | Commit message (Expand) | Author | Files | Lines |
2013-10-23 | undo previous commit, because it causes the compiler to crash when compiling ... | johnvg | 1 | -5/+0 |
2013-10-14 | check the type of instances defined using :== (maybe the parser should reject... | johnvg | 1 | -0/+5 |
2013-05-06 | call reset_free_var_heap_pointers before expandCheckedAlternative in expandMa... | johnvg | 1 | -7/+10 |
2013-04-08 | add generic function dependencies for generic function definitions, | johnvg | 1 | -53/+189 |
2013-04-02 | add type constraints in constructors and function arguments with universal qu... | johnvg | 1 | -0/+15 |
2012-08-02 | add pattern match test using =: in expressions, | johnvg | 1 | -4/+20 |
2012-06-18 | make local functions of function partitionateAndLiftFunctions global, | johnvg | 1 | -183/+190 |
2012-06-14 | rename type PartitioningInfo to PartitioningState (and fields pi_ to ps_) | johnvg | 1 | -174/+174 |
2012-06-14 | rename field es_symbol_heap of type ExpandState to es_expression_heap | johnvg | 1 | -32/+32 |
2012-06-14 | rename field cos_symbol_heap to cos_expression_heap | johnvg | 1 | -30/+26 |
2011-11-09 | move types Group and Component to module checksupport | johnvg | 1 | -4/+0 |
2011-11-08 | remove unnecessary imports of module check, | johnvg | 1 | -1/+1 |
2010-07-05 | don't pass icl functions array to/from partitionateDclMacros, | johnvg | 1 | -8/+8 |
2010-02-05 | remove code that is no longer used in unfold, because unfold is no longer | johnvg | 1 | -210/+101 |
2009-07-28 | fix uniqueness type bug (not detected because of bug in refmark) | johnvg | 1 | -2/+2 |
2007-09-11 | make a![i] unique in yielded element if the yielded array is used only by | johnvg | 1 | -24/+225 |
2007-04-13 | implement newtype | johnvg | 1 | -5/+21 |
2007-04-12 | implement {# and {! in array comprehensions that create a new array | johnvg | 1 | -1/+16 |
2003-12-16 | report unused #! variables | johnvg | 1 | -16/+22 |
2003-12-11 | bug fix: use a new ptr in expanded dynamic | ronny | 1 | -3/+5 |
2003-09-16 | removed boolean result from substituteType and substitute: they | ronny | 1 | -4/+4 |
2003-05-16 | renamed field names of type Ident in syntax tree | ronny | 1 | -68/+68 |
2003-01-08 | Bug fix: uniqueness error in records | sjakie | 1 | -1/+2 |
2002-12-02 | add strictness annotations | diederik | 1 | -4/+12 |
2002-11-12 | mark boolean case as not explicit to prevent introducing a function | ronny | 1 | -1/+1 |
2002-11-12 | bugs fixed in generics | alimarin | 1 | -0/+2 |
2002-11-08 | Better fix so that correctness of EI_LetType is maintained during repartitioning | diederik | 1 | -19/+39 |
2002-11-04 | Fix so that correctness of EI_LetType is maintained during repartitioning | diederik | 1 | -1/+16 |
2002-10-07 | include type when adding cases for bool exprs | diederik | 1 | -1/+7 |
2002-09-30 | add 'safe' to active case info for casefun generation | diederik | 1 | -1/+3 |
2002-09-24 | removed ignored ! | johnvg | 1 | -1/+1 |
2002-09-02 | expand macros in dynamic expressions | ronny | 1 | -0/+9 |
2002-08-23 | remove record fields: ui_convert_module_n, ui_conversion_table, | johnvg | 1 | -160/+119 |
2002-07-25 | add collectVariable instance for Dictionaries for consumer reanalysis | diederik | 1 | -0/+3 |
2002-07-22 | rebuilt auxiliary dynamics administration | ronny | 1 | -140/+130 |
2002-07-16 | add code for DclFunCall to fix a bug if an exported macro | johnvg | 1 | -11/+28 |
2002-06-17 | removed ignored !'s | johnvg | 1 | -1/+1 |
2002-03-26 | set the explicit flag for cases generated for && and || to True | johnvg | 1 | -14/+5 |
2002-03-25 | new implementation of generics | alimarin | 1 | -1/+18 |
2002-01-31 | remove RWSDebug import | ronny | 1 | -1/+1 |
2002-01-23 | bug fix: adapted collect_used_dynamics which didn't eliminate all unused | martijnv | 1 | -8/+8 |
2002-01-21 | bug fix: unused dynamics were not recursively removed from fi_dynamics | martijnv | 1 | -1/+2 |
2002-01-21 | bug fix: unused dynamics were not recursively removed from fi_dynamics | martijnv | 1 | -3/+13 |
2002-01-18 | removed unused undefined record field, to make the module compilable with Cle... | ronny | 1 | -1/+1 |
2002-01-17 | Bug fix: Scopes in dynamics | sjakie | 1 | -51/+23 |
2002-01-10 | bug fix: move merge cases to transform, because it assumes local funcitons | ronny | 1 | -1/+40 |
2001-12-20 | remove RWSDebug dependency | ronny | 1 | -2/+0 |
2001-12-13 | remove tuple symbol from UniqueSelector (! selector) and MatchExpr | johnvg | 1 | -9/+9 |
2001-12-13 | Lifting of dynamic expressions repaired | sjakie | 1 | -0/+11 |
2001-12-12 | removed RWSDebug import | ronny | 1 | -2/+0 |