aboutsummaryrefslogtreecommitdiff
path: root/src/ChangeLog
AgeCommit message (Collapse)AuthorFilesLines
2008-10-03 * algebra/Makefile.pamphlet: Turn non optimization for algbera build.dos-reis1-0/+4
2008-10-02 * algebra/data.spad.pamphlet (Byte): Add coercion to and fromdos-reis1-0/+5
Character.
2008-10-02 * interp/i-spec1.boot (upcase): Tidy.dos-reis1-0/+6
* interp/i-spec2.boot (evalIsntPredicate): Likewise. * interp/sys-utility.boot (existingFile?): Likewise.
2008-10-02 * algebra/outform.spad.pamphlet (doubleFloatFormat$OutputForm): Movedos-reis1-0/+5
from DoubleFloat.
2008-10-01 * algebra/net.spad.pamphlet (InputBinaryFile): Tidy.dos-reis1-0/+4
2008-10-01 * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Tidy.dos-reis1-0/+2
* algebra/sregset.spad.pamphlet (SquareFreeRegularTriangularSet): Remove unused function decompose.
2008-10-01 * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Tidy.dos-reis1-0/+4
2008-10-01 * algebra/mkfunc.spad.pamphlet (InputForm): Remove local mkProperOp.dos-reis1-0/+8
(compile$InputForm): Tidy. * algebra/boolean.spad.pamphlet (setelt$IndexedBits): A bit is not a Boolean. * interp/i-intern.boot (mkAtreeForToken): New.
2008-10-01 * interp/c-util.boot ($optProclaim): New.dos-reis1-0/+14
($optReplaceSimpleFunctions): Likewise. (setCompilerOptimizations): Likewise. Set them. (proclaimCapsuleFunction): New. * interp/compiler.boot (compileSpad2Cmd): Handle option ')optimize'. * interp/define.boot (compile): Proclaim if appropriate. * interp/sys-driver.boot (compileSpadLibrary): Honor optimization level set on commmand line. * interp/sys-utility.boot (getVMType): Tidy. * interp/types.boot (%Void): Likewise. (IntegerSection): New.
2008-10-01 * interp/i-output.boot: Move dispatch table from property.lisp.dos-reis1-0/+6
* interp/buildom.boot: Likewise. * interp/def.lisp: Likewise.
2008-10-01 * algebra/files.spad.pamphlet (IOMode): New domain.dos-reis1-0/+10
* algebra/net.spad.pamphlet (InputBinaryFile): Likewise. (OutputBinaryFile): Likewise. * interp/sys-utility.boot (openBinaryFile): New. (readByteFromFile): Likewise. (writeByteToFile): Likewise. (closeFile): Likewise.
2008-09-28 * algebra/regset.spad.pamphlet (RegularTriangularSet): Removedos-reis1-0/+5
unused local decompose function.
2008-09-28 * algebra/outform.spad.pamphlet (OutputForm): Remove bogusdos-reis1-0/+5
definition for Rep. Tidy.
2008-09-26 * algebra/matrix.spad.pamphlet (new$Matrix): New.dos-reis1-0/+5
Remove uses of pretend. Define Rep.
2008-09-25 * include/cfuns.h (oa_copy_file): Declare.dos-reis1-0/+9
* lib/cfuns-c.c (oa_chdir): Define. (oa_dirname): Fix typo. * hyper/htadd.c (copy_file): Remove. (build_db_filename): Tidy. (delete_file): Use oa_copy_file.
2008-09-24 * interp/i-analy.boot (putCallInfo): New.dos-reis1-0/+9
(bottomUp): Use it. * interp/i-spec1.boot (upand): Likewise. (upor): Likewise. (upcase): Likewise. * interp/i-spec2.boot (uperror): Likewise.
2008-09-23 * algebra/fortmac.spad.pamphlet (MachineFloat): Don't redeclare base.dos-reis1-0/+4
2008-09-22 * boot/parser.boot (bpReturn): Allow assignment.dos-reis1-0/+4
2008-09-22 * algebra/syntax.spad.pamphlet: Tie the recursive knots betweendos-reis1-0/+5
syntax domains.
2008-09-21 * algebra/syntax.spad.pamphlet (SpadAst): New.dos-reis1-0/+6
* algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add SPADAST. * share/algebra: Update algebra databases.
2008-09-21 * algebra/syntax.spad.pamphlet (SpadAstExports): New.dos-reis1-0/+7
* algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add SPADXPT. Update dependency rules. * share/algebra: Update algebra databases.
2008-09-21 * algebra/boolean.spad.pamphlet (Boolean): Now belong todos-reis1-0/+5
OrderedFinite.
2008-09-21 * interp/sys-macros.lisp (|byteEqual|): New.dos-reis1-0/+12
* algebra/boolean.spad.pamphlet (PropositionalLogic): Extend SetCategory. (PropositionalFormula): Now unconditional exports coercion to OutputForm. Adjust implementation. (KleeneTrivalentLogic): New. * algebra/data.spad.pamphlet (Byte): Tidy. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Move PROPLOG to layer 1.
2008-09-20 * include/cfuns.h (oa_dirname): Declare.dos-reis1-0/+8
* lib/cfuns-c.c (openaxiom_is_path_separator): New. (oa_dirname): Define. (writeablep): Use it. * algebra/fname.spad.pamphlet (writable?$FileName): Tidy.
2008-09-19 * interp/g-util.boot (getTypeOfSyntax): Infer more syntax domains.dos-reis1-0/+7
* algebra/Makefile.pamphlet: Add dependency rules for syntax domains. * algebra/exposed.lsp.pamphlet: Expose more syntax domains.
2008-09-19 * interp/lisplib.boot (getConstructorSignature): Relax.dos-reis1-0/+4
2008-09-18 * interp/c-util.boot (displayAmbiguousSignatures): New.dos-reis1-0/+38
(ambiguousSignatureError): Likewise. * interp/define.boot (hasSigInTargetCategory): Use it to reject ambiguous lhs of a definition. * interp/lisplib.boot (leaveIfErrors): Fix typo. * algebra/aggcat.spad.pamphlet: Disambiguate definitions. * algebra/card.spad.pamphlet: Likewise. * algebra/dhmatrix.spad.pamphlet: Likewise. * algebra/divisor.spad.pamphlet: Likewise. * algebra/expexpan.spad.pamphlet: Likewise. * algebra/ffcat.spad.pamphlet: Likewise. * algebra/ffcg.spad.pamphlet: Likewise. * algebra/ffnb.spad.pamphlet: Likewise. * algebra/ffp.spad.pamphlet: Likewise. * algebra/generic.spad.pamphlet: Likewise. * algebra/groebf.spad.pamphlet: Likewise. * algebra/modring.spad.pamphlet: Likewise. * algebra/moebius.spad.pamphlet: Likewise. * algebra/mts.spad.pamphlet: Likewise. * algebra/naalgc.spad.pamphlet: Likewise. * algebra/ore.spad.pamphlet: Likewise. * algebra/outform.spad.pamphlet: Likewise. * algebra/pf.spad.pamphlet: Likewise. * algebra/poly.spad.pamphlet: Likewise. * algebra/polycat.spad.pamphlet: Likewise. * algebra/prtition.spad.pamphlet: Likewise. * algebra/radix.spad.pamphlet: Likewise. * algebra/rep2.spad.pamphlet: Likewise. * algebra/stream.spad.pamphlet: Likewise. * algebra/string.spad.pamphlet: Likewise. * algebra/tree.spad.pamphlet: Likewise. * algebra/triset.spad.pamphlet: Likewise. * algebra/view2D.spad.pamphlet: Likewise. * algebra/sf.spad.pamphlet: Remove signature for hash. * algebra/si.spad.pamphlet: Likewise.
2008-09-18 * algebra/mkfunc.spad.pamphlet (parseString$InputForm): New.dos-reis1-0/+5
2008-09-18 * interp/g-util.boot (getTypeOfSyntax): Infer more syntax domains.dos-reis1-0/+8
* algebra/syntax.spad.pamphlet: Add more syntax domains. * algebra/exposed.lsp.pamphlet: Expose more syntax object domains. * algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add more syntax object files.
2008-09-14 * algebra/net.spad.pamphlet (Conduit): New.dos-reis1-0/+12
(InputByteConduit): Likewise. (OutputByteConduit): Likewise. (InputOutputByteConduit): Likewise. * algebra/exposed.lsp.pamphlet: Expose Conduit, InputByteConduit, OutputByteConduit, InputOutputByteConduit. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include CONDUIT. (axiom_algebra_layer_13): Include INBCON, INBCON-, OUTBCON, OUTBCON-. (axiom_algebra_layer_14): Include IOBCON.
2008-09-14 * interp/sys-os.boot (readablep): Import.dos-reis1-0/+8
(writeablep): Document. * algebra/fname.spad.pamphlet (exists?$FileName): Use existingFile? (readable?$FileName): Use readablep. (writeable?$FileName): Use writeable.
2008-09-14 * lisp/core.lisp.in (TRANSLATE-OPTION-VALUE): New.dos-reis1-0/+5
(parseOption): Use it.
2008-09-13 * lisp/core.lisp.in (|$NativeTypeTable|): Don' include `pointer'dos-reis1-0/+10
and `buffer'. * lisp/Makefile.in (pointer_type): Remove. (edit): Tidy. * boot/ast.boot (nativeType): Tidy. Handle `pointer' and `buffer' here. * boot/translator.boot (genImportDeclaration): Tidy.
2008-09-13 * boot/translator.boot (AxiomCore::%sysInit) [ECL]: Removedos-reis1-0/+6
settings for ECL-base builds. (getIntermediateLispFile): Tidy.
2008-09-10 * interp/define.boot (displayMissingFunctions): Fix typo.dos-reis1-0/+4
2008-09-09 * lib/sockio-c.c (openaxiom_sleep): Move to open-axiom.h.dos-reis1-0/+15
* clef/edible.c: Include "open-axiom.h". Use openaxiom_sleep, not sleep. * graph/view2D/viewport2D.c: Likewise. * graph/viewAlone/spoon2D.c: Likewise. * graph/viewAlone/spoonComp.c: Likewise. * graph/viewman/fun2D.c: Likewise. * graph/viewman/fun3D.c: Likewise. * hyper/spadint.c: Likewise. * sman/session.c: Likewise. * sman/sman.c: Likewise.
2008-09-07 * boot/parser.boot (bpImport): Invert syntax for importing foreigndos-reis1-0/+7
functions. * boot/strap/parser.clisp: Update. * interp/sys-os.boot: Change to new syntax throughout.
2008-09-07 Ensure SingleFloat is 32-bit, DoubleFloat 64-bit.dos-reis1-0/+18
* interp/types.boot: Tidy. * interp/sys-constants.boot: Define limits for builtin numeric types. * interp/sys-os.boot: Import sys-constants. * interp/foam_l.lisp: Import sys-constants. Align builtin numeric types with OpenAxiom runtime's. * interp/fortcall.boot: Tidy. * interp/i-output.boot: Likewise. * interp/Makefile.pamphlet (foam_l.$(FASLEXT)): Now require sys-constants.$(FASLEXT). * algebra/si.spad.pamphlet: Use $ShortMinimum and $ShortMaximum for SingleInteger limits. * algebra/sf.spad.pamphlet: Use $DoubleFloatMaximum, $DoubleFloatMinimum for DoubleFloat limits. * algebra/strap: Update cached Lisp translation.
2008-09-07Fix HANDLE/socket mismatch.dos-reis1-0/+6
2008-09-07Fix compilation failure on MinGW.dos-reis1-0/+5
2008-09-06 * interp/sys-os.boot (openIP4ClientStreamSocket): New.dos-reis1-0/+18
(readFromStreamSocket): Likewise. (writeToStreamSocket): Likewise. (closeSocket): Likewise. * include/sockio.h: Include <arpa/inet.h> (oa_open_ip4_client_stream_socket): Declare. (oa_socket_write): Likewise. (oa_socket_read): Likewise. * lib/sockio-c.c (openaxiom_unload_socket_module): New. (openaxiom_load_socket_module): Tidy. (openaxiom_socket_is_invalid): New. (is_invalid_socket): Use it. (oa_open_ip4_client_stream_socket): Define. (oa_socket_read): Likewise. (oa_socket_write): Likewise.
2008-09-06(no commit message)dos-reis1-0/+4
2008-09-05 * interp/daase.lisp (processDir): Lose last argument. Don'tdos-reis1-0/+8
change directory. (localdatabase): Adjust call. * interp/lisplib.boot (getAllIndexPathnames): Take an argument. (getAllAldorObjectFiles): Likewise.
2008-09-05 * interp/g-util.boot (getTypeOfSyntax): Handle more ASTs.dos-reis1-0/+16
* algebra/syntax.spad.pamphlet (SpadSyntaxCategory): Add pretty-printer. (HeadAst): Use Identifier. (TypeAst,MappingAst,ImportAst,SignatureAst,AttributeAst,JoinAst, IfAst,RepeatAst,WhileAst,InAst,CollectAst,ConstructAst, ExitAst,ReturnAst,SequenceAst,LetAst,PretendAst,CoerceAst, RestrictAst,CallAst,SegmentAst): New domains. * algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add TYPEAST, IMPTAST, MAPPAST, ATTRAST, JOINAST, IFAST, RPTAST WHILEAST, INAST, CLLCAST, LSTAST, EXITAST, RETAST, SEGAST, PRTDAST, CRCAST, LETAST. * share/algebra: Update databases.
2008-09-02Use OpenAxiom in Hyperdoc pages.alfredoport1-0/+5
2008-09-02 * algebra/syntax.spad.pamphlet (Literal): New.dos-reis1-0/+11
(Identifier): Likewise. (Signature): Tidy. * algebra/exposed.lsp.pamphlet: Expose IDENT and LITERAL. * algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add LITERAL and IDENT. (user-stamp): Don't depend directly on bootstrap-stamp. * share/algebra/: Update databases.
2008-09-012008-09-01 Martin Rubey <martin.rubey@univie.ac.at>dos-reis1-0/+42
Gabriel Dos Reis <gdr@cs.tamu.edu> Fix AW/431 * algebra/ore.spad.pamphlet (SpareUnivariateSkewPolynomial): Implement **. 2008-09-01 Gabriel Dos Reis <gdr@cs.tamu.edu> Make ^ an alias for **. * interp/postpar.boot (postAtom): Replace "^" with "**". * interp/format.boot (reportOpSymbol): Announce that "^" is an alias for "**". * interp/nrungo.boot (compiledLookup): Be sure to look for "**" when operation is "^". * interp/define.boot (noteCapsuleFunctionDefinition): New. (clearCapsuleFunctionTable): Likewise. (noteExport): Likewise. (clearExportsTable): Likewise. (compDefineCapsuleFunction): Rename "^" to "**". Take a note of the capsule function being compiled. (compCapsule): Clear previous capsule functions table. (doItIf): Keep track of predicate validity. (compCategory): Clear previous exports table. (compCategoryItem): Take notes of declared attributes and signatures. * algebra/catdef.spad.pamphlet (DivisionRing): Remove duplicate definition for "^". (Group): Likewise. (Monoid): Likewise. (SemiGroup): Likewise. * algebra/poly.spad.pamphlet (PolynomialRing): Remove duplicate definitins of "^". (SparseUnivariatePolynomial): Likewise. * algebra/multpoly.spad.pamphlet (SparseMultivariatePolynomial): Remove duplicate definitions for "^". * algebra/interval.spad.pamphlet (Interval): Remove duplicate definition for "^". * algebra/curve.spad.pamphlet (FunctionFieldCategory): Remove duplicate declaration for represents. * algebra/strap/: Update cached Lisp translations. * share/algebra: Update databases.
2008-08-31 * algebra/stream.spad.pamphlet (Stream): Remove duplicate of concat.dos-reis1-0/+5
* algebra/naalgc.spad.pamphlet (FramedNonAssociativeAlgebra): disambiguate coordinates.
2008-08-31 * algebra/aggcat.spad.pamphlet (FiniteLinearAggregate): Removedos-reis1-0/+17
duplicate definition of reverse. * algebra/algcat.spad.pamphlet (FramedAlgebra): Remove duplicate definition of regularRepresentation. Explicitly disambiguate the argument of coodinates. * algebra/efupxs.spad.pamphlet (ElementaryFunctionsUnivariatePuiseuxSeries): Remove duplicate definition of asinhIfCan, acoshIfCan, asechIfCan, acshIfCan. * algebra/equation2.spad.pamphlet (Equation): Remove duplicate definition of *: (S,%) -> %. * algebra/fortpak.spad.pamphlet (MultiVariableCalculusFunctions): Remove duplicate definition of jacobian. * algebra/tree.spad.pamphlet (BinaryTree): Remove duplicate definition of empty.
2008-08-31Fix ChangeLog entrydos-reis1-3/+7