open-axiom - open scientific computation system

Age	Commit message (Collapse)	Author	Files	Lines
2013-05-28	Have constructor definition compilers take a DB parameter.	dos-reis	2	-24/+21

2013-05-28	Remove $domainShell.	dos-reis	6	-31/+34

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	4	-30/+28

2013-05-28	Have compDefine take a DB parameter	dos-reis	3	-10/+17

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	7	-17/+19

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

2013-05-27	Rename $FINDFILE to findFile/	dos-reis	6	-22/+17

2013-05-27	Rename MAKE-FULL-FILENAME to makeFullFilename.	dos-reis	11	-45/+41

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

2013-05-27	Remove and .	dos-reis	3	-11/+8

2013-05-27	Define getWorkingDirectory via FFI.	dos-reis	5	-18/+10

2013-05-26	Rename MAKE-FULL-NAMESTRING to makeFullFilePath and implement in Boot.	dos-reis	2	-11/+11

2013-05-26	Define lexicographical ordering on Bits in Spad	dos-reis	5	-64/+3

2013-05-26	Rename MAKE-FILENAME to makeFilename and re-implement in Boot.	dos-reis	4	-37/+26

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

2013-05-22	Replace Lisp-level structure with Boot datatype	dos-reis	5	-45/+47

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

2013-05-21	Use DB data structure directly.	dos-reis	2	-11/+4

2013-05-20	* interp/database.boot (getConstructorAbbreviationFromDB): Use DB	dos-reis	1	-1/+2
	data structure directtly.
2013-05-19	* interp/define.boot (compDefineFunctor1): Use the current	dos-reis	2	-16/+13
	instantiation form when adding modemaps from category. (partialSignature?): New. (refineDefinitionSignature): Use full completion from getSignature. * interp/compiler.boot (compIterator): Simplify.
2013-05-19	* interp/define.boot (sourceMatches): New.	dos-reis	1	-2/+28
	(getDollarName): Likewise. (getSignature): Them. Tidy. (setDollarName): New. (compDefineFunctor1): Use it.
2013-05-19	* interp/define.boot (getSignature): Third parameter need not be fluid.	dos-reis	1	-4/+4

2013-05-19	Tidy getSignature	dos-reis	1	-8/+6

2013-05-19	* interp/define.boot (knownPred): Take a memo-table as third parameter.	dos-reis	1	-19/+39

2013-05-16	* interp/compiler.boot (unknownTypeError): Simplify.	dos-reis	2	-4/+10
	* interp/define.boot (dbClearForCompilation!): Clear more fields.
2013-05-15	* interp/compiler.boot (comp2): Leave categories alone.	dos-reis	1	-2/+3

2013-05-15	* interp/compiler.boot (comp2): Don't test for $bootStrapMode.	dos-reis	1	-2/+1

2013-05-15	Fix typo	dos-reis	1	-1/+1

2013-05-15	Add DB documentation accessor	dos-reis	1	-0/+3

2013-05-15	* interp/define.boot (dbClearForCompilation!): New.	dos-reis	1	-3/+8
	(compDefineFunctor1): Use it.
2013-05-15	* interp/nruncomp.boot (NRTputInHead): Tidy.	dos-reis	1	-15/+16

2013-05-15	* interp/g-opt.boot (quoteMode): New.	dos-reis	1	-3/+9
	(optRetract): Use it. (optPullback): Likewise.
2013-05-15	* interp/define.boot (checkAndDeclare): Constructor parameter	dos-reis	1	-4/+6
	shadowing. * algebra/lodof.spad.pamphlet (SetOfMIntegersInOneToN): [enum]: Lose last parameter. Adjust callers.
2013-05-14	* interp/c-util.boot (cleanParameterList!): New.	dos-reis	5	-15/+25
	* interp/define.boot (spadCompileOrSetq): Use it.
2013-05-14	Move lispy stuff to lisp-backend.boot	dos-reis	2	-185/+185

2013-05-14	* algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Test	dos-reis	2	-3/+10
	for BasicType satisfaction instead of existence of =.
2013-05-13	* interp/g-opt.boot (%array2list): New side-effect free opcode.	dos-reis	2	-1/+6
	* interp/lisp-backend.boot: Expand it. * algebra/array1.spad.pamphlet (PrimitiveArray): Implement maxIndex, parts, and members.
2013-05-12	* interp/database.boot (getConstructorModemap): Revert previous change.	dos-reis	1	-2/+2

2013-05-11	Remove IndexedTwoDimensionalArray.	dos-reis	1	-2/+2

2013-05-11	Consistently use OIL opcodes for abstractions	dos-reis	9	-33/+33

2013-05-11	Fix opcode for references to domain-wide entities	dos-reis	2	-5/+5

2013-05-11	Introduce opcodes for arrays constructions	dos-reis	2	-2/+25

2013-05-10	The compiler now accepts do-statements	dos-reis	3	-9/+27

2013-05-09	* interp/i-special.boot (evalIF): Generate OIL intermediate	dos-reis	3	-11/+9
	instruction %otherwise, not Lisp expression T. * interp/slam.boot (isRecurrenceRelation): Likewise.
2013-05-09	Simplify copy	dos-reis	2	-3/+4

2013-05-08	Almost pure function bodies are now %redex forms	dos-reis	2	-7/+11