open-axiom - open scientific computation system

Age	Commit message (Expand)	Author	Files	Lines
2011-11-18	* interp/category.boot (FindFundAncs): Tidy. Access input in	dos-reis	2	-18/+24
2011-11-17	* interp/i-eval.boot (evaluateType): Handle % and and signatures.	dos-reis	2	-3/+12
2011-11-16	* interp/category.boot (mkCategory): Tidy.	dos-reis	4	-44/+77
2011-11-16	* interp/category.boot (JoinInner): Remove effective dead code	dos-reis	2	-28/+7
2011-11-15	* interp/category.boot (JoinInner): Use idiomatic Boot for loops.	dos-reis	2	-77/+69
2011-11-14	* interp/category.boot ($NewCatVec): Remove.	dos-reis	2	-94/+101
2011-11-14	* interp/category.boot (filterConditionalCategories): Split out of	dos-reis	2	-21/+40
2011-11-14	* interp/category.boot (SigListMember): Remove as deadcode.	dos-reis	2	-24/+18
2011-11-14	* lisp/core.lisp.in: Export %sysInit.	dos-reis	4	-506/+557
2011-11-13	* interp/category.boot (JoinInner): Tidy.	dos-reis	2	-28/+26
2011-11-13	Fix SF/3436999	dos-reis	2	-76/+5
2011-11-13	* interp/sys-driver.boot (initializeDatabases): Honor --initial-db.	dos-reis	8	-81/+100
2011-11-13	* interp/br-data.boot (buildLibdbConEntry): Exit early if argument	dos-reis	6	-20/+104
2011-11-12	* interp/define.boot (getTargetFromRhs): Do not try to record	dos-reis	2	-2/+13
2011-11-11	* interp/define.boot (compDefineCapsuleFunction): Take first	dos-reis	2	-23/+31
2011-11-11	* interp/br-data.boot: Change NRTEVAL to %eval.	dos-reis	7	-11/+20
2011-11-11	* interp/c-util.boot (dbByteList): New accessor macro.	dos-reis	3	-12/+25
2011-11-11	* interp/compiler.boot (applyMapping): Emit special call for	dos-reis	6	-6/+50
2011-11-10	* algebra/boolean.spad.pamphlet (IndexedBits) [Not, Or, And]: Remove.	dos-reis	5	-31/+18
2011-11-10	* interp/daase.lisp (dbLookupFunction): New accessor macro.	dos-reis	5	-18/+32
2011-11-09	* interp/define.boot (compDefineFunctor1): Clear dbTemplate before	dos-reis	3	-1/+26
2011-11-09	* interp/define.boot (compFunctorBody): First argument is now a DB.	dos-reis	30	-105/+139
2011-11-08	fix thinkos	dos-reis	2	-2/+2
2011-11-07	Fix thinko	dos-reis	1	-1/+1
2011-11-07	* interp/lisplib.boot (isDomainForm): Tidy.	dos-reis	2	-0/+5
2011-11-07	* interp/lisplib.boot (getConstructorOpsAndAtts): Fold content in	dos-reis	3	-15/+21
2011-11-07	* interp/compiler.boot ($compileOnlyCertainItems): Remove.	dos-reis	5	-78/+32
2011-11-07	* utils/vm.H: Redefine value representation.	dos-reis	2	-76/+101
2011-11-06	* interp/c-doc.boot (checkBalance): Fix a latent logic bug.	dos-reis	3	-23/+24
2011-11-05	* algebra/Makefile.in: Rework bootstrap dependency.	dos-reis	2	-373/+859
2011-11-04	* interp/functor.boot (compCategories): Take second parameter as	dos-reis	5	-40/+40
2011-11-02	* interp/lisplib.boot (findModule): Tidy.	dos-reis	2	-2/+14
2011-11-02	* interp/spad-parser.boot (parseSpadFile): Use $lineStack not	dos-reis	4	-37/+43
2011-11-02	* interp/c-util.boot (dbSubstituteAllQuantified): New.	dos-reis	3	-5/+15
2011-11-02	Add compiler support for implicit parameters.	dos-reis	4	-21/+109
2011-10-31	* interp/i-funsel.boot (evalMmCond0): Tidy. Call evalMmGuard to	dos-reis	3	-9/+65
2011-10-31	null x ~> x = nil cleanup	dos-reis	1	-35/+35
2011-10-31	* interp/compiler.boot (evaluateConstructorModemap): Rename from	dos-reis	4	-22/+50
2011-10-30	* interp/define.boot (compDefineCategory2): Compute dual signature	dos-reis	3	-22/+22
2011-10-30	* interp/define.boot (compDefineCategory2): Compute dual signature	dos-reis	3	-11/+17
2011-10-30	* interp/sys-macros.lisp (MKPF1): Tidy.	dos-reis	12	-113/+203
2011-10-29	* interp/daase.lisp (dbCompilerData): New accessor macro.	dos-reis	6	-32/+67
2011-10-29	* interp/nruncomp.boot (NRTaddDeltaCode): Take a DB parameter.	dos-reis	3	-35/+45
2011-10-29	* interp/define.boot ($atList, $sigList): Remove.	dos-reis	2	-25/+38
2011-10-29	* interp/lisplib.boot (makePredicateBitVector): Take a DB argument.	dos-reis	6	-10/+24
2011-10-29	* interp/define.boot (getInfovecCode): Take a DB argument. Pass	dos-reis	7	-212/+36
2011-10-29	* interp/compiler.boot (compHasFormat): Simplify type form.	dos-reis	3	-3/+7
2011-10-29	* interp/nruncomp.boot (mkDomainCatName): Remove.	dos-reis	5	-8/+20
2011-10-28	* interp/daase.lisp (DATABASE): Add new field CAPSULE-DEFINITIONS.	dos-reis	7	-24/+25
2011-10-28	* interp/database.boot (orderPredTran): Tidy.	dos-reis	2	-72/+49