open-axiom - open scientific computation system

Age	Commit message (Collapse)	Author	Files	Lines
2011-02-24	Rename getShellEntry to shellEntry now that it is a macro accessor that ↵	dos-reis	1	-98/+78
	designate a place (usable in SETF).
2011-02-24	* interp/sys-macros.lisp (shellEntry): New.	dos-reis	1	-51/+52
	* interp/g-util.boot (setShellEntry): Remove. * interp/compiler.boot: Use %store to %tref forms instead of setHSellEntry. * interp/define.boot: Likewise. * interp/functor.boot: Likewise. * interp/nruncomp.boot: Likewise. * interp/nrunfast.boot: Likewise. * interp/showimp.boot: Likewise. * interp/c-util.boot (isSimple): Tidy. (isSideEffectFree): Likewise. (updateCapsuleDirectory): Likewise.
2011-01-26	Replace more occurences of LIST with %listlit.	dos-reis	1	-3/+3

2010-07-25	* interp/cattable.boot: Use %true for truth value in VM expressions.	dos-reis	1	-17/+15
	* interp/clam.boot: Likewise. * interp/define.boot: Likewise. * interp/format.boot: Likewise. * interp/functor.boot: Likewise. * interp/g-opt.boot: Likewise. * interp/mark.boot: Likewise. * interp/pspad1.boot: Likewise. * interp/pspad2.boot: Likewise. * interp/slam.boot: Likewise. * interp/wi1.boot: Likewise. * interp/wi2.boot: Likewise. * interp/sys-constants.boot: Remove $true and $false as unused.
2010-07-23	* interp/g-opt.boot (optBind): Check for dependencies in	dos-reis	1	-2/+2
	initializations in %bind expressions. * interp/g-util.boot (expandBind): The body of s %bind expression may be a sequence of statements.
2010-06-27	* algebra/catdef.spad.pamphlet (LinearlyExplicitRingOver)	dos-reis	1	-4/+4
	[leftReducedSystem]: Rename from reducedSystem.
2010-06-22	Group sequence of LETT definitions into LET/LET* expressions where	dos-reis	1	-59/+38
	appropriate. * interp/g-opt.boot (jumpToToplevel?): New. (singleAssignment?): Likewise. (groupVariableDefinitions): Likewise. Use them. (optimizeFunctionDef): Group toplevel variable definitions into a bind expression. * interp/g-util.boot (expandBind): Tidy. * interp/c-util.boot (transformToBackendCode): Refrain from enclosing let-expressions in SEQ if not needed.
2010-06-20	* interp/g-opt.boot (changeVariableDefinitionToStore): New.	dos-reis	1	-4/+4
	(optimizeFunctionDef): Use it.
2010-06-20	* interp/compiler.boot (massageLoop): New.	dos-reis	1	-9/+8
	(compRepeatOrCollect): Use it to generate appropriate %loop forms. Bind new special variable $mayHaveFreeIteratorVariables. (complainIfShadowing): Set it as appropriate.
2010-06-20	* boot/tokens.boot (readOnly?): New builtin Boot function.	dos-reis	1	-4/+4
	* interp/c-util.boot (isLispSpecialVariable): Tidy. (transformToBackendCode): Likewise.
2010-06-18	* algebra/catdef.spad.pamphlet (DifferentialExtension): Now	dos-reis	1	-8/+7
	extends DifferentialSpaceExtension.
2010-06-15	* algebra/catdef.spad.pamphlet (DifferentialSpace): New.	dos-reis	1	-4/+4

2010-06-04	* interp/buildom.boot: Clean up QEQCAR uses.	dos-reis	1	-6/+6

2010-05-03	Generate more readable code for functor definitions.	dos-reis	1	-126/+112
	* interp/nruncomp.boot (washFunctorBody): New. (buildFunctor): Use it. * interp/g-opt.boot (optBind): New. (optLIST): Likewise.
2009-03-01	Optimization should not change slot numbers.	dos-reis	1	-120/+120

2008-11-20	* algebra/coerce.spad.pamphlet (CoercibleFrom): New.	dos-reis	1	-266/+0
	(ConvertibleFrom): Likewise. (RetractableTo): Use it. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include KRCFROM and KVTFROM. * share/algebra/: Update databases.
2008-10-11	Update algebra bootstrap cache.	dos-reis	1	-0/+81

2008-08-17	* algebra/Makefile.pamphlet (all-algstrap): New.	dos-reis	1	-0/+266
	* algebra/strap: Update cached Lisp translation.
2008-08-16	* algebra/strap: New. Sequester cached Lisp translation of	dos-reis	1	-0/+440
	algebra bootstrap domains here.