open-axiom - open scientific computation system

Age	Commit message (Expand)	Author	Files	Lines
2011-11-15	* interp/category.boot (JoinInner): Use idiomatic Boot for loops.	dos-reis	1	-0/+4
2011-11-14	* interp/category.boot ($NewCatVec): Remove.	dos-reis	1	-0/+8
2011-11-14	* interp/category.boot (filterConditionalCategories): Split out of	dos-reis	1	-0/+6
2011-11-14	* interp/category.boot (SigListMember): Remove as deadcode.	dos-reis	1	-0/+9
2011-11-14	* lisp/core.lisp.in: Export %sysInit.	dos-reis	1	-3/+9
2011-11-13	* interp/category.boot (JoinInner): Tidy.	dos-reis	1	-0/+4
2011-11-13	Fix SF/3436999	dos-reis	1	-0/+5
2011-11-13	* interp/sys-driver.boot (initializeDatabases): Honor --initial-db.	dos-reis	1	-0/+16
2011-11-13	* interp/br-data.boot (buildLibdbConEntry): Exit early if argument	dos-reis	1	-0/+16
2011-11-12	* interp/define.boot (getTargetFromRhs): Do not try to record	dos-reis	1	-0/+5
2011-11-11	* interp/define.boot (compDefineCapsuleFunction): Take first	dos-reis	1	-0/+9
2011-11-11	* interp/br-data.boot: Change NRTEVAL to %eval.	dos-reis	1	-0/+9
2011-11-11	* interp/c-util.boot (dbByteList): New accessor macro.	dos-reis	1	-0/+9
2011-11-11	* interp/compiler.boot (applyMapping): Emit special call for	dos-reis	1	-0/+12
2011-11-10	* algebra/boolean.spad.pamphlet (IndexedBits) [Not, Or, And]: Remove.	dos-reis	1	-0/+8
2011-11-10	* interp/daase.lisp (dbLookupFunction): New accessor macro.	dos-reis	1	-1/+11
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