open-axiom - open scientific computation system

Age	Commit message (Collapse)	Author	Files	Lines
2010-07-22	* interp/g-opt.boot (simplifyVMForm): New.	dos-reis	1	-1/+1
	(optRetract): Simplify the predicate when possible. (optNot): New transformer. (optAnd): Likewise. (optOr): Likewise. (optIlt): Likewise. (optIle): Likewise. (optIgt): Likewise. (optIge): Likewise.
2010-06-23	* interp/nruncomp.boot (optDeltaEntry): Don't optimize current	dos-reis	1	-1/+1
	domain modemap references here. * interp/g-opt.boot ($VMsideEffectFreeOperators): Include more floating point operators. ($simpleVMoperators): Move FUNCALL here. (isVMConstantForm): Tidy. * interp/g-util.boot: Expand more floating point insns. * interp/c-util.boot (replaceSimpleFunctions): Replace more constants. * algebra/integer.spad.pamphlet (Integer): More cleanup. Use builtin functions. * algebra/sf.spad.pamphlet: Likewise.
2010-05-03	Generate more readable code for functor definitions.	dos-reis	1	-17/+13
	* interp/nruncomp.boot (washFunctorBody): New. (buildFunctor): Use it. * interp/g-opt.boot (optBind): New. (optLIST): Likewise.
2009-06-01	* interp/compiler.boot (compGreaterThan): Remove.	dos-reis	1	-2/+2
	* interp/parse.boot (parseGreaterEqual): Likewise.
2009-03-01	Optimization should not change slot numbers.	dos-reis	1	-13/+16

2008-11-20	* algebra/coerce.spad.pamphlet (CoercibleFrom): New.	dos-reis	1	-35/+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/+13

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