aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/RNS-.lsp
AgeCommit message (Collapse)AuthorFilesLines
2010-07-22 * interp/g-util.boot (expandIeq): New expander for %ieq.dos-reis1-1/+1
* interp/g-opt.boot (optIeq): New. (optIadd): Likewise. (optIsub): Likewise. (optImul): Likewise. (optIneg): Likewise. (lispize): Remove.
2010-06-22 Group sequence of LETT definitions into LET/LET* expressions wheredos-reis1-26/+14
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-04 * interp/buildom.boot: Clean up QEQCAR uses.dos-reis1-2/+2
2010-05-03 Generate more readable code for functor definitions.dos-reis1-12/+8
* 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-reis1-30/+30
* interp/parse.boot (parseGreaterEqual): Likewise.
2009-03-01 Optimization should not change slot numbers.dos-reis1-81/+83
2008-11-20 * algebra/coerce.spad.pamphlet (CoercibleFrom): New.dos-reis1-88/+0
(ConvertibleFrom): Likewise. (RetractableTo): Use it. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include KRCFROM and KVTFROM. * share/algebra/: Update databases.
2008-10-13 Add support for Lisp declarations in generated Lisp code.dos-reis1-1/+1
* interp/i-map.boot (compileCoerceMap): Tell backend that minivector is global. * interp/i-spec1.boot (compileADEFBody): Likewise. * interp/slam.boot (reportFunctionCompilation): Likewise. * interp/define.boot (spadCompileOrSetq): Tell backend to ignore last argument for simple functions. * interp/c-util.boot (skipDeclarations): New. (lastDeclarationNode): Likewise. (declareGlobalVariables): Likewise. (transformToBackendCode): Use them to allow for Lisp declarations in middle-end forms. * interp/sys-driver.boot (AxiomCore::%sysInit): Reading Lisp level Floating point numbers default to double precision. * algebra/strap: Update.
2008-10-11Update algebra bootstrap cache.dos-reis1-0/+31
2008-08-17 * algebra/Makefile.pamphlet (all-algstrap): New.dos-reis1-40/+142
* algebra/strap: Update cached Lisp translation.
2008-08-16 * algebra/strap: New. Sequester cached Lisp translation ofdos-reis1-0/+144
algebra bootstrap domains here.
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-03 09:05:19 +0000