aboutsummaryrefslogtreecommitdiff
path: root/src/ChangeLog
AgeCommit message (Collapse)AuthorFilesLines
2011-04-19 * boot/tokens.boot: charUpcase, charDowncase, stringUpcase,dos-reis1-0/+6
singDowncase, valueEq? are new builtin functions. * boot/ast.boot (bfMembr): Tidy.
2011-04-19 * interp/newfort.boot: Likewise.dos-reis1-0/+12
* interp/define.boot (orderBySubsumption): Fix thinko. * interp/boot-pkg.lisp: Use BOOTTRAN package. Don't import names individually. * boot/utility.boot: New. * boot/translator.boot (exportNames): Fix thinko. * boot/tokens.boot: Add charEq? and scalarEq? builtiin functions. * boot/ast.boot (bfMember): Generate call to symbolMember? for membership tests for symbols.
2011-04-19 * boot/ast.boot (%Module): Now take three arguments.dos-reis1-0/+7
* boot/parser.boot (bpModuleInterface): Rename from bpExports. (bpModuleExports): New. (bpModule): Now allow specification of exported names.
2011-04-17 * boot/tokens.boot: Translate maxIndex to MAXINDEX.dos-reis1-0/+4
2011-04-16 * boot/tokens.boot (shoeIdChar): Accept "!" too.dos-reis1-0/+4
2011-04-14 * interp/msgdb.boot: Use stringChar more often.dos-reis1-0/+4
2011-04-12 * lisp/core.lisp.in: Include SB-SPROF when profiling SBCL-based build.dos-reis1-0/+4
2011-04-10specify linker for ECLdos-reis1-0/+5
2011-04-10 * config/open-axiom.m4 (OPENAXIOM_HOST_LISP_CPU_PRECISION):dos-reis1-0/+5
Special-case for detecting binary personality. * configure.ac: ECL now provides (at last!) way to gather information about binary personality.
2011-03-22 * algebra/op.spad.pamphlet (BasicOperator) [display]: Now return ados-reis1-0/+8
Maybe (List O -> O) value. [input]: Now return a Maybe(List SEX -> SEX). * algebra/kl.spad.pamphlet (Kernel): Adjust. * algebra/pattern.spad.pamphlet (Pattern): Likewise.
2011-03-20 * interp/g-opt.boot ($VMsideEffectFreeOperators): Includedos-reis1-0/+7
%bytevec2str and %str2bytevec opcode. * interp/lisp-backend.boot: Expand them. * algebra/data.spad.pamphlet (ByteBuffer): Tidy.
2011-03-20 * boot/translator.boot (FC): Remove.dos-reis1-0/+25
(FBO): Likewise. (FEV): Likewise. (shoeGeneralFC): Likewise. (shoeFindName): Likewise. (shoeFindName2): Likewise. (shoeTransform2): Likewise. * boot/scanner.boot (shoeLineToks): Don't support `)package' line anymore. * boot/includer.boot: Remove support for `)package', `)include', `)includelisp', `)includelines' lines. (shorPackageStartsAt): Remove. (shorFindLines): Likewise. (shoeFileInput): Likewise. (shoeLispFileInput): Likewise. (shoeLineFileInput): Likewise. (shoeFunctionFileInput): Likewise. (shoePlainLine?): Reflect removal. (shoeSimpleLine): Likewise. * boot/tokens.boot (charByName): New builtin library function. * algebra/sf.spad.pamphlet (RealNumberSystem): Don't re-export abs. It is already exported by OrderedRing.
2011-03-17 * utils/storage.H: Rework.dos-reis1-0/+5
* utils/storage.cc: Likewise.
2011-03-16 * interp/i-syscmd.boot (compileSpad2Cmd): Remove experimentaldos-reis1-0/+18
support for Spad to Aldor translation. (convertSpasToAsFile): Remove. * interp/mark.boot: Remove. * interp/nspadux.lisp: Likewise. * interp/pspad1.boot: Likewise. * interp/pspad2.boot: Likewise. * interp/wi1.boot: Likewise. * interp/wi2.boot: Likewise. * interp/spad.lisp: Don't register removed formatters. * interp/util.lisp: (TRANSLATE-FUNCTIONS): Remove. (BUILD-INTERPSYS): Now take only one argument. * src/share/doc/msgs/s2-us.msgs: Remove diagnostic S2IZ0085. * interp/Makefile.in: Remove rules for building wi1.boot, wi2.boot, mark.boot, pspad1.boot pspad2.boot.
2011-03-13 * src/algebra/: Systematically use not zero? when comparing fordos-reis1-0/+5
equality with 0.
2011-03-12 * src/algebra/: Systematically use not one? when comparing fordos-reis1-0/+5
equality with 1.
2011-03-12 * src/algebra/: Systematically use negative? when comparing fordos-reis1-0/+5
equality with 0.
2011-03-12 * src/algebra/: Systematically use negative? when comparing fordos-reis1-0/+5
greater than 0.
2011-03-12 * src/algebra/: Systematically use negative? when comparing fordos-reis1-0/+5
less than 0.
2011-03-12 * algebra/si.spad.pamphlet (IntegerNumberSystem) [positive?]:dos-reis1-0/+9
Remove definition. (SingleInteger): Simplify implementation of random. * algebra/sf.spad.pamphlet (DoubleFloat): Likewise. [positive?]: Define. * algebra/integer.spad.pamphlet (Integer): Tidy.
2011-03-12 * algebra/catdef.spad.pamphlet (OrderedAbelianGroup): Exportdos-reis1-0/+7
negative?, abs, sign, with default implementations. (OrderedAbelianMonoid): Export positive?, with default. (OrderedRing): Don't export them.
2011-03-10 * algebra/catdef.spad.pamphlet (CharacteristicNonZero)dos-reis1-0/+12
[charthRoot]: Now return Maybe %. (PolynomialFactorizationExplicit) [charthRoot]: Likewise. * algebra/ffcat.spad.pamphlet (FiniteAlgebraicExtensionField): Propagate change. * algebra/fraction.spad.pamphlet (Fraction) [charthRoot]: Likewise. * algebra/poly.spad.pamphlet (UnivariatePolynomialSquareFree): Likewise. * algebra/polycat.spad.pamphlet (PolynomialCategory): Likewise.
2011-03-10 * interp/c-util.boot (equalFormTemplate): Tidy comparison of valuedos-reis1-0/+5
argument to constructors.
2011-03-10 * interp/c-util.boot (mutateArgumentList): New.dos-reis1-0/+10
(inlineDirectCall): Break out of replaceSimpleFunctions. (resolveIndirectCall): Break out of foldSpadcall. (replaceSimpleFunctions): Use them. (foldSpadcall): Remove. (usesVariablesLinearly?): Tidy. (foldExportedFunctionReferences): Don't call foldSpadcall.
2011-03-10 * interp/c-util.boot (resolveConstantForm): New. Split out ofdos-reis1-0/+6
replaceSimpleFunctions. (foldSpadcall): Use it too.
2011-03-09 * algebra/catdef.spad.pamphlet (StepThrough) [nextItem]: Nowdos-reis1-0/+12
return Maybe %. * algebra/ffcat.spad.pamphlet: Propagate change. * algebra/fmod.spad.pamphlet: Likewise. * algebra/fraction.spad.pamphlet: Likewise. * algebra/integer.spad.pamphlet: Likewise. * algebra/pfbr.spad.pamphlet: Likewise. * algebra/polycat.spad.pamphlet: Likewise. * algebra/si.spad.pamphlet: Likewise.
2011-03-09 * algebra/catdef.spad.pamphlet (EuclideanDomain)dos-reis1-0/+7
[expressIdealMember]: Now returns Maybe List %. * algebra/Makefile.in: Tidy. (axiom_algebra_bootstrap_last_layer): Remove.
2011-03-09 * interp/g-opt.boot: %pair, %list, %vector, %bitvector are nowdos-reis1-0/+7
considered side-effect free functions. * algebra/boolean.spad.pamphlet: Reflect change. * algebra/Makefile.in (oa_strap_0_sources): Include MAYBE.
2011-03-09 * interp/g-opt.boot (semiSimpleRelativeTo?): Consider conditionals.dos-reis1-0/+4
2011-03-08 * algebra/catdef.spad.pamphlet (SemiRing): New category.dos-reis1-0/+4
2011-03-07 * interp/sys-utility.boot (getSystemModulePath): Usedos-reis1-0/+20
systemAlgebraDirectory. * interp/database.boot (pathToDatabase): Use systemDatabaseDirectory. * algebra/integer.spad.pamphlet (Integer) [latex]: Tidy. * algebra/string.spad.pamphlet (Character) [latex]: Likewise. * algebra/Makefile.in: Rework bootstrapping set up. (COMPILE_LISP): Remove. (axiom_algebra_layer_strap): Likewise. (axiom_algebra_layer_strap_objects): Likewise. (axiom_algebra_bootstrap): Likewise. (oa_strap_0_fasls): New. (oa_strap_1_fasls): Likewise. (oa_strap_2_fasls): Likewise. (oa_strap_0_sources): Likewise. (oa_strap_1_sources): Likewise. (oa_strap_2_sources): Likewise. * src/algerab/strap: Remove.
2011-03-07 * algebra/si.spad.pamphlet (SingleInteger): Logic is indirectlydos-reis1-0/+5
included through BooleanLogic.
2011-03-06 * interp/i-eval.boot (mkEvalable): Simplify.dos-reis1-1/+8
(mkEvalableMapping): Remove. (mkEvalableRecord): Likewise. (mkEvalableUnion): Likewise.
2011-03-06 * interp/g-opt.boot ($VMsideEffectFreeOperators): Include %c2s.dos-reis1-0/+8
* interp/lisp-backend.boot: Translate it. * algebra/integer.spad.pamphlet (Integer) [convert]: Tidy. [latex]: Likewise. * algebra/string.spad.pamphlet (Character)[latex]: Likewise.
2011-03-05 * interp/as.boot: Use getConstructorAbbreviationFromDB.dos-reis1-0/+19
* interp/br-con.boot: Likewise. * interp/br-data.boot: Likewise. * interp/br-prof.boot: Likewise. * interp/br-util.boot: Likewise. * interp/c-doc.boot: Likewise. * interp/clammed.boot: Likewise. * interp/database.boot: Likewise. * interp/define.boot: Likewise. * interp/format.boot: Likewise. * interp/functor.boot: Likewise. * interp/g-cndata.boot: Likewise. * interp/i-funsel.boot: Likewise. * interp/i-output.boot: Likewise. * interp/lisplib.boot: Likewise. * interp/pspad1.boot: Likewise.
2011-03-05 * interp/nrunopt.boot: Move content to define.boot, interop.boot,dos-reis1-0/+5
lisplib.boot, nruncomp.boot, showimp.boot. Delete.
2011-03-03 * interp/nrungo.boot: Move content to buildom.boot, i-map.boot,dos-reis1-0/+5
i-special.boot, nrunfast.boot. Delete.
2011-03-02 * interp/i-eval.boot (mkEvalable): Exit early on niladic constructors.dos-reis1-0/+8
* interp/define.boot (compDefineFunctor1): If bootstrapping, mark functor as incomplete. * interp/c-util.boot (lookupDefiningFunction): Don't look into incomplete domains.
2011-03-01 * interp/info.boot: Move content to modemap.boot. Delete.dos-reis1-0/+4
2011-02-28 * interp/i-code.boot: Move content to i-coerce.boot. Delete.dos-reis1-0/+4
2011-02-28 * algebra/boolean.spad.pamphlet (PropositionalFormula): dos-reis1-0/+5
Implement true and false. Fix thinko in notFormula.
2011-02-28 * interp/i-analy.boot (elaborateTree): New.dos-reis1-0/+7
* interp/i-special.boot (bottomUpProposition): Likewise. (upand): Use it to handle propositional formula. (upor): Likewise.
2011-02-27 * interp/i-analy.boot (bottomUpWithArgModesets): Split out ofdos-reis1-0/+6
bottomUp. (bottomUp): Call it.
2011-02-27 * interp/Makefile.in (OBJS): Remove i-spec1.$(FASLEXT) anddos-reis1-0/+7
i-spec2.$(FASLEXT). Add i-special.$(FASLEXT). * interp/i-spec1.boot, interp/i-spec2.boot: Move content to i-special.boot. Remove.
2011-02-27 * algebra/outform.spad.pamphlet (OutputForm) [infix?]: Rewrite.dos-reis1-0/+4
2011-02-26 * interp/g-opt.boot (optCond): Recognize conjunction anddos-reis1-0/+5
disjunction forms.
2011-02-26 * interp/nruncomp.boot (optDeltaEntry): Don't SPADCALL thedos-reis1-0/+9
constant producing function. * interp/c-util.boot (getFunctionReplacement): Use comptileTimeBindingOf. (lookupDefiningFunction): Tidy. * interp/g-opt.boot (compileTimeBindingOf): Move to c-util.boot.
2011-02-26 * interp/g-opt.boot (canInlineVarDefinition): Observe order ofdos-reis1-0/+5
evaluation.
2011-02-26 * interp/g-opt.boot (optNot): Push %not inside conditionals.dos-reis1-0/+5
(optCond): Remove ineffectual transformation.
2011-02-26 * interp/parse.boot (parseLessEqual): Remove.dos-reis1-0/+4