| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2013-04-03 | remove some small differences in module typereify with the iTask branch | johnvg | 2 | -33/+33 |
| 2013-04-02 | add type constraints in constructors and function arguments with universal qu... | johnvg | 28 | -372/+1283 |
| 2013-03-26 | in function adjust_type_code, add alternative for TCE_Selector, | johnvg | 1 | -1/+6 |
| 2013-03-26 | remove unused constructor VI_Ref | johnvg | 1 | -1/+0 |
| 2013-03-25 | fix freshCopy of TFA var (cv :@: types), (cv :@: types) was not copied in thi... | johnvg | 1 | -9/+7 |
| 2013-03-18 | use DirectorySeparator from CoclSystemDependent instead of '\\' | johnvg | 1 | -1/+2 |
| 2013-02-07 | Add function to ti_new_functions immediately when ti_recursion_introduced is ... | johnvg | 1 | -14/+14 |
| 2012-12-03 | in function curryGenericArgType1 use TA_Multi while arguments have TA_Multi a... | johnvg | 1 | -0/+4 |
| 2012-10-24 | in the generic representation use RECORD instead of OBJECT and CONS for records, | johnvg | 6 | -421/+478 |
| 2012-10-16 | report a parse error if a strictness annotation or uniqueness attribute is us... | johnvg | 1 | -36/+60 |
| 2012-10-08 | use path returned by fopenInSearchPaths to create the .tcl file name for open... | johnvg | 2 | -4/+3 |
| 2012-10-08 | search and open file before calling wantModule | johnvg | 6 | -43/+62 |
| 2012-09-21 | add hierarchical modules | johnvg | 3 | -79/+65 |
| 2012-08-24 | pass fun_info.fi_properties of the consumer to function determineProducer, | johnvg | 1 | -31/+31 |
| 2012-08-16 | don't copy unmodified types in addPropagationAttributesToAType to reduce memo... | johnvg | 3 | -51/+107 |
| 2012-08-16 | don't copy unmodified types in replaceIntegers to reduce memory usage | johnvg | 1 | -37/+53 |
| 2012-08-16 | optimize local function new_inequality in determine_attribute_of_cons, | johnvg | 1 | -8/+11 |
| 2012-08-16 | optimize function get_mark | johnvg | 1 | -6/+10 |
| 2012-08-15 | fix coercibility check of instance of classes with a . before a (constructor)... | johnvg | 1 | -4/+4 |
| 2012-08-14 | rename extendable to extensible | johnvg | 8 | -25/+25 |
| 2012-08-14 | add extendable algebraic data types (merged from iTask branch) | johnvg | 18 | -155/+425 |
| 2012-08-09 | remove VI_Expression pointer values after copying a case alternative in the f... | johnvg | 1 | -1/+2 |
| 2012-08-09 | remove several forwarding pointers in the fusion algorithm | johnvg | 1 | -15/+46 |
| 2012-08-08 | optimize coercionsToAttrEnv function | johnvg | 1 | -9/+22 |
| 2012-08-08 | build the whole st_attr_vars list in function generateFunction, instead of bu... | johnvg | 1 | -2/+12 |
| 2012-08-08 | replace function NewAttrVarId by NewAttrVar, improve caching of uniqueness at... | johnvg | 3 | -23/+28 |
| 2012-08-08 | make field aci_linearity_of_patterns of record ActiveCaseInfo strict | johnvg | 3 | -9/+20 |
| 2012-08-07 | use an unboxed tail strict list for cc_linear_bits to reduce memory usage | johnvg | 4 | -34/+57 |
| 2012-08-07 | fix fusion of a function that is both the consumer and the producer. | johnvg | 2 | -64/+104 |
| 2012-08-06 | move computation of n_args_before_producer and n_producer_args in function ge... | johnvg | 1 | -74/+70 |
| 2012-08-02 | add pattern match test using =: in expressions, | johnvg | 18 | -145/+556 |
| 2012-07-27 | replace function trySimpleExpressionT that parses either a pattern or an expr... | johnvg | 1 | -122/+145 |
| 2012-07-27 | add functions wantPattern and wantExpression | johnvg | 1 | -19/+40 |
| 2012-07-27 | rename some functions in the parser, | johnvg | 1 | -86/+79 |
| 2012-07-24 | =: cannot be used anymore for variable definitions | johnvg | 1 | -18/+23 |
| 2012-07-16 | optimize consumer analysis of cases, | johnvg | 1 | -192/+337 |
| 2012-07-12 | fix fusion of functions thats only permute the arguments | johnvg | 1 | -157/+116 |
| 2012-07-09 | bug fix: set aci_opt_unfolder to No for a case if extra argument are added to... | johnvg | 1 | -10/+24 |
| 2012-07-09 | add function make_consumer_application, | johnvg | 1 | -57/+20 |
| 2012-07-09 | compute class_types using a comprehension instead of a fold with some unused ... | johnvg | 1 | -17/+4 |
| 2012-06-18 | in module classify, unify of Seq n1 [] and Seq n2 [] is Seq (max n1 n2) [] | johnvg | 1 | -7/+11 |
| 2012-06-18 | make local functions of function partitionateAndLiftFunctions global, | johnvg | 1 | -183/+190 |
| 2012-06-15 | in substitute use original type (instead of copy) if possible, | johnvg | 6 | -129/+179 |
| 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 | 3 | -39/+35 |
| 2012-06-11 | remove some unused functions | johnvg | 1 | -38/+0 |
| 2012-06-11 | make RefCount array elements strict, to prevent a space leak of unify thunks | johnvg | 1 | -6/+1 |
| 2012-05-25 | commit bug fix from revision 1735 again: | johnvg | 1 | -13/+3 |
| 2012-05-25 | fix bug in var_info_ptr's of new variables added for cases used as arguments ... | johnvg | 1 | -174/+75 |
