aboutsummaryrefslogtreecommitdiff
path: root/src/ChangeLog
AgeCommit message (Collapse)AuthorFilesLines
2012-03-02 * algebra/catdef.spad.pamphlet (MonoidOperation): Noew CoercibleTodos-reis1-0/+5
SemiGroupOperation T.
2012-02-27 * interp/nruncomp.boot (markOperation): New.dos-reis1-0/+6
(optDeltaEntry): Implement better patch for last change. * interp/compiler.boot (compFormWithModemap): Undo last change.
2012-02-27 * interp/compiler.boot (compFormWithModemap): Mark implementationdos-reis1-0/+5
resolution as appropriate.
2012-02-27 * interp/compiler.boot (emitLocalCallInsn): Mark externaldos-reis1-0/+10
operators as such, and local functions as such. (freeVarUsage): Do not count external and local functions. (extractCode): Tidy. Handle closure literals. * interp/g-opt.boot (optCall): Optimize external calls where possible. %external is a side-effect free operator.
2012-02-26 * interp/g-util.boot (usedSymbol?): Remove.dos-reis1-0/+11
(bindingForm?): New. (usesVariable?): Likewise. * interp/compiler.boot (declareUnusedParameters): Use it. * interp/g-opt.boot (inlineLocals): Likewise. (optClosure): Likewise. (optBind): Likewise. * interp/define.boot (compContained): Remove.
2012-02-26 * interp/c-util.boot (numOfOccurencesOf): Tidy.dos-reis1-0/+6
* interp/compiler.boot (compUnnamedMapping): Fix thinko. * interp/g-opt.boot (semiSimpleRelativeTo?): Likewise.
2012-02-26 * interp/compiler.boot (compTopLevel): Do not bind $killOptimizeIfTrue.dos-reis1-0/+11
(compWithMappingMode): Likewise. (compUnnamedMapping): Likewise. (extractCode): Simplify. * interp/g-opt.boot (optClosure): New. Register. (semiSimpleRelativeTo?): An abstraction is always semisimple. * interp/nruncomp.boot ($killOptimizeIfTrue): Remove. (optDeltaEntry): Don't test for it.
2012-02-25 * interp/compiler.boot (extractCode): Rename fromdos-reis1-0/+5
extractCodeAndConstructTriple. Change Arity. Tidy. Adjust callers.
2012-02-25 * interp/compiler.boot (finishLambdaExpression): Use %closure.dos-reis1-0/+6
(extractCodeAndConstructTriple): Likewise. * interp/g-opt.boot (optCall): Adjust.
2012-02-25 * interp/nruncomp.boot (genDeltaEntry): Fix thinko.dos-reis1-0/+4
2012-02-25 * algebra/catdef.spad.pamphlet (BinaryOperatorCategory): New.dos-reis1-0/+14
(BinaryOperation): Likewise. (IdempotentOperatorCategory): Likewise. (SemiGroupOperatorCategory): Likewise. (SemiGroupOperation): Likewise. (MonoidOperatorCategory): Likewise. (MonoidOperation): Likewise. * algebra/exposed.lsp.pamphlet: Expose them. * algebra/Makefile.in (oa_algebra_layer_0): Include IDEMOPC, SGPOPC, SPGOP, MONOPC, BINOPC. (axiom_algebra_layer_1): Include MONOP.
2012-02-24 * interp/lexing.boot: "assume" is now also a keyword for the compiler.dos-reis1-0/+6
* interp/spad-parser.boot (parseCategory): Accept exported properties. (parseFormula): New.
2012-02-23 * interp/nruncomp.boot (genDeltaEntry): Replace applyFun with %apply.dos-reis1-0/+12
* interp/lisp-backend.boot (expandApply): Remove. Unregister expander. * interp/g-opt.boot (optCall): applyFun is not longer an opcode. Look for %apply. * interp/compiler.boot (applyMapping): Generate ['%call,['%apply,.]] form, not ['%apply,..] form. (extractCodeAndConstructTriple): Tidy. (compApplication): Likewise.
2012-02-20 * interp/lexing.boot (getNumberToken): New.dos-reis1-0/+12
(getArgumentDesignator): Likewise. (getToken): Use it. * interp/parsing.lisp (GET-NUMBER-TOKEN): Remove. * interp/bootlex.lisp (INIT-BOOT/SPAD-READER): Move to spad.lisp. (SPAD): Likewise. (READ-SPAD1): Likewise. (TEST): Remove. (GET-ARGUMENT-DESIGNATOR-TOKEN): Likewise.
2012-02-19 * interp/compiler.boot (compBuiltinDomain): Compute the exportsdos-reis1-0/+6
from parentsOfBuiltinInstance. * interp/buildom.boot (parentsOfBuiltinInstance): Tidy.
2012-02-19 * interp/compiler.boot (compBuiltinDomain): Rename from compCat.dos-reis1-0/+4
2012-02-19 * interp/br-data.boot (libConstructorSig): Rename T$ to T fordos-reis1-0/+5
external name printing. Do not call ncParseFromString.
2012-02-15 * algebra/catdef.spad.pamphlet (Ring): Extends SemiRing.dos-reis1-0/+6
(Dioid): New. Extend OrderedAbelianMonoid and SemiRing. * algebra/exposed.lsp.pamphlet: Expose Dioid.
2012-02-13 * interp/g-util.boot (stripTags): Rename from stripUnionTags.dos-reis1-1/+13
Adjust callers. * interp/database.boot (genericInstanceForm): New. * interp/buildom.boot (parentsOfBuiltinInstance): New. (builtinInstanceForm): Likewise. * interp/br-data.boot (genericParentsOf): New. (parentsOfForm): Use it, (ancestorsRecur): Likewise. * interp/br-con.boot (originInOrder): Use parentsOfForm.
2012-02-13 * interp/define.boot (getCatAncestors): Remove. Adjust caller.dos-reis1-0/+6
(depthAssoc): Tidy. (NRTmakeCategoryAlist): Tidy.
2012-02-13 * interp/define.boot (NRTcatCompare): Remove.dos-reis1-0/+5
(NRTmakeCategoryAlist): Don't call NRTcatCompare. Tidy.
2012-02-12 * interp/define.boot (depthAssocList): Take the cache as seconddos-reis1-1/+8
argument. Avoid globals. Adjust Callers. (depthAssoc): Likewise. Adjust Caller. (NRTmakeCategoryAlist): Remove uses of $depthAssocCache.
2012-02-12 * algebra/coerce.spad.pamphlet (Type): Redefine as empty Join.dos-reis1-0/+5
* interp/category.boot (Join): Handle empty argument list.
2012-02-12 * interp/define.boot (getParentsFor): Lose second parameter. Tidy.dos-reis1-0/+8
Adjust callers. * interp/br-data.boot (getParentsForDomain): Remove. (parentsOf): Call getParentsFor in lieu of getParentsForDomain. (folks): Move to define.boot.
2012-02-12 * interp/br-data.boot (ancestorsRecur): Tidy.dos-reis1-0/+5
* interp/define.boot (compDefineCategory2): Likewise.
2012-02-11 (ancestorsRecur): Likewise.dos-reis1-1/+2
2012-02-11 * interp/br-data.boot (getParentsFor): Move to define.boot.dos-reis1-0/+1
(explodeIfs): Likewise. (getParentsForDomain): Tidy.
2012-02-11 * interp/br-data.boot (getParentsFor): Move to define.boot.dos-reis1-0/+5
(explodeIfs): Likewise.
2012-02-10 * interp/define.boot (mkEvalableCategoryForm): Compile onlydos-reis1-0/+5
CATEGORY and SubsetCategory forms.
2012-02-10 * interp/database.boot (categoryConstructor?): New.dos-reis1-0/+5
* interp/define.boot (mkEvalableCategoryForm): Use it. Tidy.
2012-02-09 * interp/g-opt.boot (optCall): Simplify SPADCALL of atomicdos-reis1-0/+7
function expressions. ($VMsideEffectFreeOperators): Don't include %funcall. ($simpleVMoperators): Include it.
2012-02-07 * algebra/Makefile.in (oa_algebra_layer_0): Include FINITE-.dos-reis1-0/+4
2012-02-07 * interp/lisplib.boot (dbLocateModule): New.dos-reis1-0/+13
(findModule): Use it. Simplify. (loadLib): Tidy. (genericLoadDB): New. (loadDB): Use it. (loadDBIfCan): New. * interp/c-util.boot (lookupDefiningFunction): Give up gracefully if the domain of computation is not compiled yet. * algebra/Makefile.in ($(OUT)/SPADAST.$(FASLEXT)): Require $(OUT)/SUCHTAST.$(FASLEXT).
2012-02-05 * interp/nruncomp.boot (getLocalIndex): Fast track niladicdos-reis1-0/+6
constructors. * algebra/syntax.spad.pamphlet: Miscellaneous cleanup.
2012-02-03 * config/open-axiom.m4 (OPENAXIOM_ALIGNAS_SPECIFIER): New.dos-reis1-1/+8
(OPENAXIOM_CHECK_MISC): Use it. src/ * utils/vm.H: Add more VM data structures. * utils/vm.cc (BasicContext::make_operator): Define. * algebra/Makefile.in (SPADFILES): Include syntax.spad and spad-parser.spad.
2012-01-14 * algebra/catdef.spad.pamphlet (Finite) [random]: Provide defaultdos-reis1-0/+7
implementation. * algebra/boolean.spad.pamphlet (KleeneTrivalentLogic): Now satisfy Finite. Use Maybe Boolean as representation.
2012-01-14 * interp/i-util.boot ($intTopLevel): Move to sys-constants.boot.dos-reis1-0/+6
* interp/g-error.boot (returnToTopLevel): Tidy. * interp/macros.lisp (applyWithOutputToString): Likewise.
2012-01-14 * interp/spaderror.lisp: Move convent to spad.lisp. Remove.dos-reis1-0/+4
2012-01-14 * interp/patches.lisp: Move content to msgdb.boot. Remove.dos-reis1-0/+4
2012-01-14 * interp/word.boot: Add import and scope statements. Include indos-reis1-0/+17
final executables. (infix?): Remove as duplicate in match.boot. (prefix?): Likewise. (suffix?): Likewise. * interp/g-error.boot (returnToTopLevel): Tidy. * interp/debug.lisp (/D-2): Use spadThrow in lieu of UNWIND. * interp/patches.lisp (CATCHALL): Remove. (DBRINIT): Likewise. (TOPLEVEL): Likewise. (TOP-LEVEL): Likewise. (UNWIND): Likewise. (RESUME): Likewise. (booFind): Likewise.
2012-01-14 * lisp/core.lisp.in (mkIntArray): New. Export.dos-reis1-0/+24
* interp/patches.lisp (/RF): Move to cparse.boot. (/RQ): Likewise. (/RQ,LIB): Likewise. (/RF-1): Likewise. (/EF): Move to spad.lisp. (construct): Remove. (READSPADEXPR): Likewise. (SHAREDITEMS): Likewise. (installStandardTestPackages): Likewise. (spadtestValueHook): Likewise. (testError): Likewise. ($TestOptions): Likewise. (rebuild): Likewise. ($ViewportProcessToWatch): Likewise. (setViewportProcess): Likewise. (waitForViewport): Likewise. * interp/i-analy.boot (pushDownOp?): Use mkIntArray in place of GETZEROVEC. * interp/i-funsel.boot (argCouldBelongToSubdomain): Likewise. * interp/i-intern.boot (flagArguments): Likewise.
2012-01-13 * interp/category.boot: Rename AncestorP to ancestor?.dos-reis1-0/+7
Rename DescendantP to descendant?. * interp/define.boot: Likewise. * interp/functor.boot: Likewise.
2012-01-12 * boot/parser.boot (bpFunction): New.dos-reis1-0/+7
(bpConstTok): Include it. * boot/ast.boot (bfFunction): New. * boot/tokens.boot: `function' is now a keyword.
2012-01-12 * boot/tokens.boot (keywordId): New.dos-reis1-0/+6
* boot/parser.boot (bpSexpKey): Use it. * interp/i-map.boot (mapPredTran): Fix thinko.
2012-01-09 * boot/parser.boot (bpRequire): New. Use it throughout this module.dos-reis1-0/+4
2012-01-08 * boot/ast.boot (bfEnum): New.dos-reis1-0/+7
* boot/translator.boot (translateToplevel): Use it to translate enumeration definitions. * interp/types.boot (%ConstructorKind): Use new syntax.
2012-01-01 * interp/define.boot (evalCategoryForm): New.dos-reis1-0/+7
(mkCategoryPackage): Use it. (compMakeCategoryObject): Likewise. * interp/nruncomp.boot (NRTsetVector4a): Likewise.
2012-01-01Annual ChangeLog rotationsdos-reis1-4466/+0
2011-12-30 * algebra/fraction.spad.pamphlet (Localize): Tidy.dos-reis1-0/+4
2011-12-28 * interp/vmlisp.lisp (SORTBY): Remove.dos-reis1-0/+20
(QSORT): Likewise. * interp/c-util.boot (formal?): Rename from isFormal. Avoid POSITION. * interp/sys-utility.boot (sortBy): New. * interp/br-op1.boot: Use it. * interp/clam.boot: Likewise. * interp/define.boot: Likewise. * interp/i-output.boot: Likewise. * interp/i-coerfn.boot: Likewise. * interp/i-syscmd.boot: Likewise. * interp/showimp.boot: Likewise. * boot/tokens.boot: "<-" is now a token. * boot/ast.boot (bfKeyArg): New. (bfExpandKeys): Likewise. (bfApplication): Use it. * boot/parser.boot (bpKeyArg): New. (bpAssign): Use it. Parse named arguments.
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-09 08:27:09 +0000