aboutsummaryrefslogtreecommitdiff
path: root/src/ChangeLog
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2014-02-02 08:34:07 +0000
committerdos-reis <gdr@axiomatics.org>2014-02-02 08:34:07 +0000
commitca207c84f9c3fb49a1fed906d5de6b2db547ad1d (patch)
tree81fa01f95a842f65025ec4d422942cc590c4bbf2 /src/ChangeLog
parent25421931c7f8055ac5dc6c73cb01fa41edcfb2e6 (diff)
downloadopen-axiom-ca207c84f9c3fb49a1fed906d5de6b2db547ad1d.tar.gz
Annual ChangeLog rotation
Diffstat (limited to 'src/ChangeLog')
-rw-r--r--src/ChangeLog1076
1 files changed, 0 insertions, 1076 deletions
diff --git a/src/ChangeLog b/src/ChangeLog
index 5a07ed50..e69de29b 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,1076 +0,0 @@
-2013-12-15 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- Fix SF/95.
- * include/vm.H (internal_type): Adjust.
- (internal_data): Likewise.
-
-2013-11-26 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * include/storage.H (Arena<T>::allocate): Adjust spelling of
- alignment query operator.
- (Arena<T>::Arena): Likewise.
- (HashTableEntry<T>): Adjust spelling of alignment specifier.
-
-2013-11-03 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * include/Charset.H (OpenAxiom): New.
-
-2013-07-04 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/sys-driver.boot (initializeGlobalState): Tell GCL not to
- use buggy fast links.
-
-2013-07-01 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/sys-utility.boot (makeFilename): Tidy.
-
-2013-07-01 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/g-util.boot (relativeDirname): New. Abstract differences
- between Common Lisp semantics and traditional semantics (GCL).
- * interp/c-util.boot (moveLibdirByCopy): Use it.
-
-2013-06-30 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * lisp/core.lisp.in (maxIndex): Provide function definition for
- the benefit of rotted GCL systems.
-
-2013-06-29 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * include/sockio.h (accept_connection): Take no argument.
- (server): Adjust type.
- * lib/sockio-c.c: Implement changes.
- * hyper/spadint.c (accept_menu_server_connection): Adjust use of
- server.
- * sman/session.c (manage_sessions): Likewise.
- * sman/sman.c (manage_spad_io): Likewise.
-
-2013-06-28 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * gui/conversation.cc (accumulate_paragraphs): Remove.
- (read_output): Remove.
- (OutputTextArea::add_paragraph): Rewrite.
- (Conversation::read_reply): Likewise.
-
-2013-06-27 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * src/rt: New directory. Move vm.cc and Lisp.cc here.
- * rt/Database.cc: New.
- * include/Database.H: Likewise.
- * include/Constructor.H: Likewise.
- * gui/server.h (Server): Cache database input souece.
- * gui/gui.pro.in (LIBS): Add core runtime library.
- * Makefile.am (oa_src_include_headers): Add Constructor.H and
- Database.H.
-
-2013-06-27 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * include/Lisp.H: New.
- * utils/Lisp.cc: Likewise.
- * gui/server.h (Server::lisp): Give access to embedded Lisp evaluator.
- * gui/main-window.cc (MainWind::read_databases): Use embedded Lisp
- evaluator.
- * include/vm.H: Move from src/utils/.
- * Makefile.am (oa_src_include_headers): Include vm.H.
-
-2013-06-27 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/lisplib.boot (compDefineLisplib): Close the file
- contained generated code before handing over to backend.
- * interp/c-util.boot (moveLibdirByCopy): The inferred destination
- directory is not absolute.
-
-2013-06-26 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * include/sexpr.H (Lexer): Remove.
- (Parser): Likewise.
- (Reader): New.
- * syntax/sexpr.cc: Propagate changes.
- * gui/main-window.h (MainWindow::read_databases): Declare.
- (MainWindow::display_error): Likewise.
- * gui/main-window.cc: Implement.
- * gui/gui.pro.in (LIBS): Include syntax library.
- * Makefile.am (oa_src_include_headers): Add sexpr.H. Fix build
- failure from previous commit.
-
-2013-06-24 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * include/sexpr.H: Move from utils.
- (UniqueAllocator): Remove.
- (SyntaxComparator): Likewise.
- * syntax/sexpr.cc: Move from utils.
-
-2013-06-24 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/cattable.boot (squeezeList): Remove.
- (squeeze1): Likewise.
- * interp/daase.lisp (*COMPRESSVECTOR*): Likewise.
- (*COMPRESSVECTORLENGTH*): Likewise.
- (*COMPRESS-STREAM*): Likewise.
- (*COMPRESS-STREAM-STAMP*): Likewise.
- (COMPRESSOPEN): Remove. Adjust callers.
- (unsqueezeCopy): Likewise.
- (WRITE-COMPRESS): Likewise.
- (SQUEEZE): Likewise.
- (UNSQUEEZE): Likewise.
- (MAKE-DATABASES): Do not write out compress.daase.
- * interp/database.boot (squeezeAll): Likewise.
-
-2013-06-24 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/sys-constants.boot ($BuiltinAttributes): Remove
- finiteAggregate and shallowlyMutable.
- * interp/daase.lisp (WRITE-COMPRESS): Do not push strings.
-
-2013-06-22 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * include/token.H (token::base_type): Renam from class_type.
- (token::value): Add unary, binary, and ternary overloads.
- * utils/sexpr.H (Sexpr::Token): Use token::value. Clean up.
-
-2013-06-22 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * include/SourceFile.H: New.
-
-2013-06-21 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * include/FileMapping.H: New.
-
-2013-06-21 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * include/dialect.H: New.
- * include/diagnostics.H: Likewise.
- * include/storage.H: Move from utils/.
-
-2013-06-20 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * include/diagnostics.H: New.
- * io/std-streams.cc: Likewise.
-
-2013-06-20 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * boot/scanner.boot (shoeToken): Allow inerts.
- * boot/ast.boot (bfInert): New.
- * boot/parser.boot (bpInert): New.
- (bpConstTok): Use it.
-
-2013-06-18 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/compiler.boot (compHasFormat): Take a DB parameter.
- Adjust callers.
- * interp/define.boot (ICformat): Likewise.
- * interp/lisplib.boot (predicateBitIndex): Likewise.
- (predicateBitRef): Likewise.
- (transHasCode): Likewise.
-
-2013-06-17 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/catdef.spad.pamphlet (CommutativeOperatorCategory): New.
- (CommutativeOperation): Likewise.
- * algebra/Makefile.am (oa_algebra_layer_0): Include them.
-
-2013-06-17 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/aggcat.spad.pamphlet (EltableAggregate): Weaken
- requirement on first parameter.
- (IndexedAggregate): Likewise.
-
-2013-06-17 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/catdef.spad.pamphlet (PartialDifferentialSpace): Weaken
- requirement on parameter.
- (PartialDifferentialRing): Likewise.
- (PartialDifferentialModule): Likewise.
-
-2013-06-17 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/parsers.spad.pamphlet: New.
- * algebra/script-parser.spad: Move content to parsers.spad.pamphlet.
- Remove.
- * algebra/spad-parser.spad: Likewise.
-
-2013-06-15 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/ht-util.boot (mkCurryFun): Import function name.
-
-2013-06-15 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * boot/tokens.boot (importSymbol): New builtin.
- * interp/br-saturn.boot (htpMakeEmptyPage): Use it.
-
-2013-06-15 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/database.boot (dbConstructorDefault): New accessor.
- (getCategoryConstructorDefault): New.
- * interp/define.boot (makeCategoryAlist): Use it.
- (hasDefaultPackage): Remove.
- (mkCategoryPackage): First parameter is now a DB. Take
- environment parameter too. Adjust caller.
- * interp/lisplib.boot (writeCategoryDefault): New.
- (finalizeLisplib): Call it when appropriate.
-
-2013-06-15 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/define.boot (makeCategoryPredicates): Tidy. Adjust caller.
-
-2013-06-14 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/c-util.boot (extendsCategoryForm): Take a DB parameter.
- Avoid special variables for current constructor form. Adjust callers.
- * interp/define.boot (compDefineCategory2): Register current
- constructor in environment.
-
-2013-06-14 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/lisplib.boot (writeSourceFile): Always write source file.
-
-2013-06-14 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/nruncomp.boot (NRTsetVector4Part1): Add environment parameter.
- Adjust caller.
- (NRTsetVector4a): Likewise. Avoid special variable for environment.
- * boot/utility.boot: Add and export substSource, substTarget.
- * interp/define.boot: Use them.
-
-2013-06-14 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/compiler.boot (categoryInstance?): New.
- (compColon): Use it for category definitions.
- * interp/c-util.boot: Add accessors for infovec parts.
- * boot/utility.boot (invertSubst): New. Export.
- * interp/Makefile.in ($(SAVESYS)): Remove --sysdb and --system-algebra.
-
-2013-06-13 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/define.boot (getvalue): Rename from GetValue.
- Take environment as second parameter. Adjust callers.
-
-2013-06-13 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/nruncomp.boot (listOfBoundVars): Take environment as
- second parameter. Adjust callers.
- (optDeltaEntry): Likewise.
-
-2013-06-05 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/define.boot (substSlotNumbers): Remove redundant check.
- * interp/lisplib.boot (NRTgenInitialAttributeAlist): Simplify.
- * interp/showimp.boot (dc): Likewise.
-
-2013-06-02 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- Make parser non-dependent on constructor databases.
- * interp/compiler.boot (instantiateNiladics!): New.
- (compileParseTree): Use it to expand niladict constructors.
- (instantiateNiladicsInList!): New.
- * interp/c-doc.boot (instantiateNiladicsInDoc!): New.
- (finalizeDocumentation): Use it.
-
-2013-06-01 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/define.boot (addInfo): Remove.
- (addinformation): Tidy.
-
-2013-06-01 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/define.boot (NRTgetLookupFunction): Take a cache table.
- Adjust caller.
- (NRTextendsCategory1): Likewise.
- (extendsCategory): Likewise.
- (extendsCategoryBasic): Likewise.
- (catExtendsCat?): Likewise.
- (getCategoryObjectIfCan): New.
- (getCategoryObject): Use it.
- * interp/lisplib.boot (getSlot1): Remove as unused.
-
-2013-06-01 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/category.boot (SigListUnion): Take a cache table. Adjust
- callers.
- (mkOr): Likewise.
- (mkOr2): Likewise.
- (mkAnd): Likewise.
- (mkAnd2): Likewise.
- (FindFundAncs): Likewise.
- (CatEval): Likewise.
- (ancestors?): Likewise.
- (descendant?): Likewise.
- (filterConditionalCategories): Likewise.
- * interp/functor.boot (ICformat): Likewise.
-
-2013-06-01 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/define.boot (getCategoryObject): New.
- * interp/functor.boot (InvestigateConditions): Use it.
- (getViewsConditions): Likewise.
- (getPossibleViews): Likewise.
-
-2013-06-01 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/category.boot (filterConditionalCategories): Fix thinko.
-
-2013-06-01 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- Support --output in compiler, for bootstrapping stage.
- * lisp/core.lisp.in (directoryEntries): New.
- * interp/lisplib.boot (compDefineLisplib): Tidy. Honor --output.
- (initializeLisplib): Rewrite.
- (lisplibDoRename): Likewise.
- * interp/nlib.lisp (RSHUT): Tidy.
- * interp/define.boot (getOutputPath): New.
- (compDefineFunctor): Use it.
- (compDefineCategory): Likewise.
- * interp/c-util.boot (%Libstream): Add field for output pathname.
- (dbOutputPath): New accessor.
- (moveLibdirByCopy): New.
- * include/cfuns.h (oa_acquire_temporary_pathname): Declare.
- (oa_release_temporary_pathname): Likewise.
- * lib/cfuns-c.c: Implement them.
- * interp/sys-os.boot: Define acquireTemporaryPathname.
- * boot/ast.boot (lispKey): New.
- (bfApplication): Use it.
- (bfExpandKeys): Likewise.
- * algebra/Makefile.am: Simplify bootstrapping rules.
-
-2013-05-31 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/nlib.lisp (getIndexIOStreamAndTable): New.
-
-2013-05-30 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/define.boot (knowInfo): Fix typo.
-
-2013-05-30 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/c-doc.boot (finalizeDocumentation): Take a DB parameter.
- Adjust callers.
- * interp/lisplib.boot (compileDocumentation): Likewise.
- (writeSourceFile): New.
- (writeInteractiveModemaps): Likewise.
- (writeDocumentation): Likewise.
-
-2013-05-29 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/lisp-backend.boot (compileLispDefinition): Remove.
- Adjust callers.
- (printBackendDecl): Lose first parameter. Adjust callers.
- * interp/slam.boot (compQuietly): Simplify.
- * interp/sys-utility.boot (COMPILE-DEFUN): Remove. Adjust callers.
- (EVAL-DEFUN): Likewise.
- * interp/sys-macros.lisp (MACROEXPANDALL): Remove as no longer used..
-
-2013-05-28 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/define.boot (compDefineCategory1): Take DB parameter.
- (compDefineCategory2): Likewise.
- (compDefineFunctor1): Likewise.
- * interp/lisplib.boot (compDefineLisplib): Likewise.
-
-2013-05-28 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/sys-globals.boot ($domainShell): Remove.
- * interp/c-util.boot (%CompilationData): Add shell field.
- (dbDomainShell): New accessor. Replace $domainShell variable.
-
-2013-05-27 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/compiler.boot(compNoStacking): Add DB parameter.
- Adjust callers.
- (comp2): Likewise.
- (comp3): Likewise.
- * interp/c-util.boot (currentDB): New.
- (currentConstructor): Remove. Adjust callers.
-
-2013-05-27 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/define.boot (compDefine): Take DB as first parameter.
- Adjust callers.
-
-2013-05-27 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/sys-utility.boot ($ERASE): Remove.
-
-2013-05-27 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/nlib.lisp ($FINDFILE): Move to sys-utility.boot.
-
-2013-05-27 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/nlib.lisp (MAKE-INPUT-FILENAME): Move to sys-utility.boot.
- * boot/ast.boot (bfIS1): Handle Lisp keywords.
-
-2013-05-26 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/nlib.lisp (GET-DIRECTORY-LIST): Move to sys-utility.boot.
-
-2013-05-26 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/lisplib.boot: Replace $FILEP with makeFullFilePath.
- * interp/setvars.boot: Likewise.
- * interp/nlib.lisp ($FILEP): Remove.
- ($OUTFILEP): Likewise.
-
-2013-05-26 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/sys-os.boot (getWorkingDirectory): New. Define via FFI.
- Replace all uses of GET-CURRENT-DIRECTORY.
- * interp/daase.lisp (GET-CURRENT-DIRECTORY): Remove.
-
-2013-05-26 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/nlib.lisp (MAKE-FULL-NAMESTRING): Move to sys-utility.boot.
- Rename to makeFullFilePath. Adjust callers.
-
-2013-05-26 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/boolean.spad.pamphlet (IndexedBits)[<]: Define in Spad.
- * interp/bits.lisp: Remove.
-
-2013-05-26 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/sys-utility.boot (makeFilename): Move from nlib.lisp.
- * interp/nlib.lisp (MAKE-FILENAME): Move to sys-utility.boot.
- Adjust callers.
- * boot/tokens.boot: Add new builtins: filePath, filePath?,
- filePathDirectory, filePathName, filePathString, filePathType,
- makeFilePath.
-
-2013-05-26 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/nlib.lisp (ADDOPTIONS): Move to sys-utility.boot.
- * interp/sys-utility.boot (addCompilerOption): Rename from ADDOPTIONS.
-
-2013-05-25 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/logic.spad.pamphlet: New file.
- * algebra/boolean.spad.pamphlet (Logic): Move there.
- (BooleanLogic): Likewise.
- (PropositionalLogic): Likewise.
- (PropositionalFormula): Likewise.
- (PropositionalFormulaFunctions1): Likewise.
- (PropositionalFormulaFunctions2): Likewise.
- (KleeneTrivalentLogic): Likewise.
-
-2013-05-25 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/cycles.spad.pamphlet (CycleIndicators) [spol]: Rename
- from nniBump. Fix thinko.
-
-2013-05-25 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/cycles.spad.pamphlet (alternating): Accept non-negative input.
-
-2013-05-25 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * utils/command.cc (print_usage): Document --verbose.
-
-2013-05-25 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/indexedp.spad.pamphlet (IndexedDirectProductObject):
- Define Rep, do not use base-domain form.
-
-2013-05-23 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/stream.spad.pamphlet (LazyStreamAggregate) [entries]:
- Define unconditionally, even it it does not make much sense in general.
-
-2013-05-22 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/sys-utility.boot (%Libstream): New.
-
-2013-05-21 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/aggcat.spad.pamphlet (ShallowlyMutableAggregate): Extend
- Aggregate only. Adjust users.
- (BagAggregate): Explicitly extend HomogeneousAggregate.
- (AssociationListAggregate): Extend ShallowlyMutableAggregate.
-
-2013-05-21 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/aggcat.spad.pamphlet (UnaryRecursiveAggregate) [map!]:
- Implement default.
- * algebra/list.spad.pamphlet (List) [map!]: Likewise.
-
-2013-05-20 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/database.boot (getConstructorAbbreviationFromDB): Use DB
- data structure directtly.
- (getConstructorKindFromDB): Likewise.
-
-2013-05-20 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/aggcat.spad.pamphlet (Collection) [find]: Move to
- FiniteAggregate.
-
-2013-05-19 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/derham.spad.pamphlet: Use Functorial.
- * algebra/equation2.spad.pamphlet: Likewise.
- * algebra/fr.spad.pamphlet: Likewise.
- * algebra/indexedp.spad.pamphlet: Likewise.
- * algebra/ituple.spad.pamphlet: Likewise.
- * algebra/mring.spad.pamphlet: Likewise.
- * algebra/polycat.spad.pamphlet: Likewise.
- * algebra/array2.spad.pamphlet: Remove redundant map export.
- * algebra/exposed.lsp.pamphlet: Expose Functorial.
- * algebra/matcat.spad.pamphlet: Likewise.
- * algebra/xpoly.spad.pamphlet: Likewise.
-
-2013-05-19 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- Eradicate attribute shallowlyMutable.
- * algebra/aggcat.spad.pamphlet: Use ShallowlyMutableAggregate.
- * algebra/defaults.spad.pamphlet: Likewise.
- * algebra/smith.spad.pamphlet: Likewise.
- * algebra/solvelin.spad.pamphlet: Likewise.
-
-2013-05-19 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/matfuns.spad.pamphlet: Use ShallowlyMutableAggregate.
-
-2013-05-19 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/matcat.spad.pamphlet: Use ShallowlyMutableAggregate.
-
-2013-05-19 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/aggcat2.spad.pamphlet: Use ShallowlyMutableAggregate.
-
-2013-05-19 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/newdata.spad.pamphlet (SplittingTree): Include
- ShallowlyMutableAggregate S in exports.
- * algebra/polset.spad.pamphlet (GeneralPolynomialSet): Inlcude
- ShallowlyMutableAggregate P.
- * algebra/triset.spad.pamphlet (TriangularSetCategory): Likewise.
-
-2013-05-19 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- Eradicate attribute finiteAggregate.
- * algebra/aggcat.spad.pamphlet (HomogeneousAggregate): Remove
- exports conditional aatribute finiteAggregate.
- (TableAggregate): Remove spirous definitions.
- * algebra/stream.spad.pamphlet (LazyStreamAggregate): Put
- definitions for FiniteAgregate exports under appropriate condition.
-
-2013-05-19 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/aggcat.spad.pamphlet (Aggregate) [#]: Remove export.
- (UnaryRecursiveAggregate): Make definiton conditional.
- * algebra/stream.spad.pamphlet (LazyStreamAggregate): Likewise.
-
-2013-05-19 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/define.boot (compDefineFunctor1): Use the current
- instantiation form when adding modemaps from category.
- (partialSignature?): New.
- (refineDefinitionSignature): Use full completion from getSignature.
- * interp/compiler.boot (compIterator): Simplify.
-
-2013-05-19 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/define.boot (sourceMatches): New.
- (getDollarName): Likewise.
- (getSignature): Them. Tidy.
- (setDollarName): New.
- (compDefineFunctor1): Use it.
-
-2013-05-18 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/define.boot (getSignature): Third parameter need not be fluid.
-
-2013-05-18 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/define.boot (getSignature): Tidy.
-
-2013-05-18 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/cycles.spad.pamphlet (CycleIndicators) [nniBump]: New
- local function.
- [SFunction]: Use it.
-
-2013-05-18 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/cycles.spad.pamphlet (CycleIndicators)
- [complete,alternating]: Change input type to NonNegativeInteger.
-
-2013-05-18 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/define.boot (knownPred): Take a memo-table as third parameter.
-
-2013-05-18 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/aggcat.spad.pamphlet (FiniteAgregate): Remove attribute
- finiteAggregate.
-
-2013-05-18 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/aggcat.spad.pamphlet (Collection) [reduce]: Remove.
- Remove redundant defaults.
-
-2013-05-18 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/aggcat.spad.pamphlet (HomogeneousAggregate): Move
- defaults for = and coerce to FiniteAggregate. Remove the rest.
-
-2013-05-18 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/aggcat.spad.pamphlet (FiniteAggregate) [reduce]: Add
- overloads.
-
-2013-05-18 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/aggcat.spad.pamphlet (HomogeneousAggregate) [parts]: Remove.
- * algebra/permgrps.spad.pamphlet: Use members, not parts.
-
-2013-05-18 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/aggcat2.spad.pamphlet: Use members, not parts.
- * algebra/algcat.spad.pamphlet: Likewise.
- * algebra/cden.spad.pamphlet: Likewise.
- * algebra/clifford.spad.pamphlet: Likewise.
- * algebra/divisor.spad.pamphlet: Likewise.
- * algebra/galfact.spad.pamphlet: Likewise.
- * algebra/lodof.spad.pamphlet: Likewise.
- * algebra/naalgc.spad.pamphlet: Likewise.
- * algebra/oderf.spad.pamphlet: Likewise.
- * algebra/rule.spad.pamphlet: Likewise.
- * algebra/space.spad.pamphlet: Likewise.
- * algebra/view3D.spad.pamphlet: Likewise.
- * algebra/zerodim.spad.pamphlet: Likewise.
-
-2013-05-18 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/array1.spad.pamphlet: Define members, not parts.
- * algebra/array2.spad.pamphlet: Likewise.
- * algebra/bags.spad.pamphlet: Likewise.
- * algebra/list.spad.pamphlet: Likewise.
- * algebra/lmdict.spad.pamphlet: Likewise.
- * algebra/mset.spad.pamphlet: Likewise.
- * algebra/polset.spad.pamphlet: Likewise.
- * algebra/regset.spad.pamphlet: Likewise.
- * algebra/sets.spad.pamphlet: Likewise.
- * algebra/sregset.spad.pamphlet: Likewise.
- * algebra/string.spad.pamphlet: Likewise.
- * algebra/tree.spad.pamphlet: Likewise.
- * algebra/triset.spad.pamphlet: Likewise.
- * algebra/vector.spad.pamphlet: Likewise.
-
-2013-05-18 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/aggcat.spad.pamphlet: Tidy.
-
-2013-05-17 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/mset.spad.pamphlet (Multiset) [unique]: Rename from
- members to avoid semantics clash.
-
-2013-05-17 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/aggcat.spad.pamphlet: Replace uses of parts by members.
-
-2013-05-17 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/attreg.spad.pamphlet (AttributeRegistry): Remove
- shallowlyMutble.
- * algebra/aggcat.spad.pamphlet (BagAggregate): Extend
- ShallowlyMutableAggregate.
- (ExtensibleLinearAggregate): Likewise.
- * algebra/mset.spad.pamphlet (Multiset): Likewise.
- * algebra/tree.spad.pamphlet (Tree): Likewise.
-
-2013-05-17 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/tree.spad.pamphlet(BinaryTreeCategory): Extend
- ShallowlyMutableAggregate S.
- (BinarySearchTree): Remove redundant shallowlyMutable attribute.
- (BalancedBinaryTree): Likewise.
-
-2013-05-17 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/aggcat.spad.pamphlet (ShallowlyMutableAggregate): New.
-
-2013-05-17 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/aggcat.spad.pamphlet (FiniteAggregate): More defaults.
- (Aggregate): Remove default implementation of empty?
-
-2013-05-17 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/aggcat.spad.pamphlet (FiniteAggregate): Add default
- implementation for empty?.
-
-2013-05-17 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/aggcat.spad.pamphlet (TableAggregate): Now extend
- FiniteAggregate Record(key:Key,entry:Entry).
- * algebra/files.spad.pamphlet (KeyedAccessFile): Remove
- finiteAggregate attribute.
- * algebra/table.spad.pamphlet (HashTable): Likewise.
- (InnerTable): Likewise.
- (Table): Likewise.
-
-2013-05-16 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/aggcat.spad.pamphlet (KeyedDictionary): Now extend
- IndexedAggregate too. Give default implementation for elt.
- (TableAggregate): Simplify.
-
-2013-05-16 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/ffp.spad.pamphlet (FiniteFieldExtensionByPolynomial)
- [tableForDiscreteLogarithm]: Don't use pretend where checked
- coercion is intended.
- * algebra/pf.spad.pamphlet (InnerPrimeField)
- [tableForDiscreteLogarithm]: Likewise.
-
-2013-05-16 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/aggcat.spad.pamphlet (AssociationListAggregate) [assoc]:
- Change return type to instance of Maybe.
- * algebra/list.spad.pamphle (AssociationList): Reflect change.
-
-2013-05-16 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/sortpak.spad.pamphlet (SortPackage): Have second
- parameter satisfy FiniteAggregate A instead of requiring attribute
- finiteAggregate.
- * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Now
- extends FiniteAggregate. Remove finiteAggregate attribute.
-
-2013-05-16 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/polset.spad.pamphlet (GeneralPolynomialSet): Remove
- redundant FiniteAggregate.
- * algebra/triset.spad.pamphlet (TriangularSetCategory): Likewise.
-
-2013-05-16 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/aggcat.spad.pamphlet (FiniteAggregate): Temporarily
- include attribute finiteAggregate.
- (StackAggregate): Extend category FiniteAggregate instead of
- attribute finiteAggregate.
- (QueueAggregate): Likewise.
- (PriorityQueueAggregate): Likewise.
- (FiniteSetAggregate): Likewise.
- * algebra/lmdict.spad.pamphlet (ListMultiDictionary): Likewise.
- * algebra/matcat.spad.pamphlet (MatrixCategory): Likewise.
- * algebra/mset.spad.pamphlet (Multiset): Likewise.
- * algebra/newdata.spad.pamphlet (SplittingTree): Likewise.
- * algebra/polset.spad.pamphlet (PolynomialSetCategory): Likewise.
- * algebra/tree.spad.pamphlet (Tree): Likewise.
- (BinaryTreeCategory): Likewise.
- * algebra/triset.spad.pamphlet (TriangularSetCategory): Likewise.
- * algebra/vector.spad.pamphlet (DirectProductCategory): Likewise.
-
-2013-05-16 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/data.spad.pamphlet (Byte): Remove redundant
- finiteAggregate attribute.
- * algebra/tree.spad.pamphlet (BinaryTreeCategory): Likewise.
- (BinarySearchTree): Likewise.
- (BalancedBinaryTree): Likewise.
-
-2013-05-15 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/aggcat.spad.pamphlet (FiniteAggregate): New.
- * algebra/exposed.lsp.pamphlet: Expose it.
-
-2013-05-15 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/compiler.boot (unknownTypeError): Simplify.
- * interp/define.boot (dbClearForCompilation!): Clear more fields.
-
-2013-05-15 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/compiler.boot (comp2): Leave categories alone.
-
-2013-05-15 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/compiler.boot (comp2): Don't test for $bootStrapMode.
-
-2013-05-15 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/daase.lisp (dbDocumentation): New accessor.
-
-2013-05-15 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/define.boot (dbClearForCompilation!): New.
- (compDefineFunctor1): Use it.
-
-2013-05-15 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/nruncomp.boot (NRTputInHead): Tidy.
-
-2013-05-14 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/g-opt.boot (quoteMode): New.
- (optRetract): Use it.
- (optPullback): Likewise.
-
-2013-05-14 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/define.boot (checkAndDeclare): Constructor parameter
- shadowing.
- * algebra/lodof.spad.pamphlet (SetOfMIntegersInOneToN): [enum]:
- Lose last parameter. Adjust callers.
-
-2013-05-14 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/c-util.boot (cleanParameterList!): New.
- * interp/define.boot (spadCompileOrSetq): Use it.
-
-2013-05-14 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory):
- Remove redundant declaration for parts.
-
-2013-05-14 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Test
- for BasicType satisfaction instead of existence of =.
-
-2013-05-14 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray) [map]:
- Move implementation from TwoDimensionalArrayCategory.
-
-2013-05-14 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Move
- defaults to InnerTwoDimensionalArray.
-
-2013-05-14 Edi Meier <liste_franken@gmx.de>
-
- * graph/include/G.h (GCstruct::GCchar): Increase length to 12.
-
-2013-05-14 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray)
- [row, column]: Fix off-by-one thinko.
-
-2013-05-13 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Move
- row column implementation to InnerTwoDimensionalArray.
- (InnerTwoDimensionalArray): Simplify row and column implementation.
-
-2013-05-13 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray): Inherit
- empty? and empty from base domain.
- (TwoDimensionalArray): Attribute shallowlyMutable is already
- specified by TwoDimensionalArrayCategory.
- * algebra/matcat.spad.pamphlet (MatricCategory): Attributes
- shallowlyMutable and finiteAggregate are already specified by
- TwoDimensionalArrayCategory.
-
-2013-05-13 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/array1.spad.pamphlet (IndexedOneDimensionalArray): Tidy.
-
-2013-05-13 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/g-opt.boot (%array2list): New side-effect free opcode.
- * interp/lisp-backend.boot: Expand it.
- * algebra/array1.spad.pamphlet (PrimitiveArray): Implement
- maxIndex, parts, and members.
-
-2013-05-12 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/vector.spad.pamphlet (IndexedVector): Remove.
- (Vector): Use OneDimensionalArray as base domain for implementation.
- * algebra/Makefile.am: Update.
-
-2013-05-12 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/carten.spad.pamphlet (CartesianTensor): Use
- PrimitiveArray in lieu of 0-based IndexedVector.
-
-2013-05-12 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/database.boot (getConstructorModemap): Revert previous change.
-
-2013-05-11 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/matrix.spad.pamphlet (RectangularMatrix) [ZERO]: Remove.
- (SquareMatrix) [ZERO, ONE]: Likewise.
-
-2013-05-11 Gabriel Dos Reis <gdr@integrable-solutions.net>
- Waldek Hebisch <hebisch@math.uni.wroc.pl>
-
- * algebra/catdef.spad.pamphlet (OrderedRing): Extend
- CharactericZero too.
-
-2013-05-11 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray): Rename
- from InnerIndexedTwoDimensionalArray. Adjust users.
-
-2013-05-11 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/database.boot (getConstructorModemap): Try to load fresh
- module first before looking into cached database data.
- * algebra/Makefile.am (oa_algebra_layer_11): Remove IARRAY2.
- * algebra/array2.spad.pamphlet (InnerIndexedTwoDimensionalArray):
- Drop starting index parameters. Tidy. Adjust users.
- (IndexedTwoDimensionalArray): Remove as unused.
-
-2013-05-11 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/array2.spad.pamphlet: Clean up.
-
-2013-05-11 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/indexedp.spad.pamphlet
- (IndexedDirectProductAbelianMonoid) [opposite?]: Implement.
-
-2013-05-10 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/matrix.spad.pamphlet (IndexedMatrix): Remove as unused.
- * algebra/Makefile.am (oa_algebra_layer_12): Remove IMATRIX.
-
-2013-05-10 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/g-opt.boot (optEmptyArray): New expander. Register.
- (optSimpleArray): Likewise.
- (optList2Array): Likewise.
- * interp/lisp-backend.boot: Expand %elementType, %initialElement,
- %initialContents, %array, %type2form opcodes.
- * algebra/array1.spad.pamphlet (PrimitiveArray): Tidy.
-
-2013-05-10 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/indexedp.spad.pamphlet
- (IndexedDirectProductOrderedAbelianMonoid) [<]: Rewrite iteratively.
-
-2013-05-10 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/catdef.spad.pamphlet (AbelianMonoid) [opposite?]: New.
- (Rng)[annihilate?]: New.
- (EntireRing) [annihilate?]: Implement.
- * algebra/integer.spad.pamphlet (Integer): Implement new exports.
-
-2013-05-09 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/lexing.boot (Keywords): Add "do".
- * interp/spad-parser.boot (parseBlock): New.
- (parseDo): Likewise. Register for do-statements.
- * interp/compiler.boot (compDo): New. Handle do-statements.
-
-2013-05-09 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/indexedp.spad.pamphlet (IndexedDirectProductObject)
- [combineWithIf]: New.
-
-2013-05-09 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/i-special.boot (evalIF): Generate OIL intermediate
- instruction %otherwise, not Lisp expression T.
- * interp/slam.boot (isRecurrenceRelation): Likewise.
-
-2013-05-08 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/list.spad.pamphlet (List) [copy]: Simplify.
- * interp/g-opt.boot (%lcopy): New side-effect free builtin.
- * interp/lisp-backend.boot: Translate it.
-
-2013-05-08 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/c-util.boot (almostPure?): New.
- (foldExportedFunctionReferences): Use it.
-
-2013-05-07 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/vector.spad.pamphlet (LinearElement) [corodinates]: Tidy.
- (LineraForm) [coordinates]: Likewise.
-
-2013-05-07 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/indexedp.spad.pamphlet (IndexedDirectProductCategory):
- Now extends ConvertibleFrom IndexedProductTerm(A,S).
- (IndexedDirectProductObject): Simplify.
- (IndexedDirectProductAbelianMonoid): Tidy.
- (IndexedDirectProductOrderedAbelianMonoid): Likewise.
-
-2013-05-07 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/indexedp.spad.pamphlet (IndexedProductTerm): New domain.
-
-2013-04-07 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * gui/widget.h: Remove. Qt's meta object system does no play nice
- with modern C++ idioms.
-
-2013-04-07 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * utils/command.cc (args_count): New.
- (execute_core): Use it. Tidy.
- (Arguments::Arguments): Tidy.
-
-2013-04-06 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * gui/server.h: New.
- * gui/server.cc: Likewise..
- * gui/gui.pro.in (HEADERS): Update.
- (SOURCES): Likewise.
-
-2013-04-05 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * include/token.H: New.
- * syntax/token.cc: Likewise.
- * syntax/Makefile.am: Likewise.
- * Makefile.am (DIST_SUBDIRS): Add syntax.
- (oa_src_include_headers): Add Input.H, token.H.
-
-2013-04-04 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * algebra/Makefile.am: New.
- * algebra/Makefile.in: Generate content from Makefile.am.
-
-2013-04-03 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * include/Input.H: New.
- * include/defaults.H: Likewise.
- * include/iterator.H: Likewise.
- * include/structure.H: Likewise.
- * io/Input.cc: Likewise.
- * Makefile.am (DIST_SUBDIRS): Include io.
- (subdirs): Likewise.
- (oa_src_include_headers): New.
- (all-headers): New rule.
- (mostlyclean-local): Remove target include directory too.
- * gui/gui.pro.in: Update with new dependency.
-
-2013-04-02 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * gui/conversation.h (Question::leaveEvent): Remove.
- (Question::focusOutEvent): Likewise.
- * gui/conversation.cc: Remove corresponding definitions.
-
-2013-04-02 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * gui/conversation.cc (font_units): Rename from em_metrics.
- Adjust callers.
- (Answer::Answer): Use raised frame style.
-
-2013-03-31 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * lib/sockio-c.c (get_float): Remove unused local variable val.
- * lib/pixmap.c (read_pixmap_file): Remove unused local variable status.
- * lib/openpty.c (makeNextPtyNames): Guard declaration by CPP macro.
- * lib/fnct_key.c (define_function_keys): Remove unused local
- variable saved_echo.
- * lib/XSpadFill.c (XInitSpadFill): Remove unused local variable
- maxDither.
- * graph/viewman/fun2D.c (funView2D): Remove declaration of unused
- local variable code.
- * graph/viewman/fun3D.c (funView3D): Likewise.
-
-2013-03-31 Gabriel Dos Reis <gdr@integrable-solutions.net>
-
- * interp/pile.boot (insertpile): Tidy.
- (pilePlusComments): Likewise.
- (pileTree): Likewise.
- (eqpileTree): Likewise.
-