open-axiom - open scientific computation system

Age	Commit message (Expand)	Author	Files	Lines
2011-11-02	* interp/c-util.boot (dbSubstituteAllQuantified): New.	dos-reis	1	-0/+6
2011-11-02	Add compiler support for implicit parameters.	dos-reis	1	-0/+12
2011-10-31	* interp/i-funsel.boot (evalMmCond0): Tidy. Call evalMmGuard to	dos-reis	1	-0/+13
2011-10-31	* interp/compiler.boot (evaluateConstructorModemap): Rename from	dos-reis	1	-1/+6
2011-10-30	* interp/define.boot (compDefineCategory2): Compute dual signature	dos-reis	1	-0/+4
2011-10-30	* interp/define.boot (compDefineCategory2): Compute dual signature	dos-reis	1	-0/+7
2011-10-30	* interp/sys-macros.lisp (MKPF1): Tidy.	dos-reis	1	-0/+30
2011-10-29	* interp/daase.lisp (dbCompilerData): New accessor macro.	dos-reis	1	-0/+17
2011-10-29	* interp/nruncomp.boot (NRTaddDeltaCode): Take a DB parameter.	dos-reis	1	-0/+12
2011-10-29	* interp/define.boot ($atList, $sigList): Remove.	dos-reis	1	-0/+8
2011-10-29	* interp/lisplib.boot (makePredicateBitVector): Take a DB argument.	dos-reis	1	-0/+10
2011-10-29	* interp/define.boot (getInfovecCode): Take a DB argument. Pass	dos-reis	1	-0/+9
2011-10-29	* interp/compiler.boot (compHasFormat): Simplify type form.	dos-reis	1	-0/+4
2011-10-29	* interp/nruncomp.boot (mkDomainCatName): Remove.	dos-reis	1	-0/+9
2011-10-28	* interp/daase.lisp (DATABASE): Add new field CAPSULE-DEFINITIONS.	dos-reis	1	-0/+13
2011-10-28	* interp/database.boot (orderPredTran): Tidy.	dos-reis	1	-0/+12
2011-10-28	* interp/define.boot ($lisplibCategory): Remove.	dos-reis	1	-0/+10
2011-10-28	* interp/sys-globals.boot ($lisplibModemapAlist): Remove.	dos-reis	1	-0/+14
2011-10-27	* algebra/stream.spad.pamphlet (Stream): Tidy accessors.	dos-reis	1	-0/+4
2011-10-27	Support use of any natural number literal as constant name.	dos-reis	1	-0/+21
2011-10-26	* interp/postpar.boot (postSignature): Tidy.	dos-reis	1	-0/+7
2011-10-26	Restore Clozure CL-based build. CCL's FFI interface	dos-reis	1	-0/+5
2011-10-25	* interp/compiler.boot (getFormModemaps): Tidy checking of "elt"	dos-reis	1	-0/+5
2011-10-25	* algebra/modmon.spad.pamphlet (ModMonic): Rename second parameter	dos-reis	1	-0/+9
2011-10-25	* algebra/perman.spad.pamphlet (Permanent): Specify type of local	dos-reis	1	-0/+36
2011-10-24	* interp/compiler.boot (compArgumentsAndTryAgain): Fail only if	dos-reis	1	-0/+5
2011-10-24	* interp/compiler.boot (compOrCroak1): Drop last argument. Tidy.	dos-reis	1	-0/+14
2011-10-23	* interp/g-opt.boot ($VMsideEffectFreeOperators): Include %fdecode.	dos-reis	1	-0/+13
2011-10-23	* interp/compiler.boot (compForm2): Simplify. Don't bother with	dos-reis	1	-0/+5
2011-10-23	* interp/compiler.boot (compAtomWithModemap): Handle code-gen here.	dos-reis	1	-0/+4
2011-10-22	* interp/br-op2.boot (htSayExplicitExports): Don't forget possible	dos-reis	1	-0/+17
2011-10-22	* boot/tokens.boot: Add new selectors: mapOperation, mapSignature,	dos-reis	1	-0/+21
2011-10-21	* algebra/boolean.spad.pamphlet (Boolean) [sample]: Remove	dos-reis	1	-0/+5
2011-10-21	Workaround proclamation bug in GCL	dos-reis	1	-0/+5
2011-10-21	* interp/define.boot (compDefineCapsuleFunction): Reimplement	dos-reis	1	-0/+7
2011-10-20	* interp/define.boot (checkRepresentation): Prepare for general	dos-reis	1	-0/+11
2011-10-20	* interp/lisplib.boot (isDomainForm): Handle conditionals.	dos-reis	1	-0/+4
2011-10-19	* interp/postpar.boot (postDef): Do not include list of nil forms	dos-reis	1	-0/+15
2011-10-19	* interp/postpar.boot (postNormalizeName): New.	dos-reis	1	-0/+11
2011-10-19	* interp/property.lisp: Move output-related content to i-output.boo.	dos-reis	1	-0/+5
2011-10-18	* interp/postpar.boot (displayPreCompilationErrors): Dot not check	dos-reis	1	-0/+29
2011-10-18	* interp/spad-parser.boot (parseSegmentTail): Tidy.	dos-reis	1	-0/+18
2011-10-17	* lisp/core.lisp.in: Add ref and deref to support references.	dos-reis	1	-0/+26
2011-10-16	* algebra/boolean.spad.pamphlet (Boolean): Implement default	dos-reis	1	-0/+9
2011-10-12	* interp/spad-parser.spad: New parsing functions.	dos-reis	1	-0/+12
2011-10-12	* algebra/boolean.spad.pamphlet (Reference) [elt]: Remove.	dos-reis	1	-0/+19
2011-10-12	* interp/lexing.boot (matchAdvanceKeyword): New.	dos-reis	1	-0/+24
2011-10-11	* interp/lexing.boot (matchAdvanceString): New.	dos-reis	1	-0/+12
2011-10-11	* interp/lexing.boot (matchString): New.	dos-reis	1	-0/+7
2011-10-11	* interp/metalex.lisp (DEFUN-PARSE-TOKEN): Remove.	dos-reis	1	-0/+11