open-axiom - open scientific computation system

Age	Commit message (Expand)	Author	Files	Lines
2011-12-12	* interp/g-util.boot (liftAassignments!): New.	dos-reis	1	-2/+13
2011-12-11	* interp/g-opt.boot (inlineLocals!): Single-used temporaries should go.	dos-reis	2	-3/+9
2011-12-11	* interp/compiler.boot (compColon): Give initial %undefined value	dos-reis	2	-2/+6
2011-12-10	* interp/g-opt.boot (optSeq): Remove splicePROGN as redundant.	dos-reis	5	-12/+9
2011-12-10	* interp/g-opt.boot (optSeq): Remove seqToCOND as now redundant	dos-reis	1	-8/+1
2011-12-10	* boot/parser.boot (bpArgtypeList): Accept mapping types.	dos-reis	3	-5/+5
2011-12-10	* interp/g-opt.boot (mkDefault): New.	dos-reis	1	-3/+25
2011-12-09	* interp/lisp-backend.boot (loopVarInit): Generate VM forms, not Lisp.	dos-reis	1	-24/+23
2011-12-09	* interp/g-opt.boot (packWehn!): New.	dos-reis	1	-1/+13
2011-12-08	* interp/g-opt.boot (tranformIF!): New.	dos-reis	3	-17/+26
2011-12-08	* interp/g-opt.boot: %writeString, %writeNewline and %writeLine	dos-reis	1	-4/+4
2011-12-07	* interp/g-opt.boot (removeSeq!): New.	dos-reis	3	-6/+43
2011-12-07	* interp/g-opt.boot (groupTranscients!): New.	dos-reis	2	-1/+42
2011-12-07	* interp/compiler.boot (compReduce1): Tidy.	dos-reis	5	-10/+14
2011-12-06	* interp/compiler.boot (setqMultipleExplicit): Introduced	dos-reis	1	-10/+9
2011-12-06	* interp/compiler.boot (compResolveCall): Update description.	dos-reis	1	-47/+63
2011-12-05	* interp/g-util.boot (splitAssignments): Rework.	dos-reis	1	-4/+10
2011-12-05	* interp/g-opt.boot (changeVariableDefinitionToStore): Separately	dos-reis	2	-5/+14
2011-12-04	* interp/compiler.boot (freeVarUsage): Handle %bind and LET.	dos-reis	1	-2/+13
2011-12-04	* interp/g-util.boot (splitAssignments): New.	dos-reis	1	-0/+11
2011-12-04	* interp/lisp-backend.boot (hasNoExit?): New.	dos-reis	1	-2/+20
2011-12-03	* interp/compiler.boot: Use %seq in lieu of PROGN.	dos-reis	3	-10/+25
2011-12-03	* interp/compiler.boot (setqMultiple): Handle lhs and rhs of type	dos-reis	3	-6/+17
2011-12-03	* interp/nruncomp.boot (washFunctorBody) [clean]: Clean %when	dos-reis	1	-0/+4
2011-12-03	* interp/compiler.boot: Replace %labelled with %scope.	dos-reis	4	-17/+17
2011-12-03	* interp/g-opt.boot (groupVariableDefinitions): Simplify a bit.	dos-reis	1	-20/+13
2011-12-03	* interp/g-util.boot (hasNoLeave?): Move from g-opt.boot.	dos-reis	2	-23/+35
2011-12-02	* interp/g-opt.boot (iteratorName): New.	dos-reis	1	-6/+55
2011-12-02	* interp/buildom.boot (seteltRecordFun): Change EXIT to %exit.	dos-reis	5	-15/+13
2011-12-02	* interp/buildom.boot (setelt): Change SEQ to %seq.	dos-reis	6	-26/+27
2011-12-02	Fix SF/3448433	dos-reis	1	-1/+1
2011-12-02	* interp/g-opt.boot (modified?): Examine the rhs too.	dos-reis	1	-1/+2
2011-12-02	* interp/g-opt.boot (changeVariableDefinitionToStore): Handle SEQ	dos-reis	2	-4/+13
2011-12-01	* interp/g-opt.boot (groupVariableDefinitions): Look through	dos-reis	1	-4/+9
2011-12-01	* interp/define.boot (compDefineCategory): Lose prefix parameter.	dos-reis	2	-34/+32
2011-12-01	* interp/compiler.boot (compSeq1): Generate %labelled forms.	dos-reis	3	-69/+75
2011-12-01	* interp/buildom.boot (UnionEqual): Use %lambda, not %lam.	dos-reis	3	-5/+9
2011-11-30	* interp/define.boot (registerInlinableDomain): Lose last argument.	dos-reis	3	-17/+23
2011-11-30	* interp/c-util.boot (clearReplacement): Clear redex replacement.	dos-reis	2	-16/+17
2011-11-29	* boot/tokens.boot (absKind, absParms, absBody): New selectors.	dos-reis	5	-10/+10
2011-11-29	* interp/g-opt.boot (isSimpleForm): Remove as unused.	dos-reis	1	-32/+27
2011-11-28	* interp/nruncomp.boot (genDeltaEntry): Use $ for the domain of	dos-reis	1	-0/+2
2011-11-28	* interp/c-util.boot (inlineDirectCall): Inline a non-side effect	dos-reis	1	-0/+3
2011-11-28	* interp/define.boot (encodeCatform): Handle $ here.	dos-reis	2	-6/+5
2011-11-28	* interp/nruncomp.boot (genDeltaEntry): Replace Rep with its value	dos-reis	1	-0/+2
2011-11-28	* interp/database.boot (dbDefaultPackage?): New.	dos-reis	3	-36/+43
2011-11-27	* interp/define.boot (assignCapsuleFunctionSlot): Slot original	dos-reis	2	-36/+17
2011-11-27	* interp/nruncomp.boot (assocIndex): Rename from NRTassocIndex.	dos-reis	3	-16/+16
2011-11-26	* interp/define.boot (assignCapsuleFunctionSlot): Do not call	dos-reis	2	-17/+11
2011-11-26	* algebra/indexedp.spad.pamphlet: Avoid direct use or RPLACD.	dos-reis	3	-5/+16