open-axiom - open scientific computation system

Age	Commit message (Collapse)	Author	Files	Lines
2013-05-29	Misc backend cleanup.	dos-reis	4	-32/+23

2013-05-29	Add DB parameter to middle end functions.	dos-reis	4	-13/+13

2013-05-29	Misc cleanups.	dos-reis	17	-45/+17

2013-05-29	Misc cleanup.	dos-reis	4	-65/+60

2013-05-29	Remove Lispy junks	dos-reis	7	-28/+14

2013-05-28	Remove special variable $libFile	dos-reis	6	-85/+74

2013-05-28	Various cleanups.	dos-reis	6	-35/+15

2013-05-28	Have constructor definition compilers take a DB parameter.	dos-reis	3	-24/+28

2013-05-28	Remove $domainShell.	dos-reis	7	-31/+40

2013-05-28	Add DB parameter to more compiler functions	dos-reis	3	-83/+89

2013-05-28	Add DB parameter to compNoStacking	dos-reis	5	-30/+37

2013-05-28	Have compDefine take a DB parameter	dos-reis	4	-10/+22

2013-05-27	Add DB parameters to finalization functions.	dos-reis	3	-15/+15

2013-05-27	Introduce a data structure for ephemeral compilation artifacts	dos-reis	3	-9/+20

2013-05-27	Clear constructor DB right before compiling definition.	dos-reis	2	-1/+2

2013-05-27	* interp/sys-utility.boot ($ERASE): Remove.	dos-reis	8	-17/+23

2013-05-27	Define copyFile via FFI.	dos-reis	2	-7/+8

2013-05-27	Rename $FINDFILE to findFile/	dos-reis	7	-22/+21

2013-05-27	Rename MAKE-FULL-FILENAME to makeFullFilename.	dos-reis	16	-51/+57

2013-05-27	* interp/nlib.lisp (GET-DIRECTORY-LIST): Move to sys-utility.boot.	dos-reis	3	-13/+16

2013-05-27	Remove and .	dos-reis	5	-11/+19

2013-05-27	Define getWorkingDirectory via FFI.	dos-reis	6	-18/+16

2013-05-26	Rename MAKE-FULL-NAMESTRING to makeFullFilePath and implement in Boot.	dos-reis	4	-12/+18

2013-05-26	Define lexicographical ordering on Bits in Spad	dos-reis	7	-66/+17

2013-05-26	Rename MAKE-FILENAME to makeFilename and re-implement in Boot.	dos-reis	11	-100/+101

2013-05-26	Rename ADDPTIONS to addCompilerOption and implement in Boot.	dos-reis	4	-10/+13

2013-05-26	Revert accidental commit.	dos-reis	3	-21/+16

2013-05-26	* algebra/logic.spad.pamphlet: New file.	dos-reis	5	-497/+569
	* algebra/boolean.spad.pamphlet (Logic): Move there. (BooleanLogic): Likewise. (PropositionalLogic): Likewise. (PropositionalFormula): Likewise. (PropositionalFormulaFunctions1): Likewise. (PropositionalFormulaFunctions2): Likewise. (KleeneTrivalentLogic): Likewise.
2013-05-26	Fix test for inexistent IMAXTRIX	dos-reis	1	-33/+0

2013-05-25	* algebra/cycles.spad.pamphlet (CycleIndicators) [spol]: Rename	dos-reis	2	-5/+9
	from nniBump. Fix thinko.
2013-05-25	* algebra/cycles.spad.pamphlet (alternating): Accept non-negative input	dos-reis	7	-14/+18

2013-05-25	* utils/command.cc (print_usage): Document --verbose.	dos-reis	2	-0/+6

2013-05-25	* algebra/indexedp.spad.pamphlet (IndexedDirectProductObject):	dos-reis	2	-1/+8
	Define Rep, do not use base-domain form.
2013-05-24	Add testcase from Edi Meier.	dos-reis	1	-0/+3

2013-05-23	* algebra/stream.spad.pamphlet (LazyStreamAggregate) [entries]:	dos-reis	2	-12/+17
	Define unconditionally, even it it does not make much sense in general.
2013-05-22	Replace Lisp-level structure with Boot datatype	dos-reis	6	-45/+51

2013-05-22	Replace OPTIONLIST with $compilerOptions	dos-reis	6	-17/+23

2013-05-22	Tidy src/algebra/Makefile.am	dos-reis	2	-30/+20

2013-05-22	* algebra/aggcat.spad.pamphlet (ShallowlyMutableAggregate): Extend	dos-reis	11	-80/+87
	Aggregate only. Adjust users. (BagAggregate): Explicitly extend HomogeneousAggregate. (AssociationListAggregate): Extend ShallowlyMutableAggregate.
2013-05-21	* algebra/aggcat.spad.pamphlet (UnaryRecursiveAggregate) [map!]:	dos-reis	3	-7/+20
	Implement default. * algebra/list.spad.pamphlet (List) [map!]: Likewise.
2013-05-21	Refactor src/algebra/Makefile.am	dos-reis	6	-372/+156

2013-05-21	Fix typos.	dos-reis	2	-12/+12

2013-05-21	Remove stale targets	dos-reis	2	-330/+14

2013-05-21	Use DB data structure directly.	dos-reis	3	-11/+5

2013-05-20	* interp/database.boot (getConstructorAbbreviationFromDB): Use DB	dos-reis	2	-1/+7
	data structure directtly.
2013-05-20	* algebra/aggcat.spad.pamphlet (Collection) [find]: Move to	dos-reis	7	-1349/+1354
	FiniteAggregate.
2013-05-20	Use Functorial more often.	dos-reis	20	-2672/+2696

2013-05-20	Add Functorial category	dos-reis	12	-18182/+18280

2013-05-20	Fix up thinkos	dos-reis	7	-18063/+18081

2013-05-20	Update databases	dos-reis	5	-786/+783