aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2013-05-28Have constructor definition compilers take a DB parameter.dos-reis3-24/+28
2013-05-28 Remove $domainShell.dos-reis7-31/+40
2013-05-28Add DB parameter to more compiler functionsdos-reis3-83/+89
2013-05-28Add DB parameter to compNoStackingdos-reis5-30/+37
2013-05-28Have compDefine take a DB parameterdos-reis4-10/+22
2013-05-27Add DB parameters to finalization functions.dos-reis3-15/+15
2013-05-27Introduce a data structure for ephemeral compilation artifactsdos-reis3-9/+20
2013-05-27Clear constructor DB right before compiling definition.dos-reis2-1/+2
2013-05-27 * interp/sys-utility.boot ($ERASE): Remove.dos-reis8-17/+23
2013-05-27Define copyFile via FFI.dos-reis2-7/+8
2013-05-27Rename $FINDFILE to findFile/dos-reis7-22/+21
2013-05-27Rename MAKE-FULL-FILENAME to makeFullFilename.dos-reis16-51/+57
2013-05-27 * interp/nlib.lisp (GET-DIRECTORY-LIST): Move to sys-utility.boot.dos-reis3-13/+16
2013-05-27Remove and .dos-reis5-11/+19
2013-05-27Define getWorkingDirectory via FFI.dos-reis6-18/+16
2013-05-26Rename MAKE-FULL-NAMESTRING to makeFullFilePath and implement in Boot.dos-reis4-12/+18
2013-05-26Define lexicographical ordering on Bits in Spaddos-reis7-66/+17
2013-05-26Rename MAKE-FILENAME to makeFilename and re-implement in Boot.dos-reis11-100/+101
2013-05-26Rename ADDPTIONS to addCompilerOption and implement in Boot.dos-reis4-10/+13
2013-05-26Revert accidental commit.dos-reis3-21/+16
2013-05-26 * algebra/logic.spad.pamphlet: New file.dos-reis5-497/+569
* algebra/boolean.spad.pamphlet (Logic): Move there. (BooleanLogic): Likewise. (PropositionalLogic): Likewise. (PropositionalFormula): Likewise. (PropositionalFormulaFunctions1): Likewise. (PropositionalFormulaFunctions2): Likewise. (KleeneTrivalentLogic): Likewise.
2013-05-26Fix test for inexistent IMAXTRIXdos-reis1-33/+0
2013-05-25 * algebra/cycles.spad.pamphlet (CycleIndicators) [spol]: Renamedos-reis2-5/+9
from nniBump. Fix thinko.
2013-05-25 * algebra/cycles.spad.pamphlet (alternating): Accept non-negative inputdos-reis7-14/+18
2013-05-25 * utils/command.cc (print_usage): Document --verbose.dos-reis2-0/+6
2013-05-25 * algebra/indexedp.spad.pamphlet (IndexedDirectProductObject):dos-reis2-1/+8
Define Rep, do not use base-domain form.
2013-05-24Add testcase from Edi Meier.dos-reis1-0/+3
2013-05-23 * algebra/stream.spad.pamphlet (LazyStreamAggregate) [entries]:dos-reis2-12/+17
Define unconditionally, even it it does not make much sense in general.
2013-05-22Replace Lisp-level structure with Boot datatypedos-reis6-45/+51
2013-05-22Replace OPTIONLIST with $compilerOptionsdos-reis6-17/+23
2013-05-22Tidy src/algebra/Makefile.amdos-reis2-30/+20
2013-05-22 * algebra/aggcat.spad.pamphlet (ShallowlyMutableAggregate): Extenddos-reis11-80/+87
Aggregate only. Adjust users. (BagAggregate): Explicitly extend HomogeneousAggregate. (AssociationListAggregate): Extend ShallowlyMutableAggregate.
2013-05-21 * algebra/aggcat.spad.pamphlet (UnaryRecursiveAggregate) [map!]:dos-reis3-7/+20
Implement default. * algebra/list.spad.pamphlet (List) [map!]: Likewise.
2013-05-21Refactor src/algebra/Makefile.amdos-reis6-372/+156
2013-05-21Fix typos.dos-reis2-12/+12
2013-05-21Remove stale targetsdos-reis2-330/+14
2013-05-21Use DB data structure directly.dos-reis3-11/+5
2013-05-20 * interp/database.boot (getConstructorAbbreviationFromDB): Use DBdos-reis2-1/+7
data structure directtly.
2013-05-20 * algebra/aggcat.spad.pamphlet (Collection) [find]: Move todos-reis7-1349/+1354
FiniteAggregate.
2013-05-20 Use Functorial more often.dos-reis20-2672/+2696
2013-05-20Add Functorial categorydos-reis12-18182/+18280
2013-05-20Fix up thinkosdos-reis7-18063/+18081
2013-05-20Update databasesdos-reis5-786/+783
2013-05-20Tidy KeyedDictionarydos-reis1-2/+3
2013-05-19Eradicate attribute shallowlyMutable.dos-reis10-18097/+18081
2013-05-19Use ShallowlyMutableAggregate.dos-reis8-812/+810
2013-05-19 * algebra/matfuns.spad.pamphlet: Use ShallowlyMutableAggregate.dos-reis2-5/+9
2013-05-19 * algebra/matcat.spad.pamphlet: Use ShallowlyMutableAggregate.dos-reis2-2/+6
2013-05-19 * algebra/aggcat2.spad.pamphlet: Use ShallowlyMutableAggregate.dos-reis2-2/+6
2013-05-19 * algebra/newdata.spad.pamphlet (SplittingTree): Includedos-reis10-1095/+1080
ShallowlyMutableAggregate S in exports. * algebra/polset.spad.pamphlet (GeneralPolynomialSet): Inlcude ShallowlyMutableAggregate P. * algebra/triset.spad.pamphlet (TriangularSetCategory): Likewise.