open-axiom - open scientific computation system

Age	Commit message (Expand)	Author	Files	Lines
2012-05-03	* interp/g-opt.boot ($AbstractionOperator): Remove SLAM.	dos-reis	1	-41/+7
2012-05-03	* interp/c-util.boot (makeWorkerName): New.	dos-reis	1	-3/+5
2012-05-03	* interp/c-util.boot: Use APPLY, not APPLX.	dos-reis	1	-1/+1
2012-05-02	* interp/c-util.boot (backendCompileSPADSLAM): Do not devaluate	dos-reis	1	-10/+11
2012-05-02	* interp/c-util.boot (backendCompileSPADSLAM): Tidy. Do not	dos-reis	1	-9/+8
2012-05-01	* interp/vmlisp.lisp (COMP370): Move to c-util.boot	dos-reis	1	-0/+5
2012-05-01	* algebra/integer.spad.pamphlet (Integer): Use %iaddmod, %isubmod,	dos-reis	1	-1/+1
2012-02-26	* interp/g-util.boot (usedSymbol?): Remove.	dos-reis	1	-2/+2
2012-02-26	* interp/c-util.boot (numOfOccurencesOf): Tidy.	dos-reis	1	-1/+4
2012-02-07	* interp/lisplib.boot (dbLocateModule): New.	dos-reis	1	-2/+2
2011-12-28	* interp/vmlisp.lisp (SORTBY): Remove.	dos-reis	1	-6/+6
2011-12-28	* boot/tokens.boot: Do not rewrite drop and take.	dos-reis	1	-4/+4
2011-12-10	* interp/g-opt.boot (optSeq): Remove splicePROGN as redundant.	dos-reis	1	-1/+1
2011-12-10	* boot/parser.boot (bpArgtypeList): Accept mapping types.	dos-reis	1	-3/+3
2011-11-30	* interp/define.boot (registerInlinableDomain): Lose last argument.	dos-reis	1	-7/+8
2011-11-30	* interp/c-util.boot (clearReplacement): Clear redex replacement.	dos-reis	1	-15/+16
2011-11-28	* interp/c-util.boot (inlineDirectCall): Inline a non-side effect	dos-reis	1	-0/+3
2011-11-26	* interp/c-util.boot (updateCapsuleDirectory): Simplify.	dos-reis	1	-9/+3
2011-11-26	* interp/br-con.boot (conOpPage1): Fix typo.	dos-reis	1	-4/+28
2011-11-11	* interp/br-data.boot: Change NRTEVAL to %eval.	dos-reis	1	-1/+1
2011-11-11	* interp/c-util.boot (dbByteList): New accessor macro.	dos-reis	1	-2/+8
2011-11-10	* interp/daase.lisp (dbLookupFunction): New accessor macro.	dos-reis	1	-4/+5
2011-11-09	* interp/define.boot (compFunctorBody): First argument is now a DB.	dos-reis	1	-9/+9
2011-11-02	* interp/c-util.boot (dbSubstituteAllQuantified): New.	dos-reis	1	-1/+5
2011-10-30	* interp/sys-macros.lisp (MKPF1): Tidy.	dos-reis	1	-4/+31
2011-10-29	* interp/daase.lisp (dbCompilerData): New accessor macro.	dos-reis	1	-0/+18
2011-10-19	misc cleanup	dos-reis	1	-1/+1
2011-10-18	* interp/postpar.boot (displayPreCompilationErrors): Dot not check	dos-reis	1	-3/+3
2011-10-04	* boot/utility.boot (symbolAssoc): Rename from assocSymbol. Export.	dos-reis	1	-8/+8
2011-10-03	* interp/comp.lisp: Remove.	dos-reis	1	-0/+2
2011-10-03	Cleanup.	dos-reis	1	-3/+3
2011-10-02	* boot/utility.boot (objectAssoc): New. Export.	dos-reis	1	-7/+9
2011-10-01	* boot/utility.boot: Define BOOTTRAN namespace.	dos-reis	1	-3/+3
2011-09-08	* interp/c-util.boot (builtinCategoryName?): Move to g-util.boot.	dos-reis	1	-37/+0
2011-09-07	* interp/lisplib.boot (finalizeLisplib): Finalize documentaion	dos-reis	1	-13/+1
2011-09-07	* interp/nruncomp.boot (NRTaddInner): Use the dual signature.	dos-reis	1	-2/+1
2011-09-07	* interp/define.boot (compDefineFunctor1): Augment the envionment	dos-reis	1	-2/+4
2011-09-03	* interp/property.lisp: Remove unused codes.	dos-reis	1	-7/+7
2011-08-29	* interp/lisplib.boot (laodIfNecessaryAndExists): Remove as unused.	dos-reis	1	-1/+8
2011-08-18	* interp/c-util.boot: Use category accessors.	dos-reis	1	-2/+2
2011-08-18	* interp/c-util.boot (categoryAssociatedTypes): Rename from	dos-reis	1	-8/+14
2011-08-17	* interp/c-util.boot (categoryPrincipals): New.	dos-reis	1	-0/+8
2011-08-15	* interp/g-opt.boot (optCollectVector): Generate VM forms.	dos-reis	1	-9/+1
2011-08-13	* interp/c-util.boot (instantiationArgs): New.	dos-reis	1	-1/+27
2011-08-12	* boot/ast.boot (shoeCompTran1): Translate extended vector-forms.	dos-reis	1	-1/+1
2011-08-08	* interp/c-util.boot (categoryHierarchy): New.	dos-reis	1	-0/+4
2011-08-06	cleanup	dos-reis	1	-29/+31
2011-08-04	cleanup	dos-reis	1	-19/+19
2011-07-10	* interp/c-util.boot (categoryExports): New.	dos-reis	1	-0/+4
2011-07-04	* interp/vmlisp.lisp (PRINTEXP): Remove.	dos-reis	1	-1/+1