open-axiom - open scientific computation system

Age	Commit message (Expand)	Author	Files	Lines
2011-12-03	* interp/nruncomp.boot (washFunctorBody) [clean]: Clean %when	dos-reis	2	-0/+9
2011-12-03	* interp/compiler.boot: Replace %labelled with %scope.	dos-reis	5	-17/+24
2011-12-03	* interp/g-opt.boot (groupVariableDefinitions): Simplify a bit.	dos-reis	2	-20/+20
2011-12-03	* interp/g-util.boot (hasNoLeave?): Move from g-opt.boot.	dos-reis	4	-23/+46
2011-12-02	* interp/g-opt.boot (iteratorName): New.	dos-reis	2	-6/+62
2011-12-02	* interp/buildom.boot (seteltRecordFun): Change EXIT to %exit.	dos-reis	6	-15/+25
2011-12-02	* interp/buildom.boot (setelt): Change SEQ to %seq.	dos-reis	7	-26/+42
2011-12-02	Fix SF/3448433	dos-reis	2	-1/+6
2011-12-02	* interp/g-opt.boot (modified?): Examine the rhs too.	dos-reis	2	-1/+6
2011-12-02	* interp/g-opt.boot (changeVariableDefinitionToStore): Handle SEQ	dos-reis	3	-4/+21
2011-12-01	* interp/g-opt.boot (groupVariableDefinitions): Look through	dos-reis	2	-4/+17
2011-12-01	* interp/define.boot (compDefineCategory): Lose prefix parameter.	dos-reis	3	-34/+42
2011-12-01	* interp/compiler.boot (compSeq1): Generate %labelled forms.	dos-reis	4	-69/+90
2011-12-01	* interp/buildom.boot (UnionEqual): Use %lambda, not %lam.	dos-reis	4	-5/+17
2011-11-30	* interp/define.boot (registerInlinableDomain): Lose last argument.	dos-reis	5	-47/+66
2011-11-30	* interp/c-util.boot (clearReplacement): Clear redex replacement.	dos-reis	3	-16/+30
2011-11-29	* boot/tokens.boot (absKind, absParms, absBody): New selectors.	dos-reis	9	-16/+29
2011-11-29	* interp/g-opt.boot (isSimpleForm): Remove as unused.	dos-reis	2	-32/+36
2011-11-28	* interp/nruncomp.boot (genDeltaEntry): Use $ for the domain of	dos-reis	2	-0/+7
2011-11-28	* interp/c-util.boot (inlineDirectCall): Inline a non-side effect	dos-reis	3	-1/+10
2011-11-28	* interp/define.boot (encodeCatform): Handle $ here.	dos-reis	3	-6/+13
2011-11-28	* interp/nruncomp.boot (genDeltaEntry): Replace Rep with its value	dos-reis	2	-0/+7
2011-11-28	* interp/database.boot (dbDefaultPackage?): New.	dos-reis	4	-36/+53
2011-11-27	* interp/define.boot (assignCapsuleFunctionSlot): Slot original	dos-reis	4	-37/+29
2011-11-27	* interp/nruncomp.boot (assocIndex): Rename from NRTassocIndex.	dos-reis	4	-16/+21
2011-11-26	* interp/define.boot (assignCapsuleFunctionSlot): Do not call	dos-reis	3	-17/+21
2011-11-26	* algebra/indexedp.spad.pamphlet: Avoid direct use or RPLACD.	dos-reis	6	-8/+36
2011-11-26	* interp/nruncomp.boot (genDeltaEntry): Split first argument into	dos-reis	3	-19/+23
2011-11-26	* interp/c-util.boot (updateCapsuleDirectory): Simplify.	dos-reis	4	-15/+15
2011-11-26	* interp/define.boot ($NRTdeltaList): Remove.	dos-reis	3	-43/+49
2011-11-26	* interp/br-con.boot (conOpPage1): Fix typo.	dos-reis	6	-119/+159
2011-11-25	* interp/define.boot (processDefinitionParameters): New. Abstract	dos-reis	2	-18/+22
2011-11-25	* interp/define.boot: Rearrange order of some definitions.	dos-reis	2	-32/+43
2011-11-25	* interp/define.boot: Rearrange order of some definitions.	dos-reis	2	-91/+93
2011-11-25	* interp/define.boot ($suffix): Remove toplevel declaration.	dos-reis	2	-42/+44
2011-11-24	* interp/define.boot: Tidy.	dos-reis	7	-8/+17
2011-11-24	* interp/nruncomp.boot (changeDirectoryInSlot1,sigloc): Add first	dos-reis	2	-12/+20
2011-11-24	* interp/functor.boot (findOperatorImplementations): Rename from	dos-reis	2	-16/+13
2011-11-24	* interp/define.boot ($CheckVectorList): Remove.	dos-reis	4	-55/+14
2011-11-23	* interp/nruncomp.boot (NRTaddDeltaCode): Do not guard the loop by	dos-reis	2	-3/+6
2011-11-23	* interp/functor.boot (SigSlotsMatch): Remove. Adjust caller.	dos-reis	2	-13/+7
2011-11-23	* interp/define.boot (compile): Take the signature as third argument.	dos-reis	3	-18/+18
2011-11-22	* interp/define.boot (assignCapsuleFunctionSlot): Move from	dos-reis	3	-23/+23
2011-11-21	* interp/nruncomp.boot (getLocalIndex): Rename from NRTgetLocalIndex.	dos-reis	4	-18/+24
2011-11-18	* interp/category.boot (FindFundAncs): Tidy. Access input in	dos-reis	2	-18/+24
2011-11-17	* interp/i-eval.boot (evaluateType): Handle % and and signatures.	dos-reis	2	-3/+12
2011-11-16	* interp/category.boot (mkCategory): Tidy.	dos-reis	4	-44/+77
2011-11-16	* interp/category.boot (JoinInner): Remove effective dead code	dos-reis	2	-28/+7
2011-11-15	* interp/category.boot (JoinInner): Use idiomatic Boot for loops.	dos-reis	2	-77/+69
2011-11-14	* interp/category.boot ($NewCatVec): Remove.	dos-reis	2	-94/+101