open-axiom - open scientific computation system

Age	Commit message (Expand)	Author	Files	Lines
2011-11-09	* interp/define.boot (compDefineFunctor1): Clear dbTemplate before	dos-reis	1	-0/+8
2011-11-09	* interp/define.boot (compFunctorBody): First argument is now a DB.	dos-reis	1	-0/+35
2011-11-07	* interp/lisplib.boot (isDomainForm): Tidy.	dos-reis	1	-0/+4
2011-11-07	* interp/lisplib.boot (getConstructorOpsAndAtts): Fold content in	dos-reis	1	-0/+10
2011-11-07	* interp/compiler.boot ($compileOnlyCertainItems): Remove.	dos-reis	1	-0/+17
2011-11-07	* utils/vm.H: Redefine value representation.	dos-reis	1	-0/+4
2011-11-06	* interp/c-doc.boot (checkBalance): Fix a latent logic bug.	dos-reis	1	-0/+5
2011-11-05	* algebra/Makefile.in: Rework bootstrap dependency.	dos-reis	1	-0/+4
2011-11-04	* interp/functor.boot (compCategories): Take second parameter as	dos-reis	1	-0/+12
2011-11-02	* interp/lisplib.boot (findModule): Tidy.	dos-reis	1	-0/+6
2011-11-02	* interp/spad-parser.boot (parseSpadFile): Use $lineStack not	dos-reis	1	-0/+7
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