open-axiom - open scientific computation system

Age	Commit message (Collapse)	Author	Files	Lines
2013-06-24	Simplify database construction.	dos-reis	1	-0/+16

2013-06-24	* interp/sys-constants.boot ($BuiltinAttributes): Remove	dos-reis	1	-0/+6
	finiteAggregate and shallowlyMutable. * interp/daase.lisp (WRITE-COMPRESS): Do not push strings.
2013-06-22	Use token::value more.	dos-reis	1	-0/+6

2013-06-22	Add SourceFile.H	dos-reis	1	-0/+4

2013-06-22	* include/FileMapping.H: New.	dos-reis	1	-0/+4

2013-06-21	* include/dialect.H: New.	dos-reis	1	-0/+6
	* include/diagnostics.H: Likewise. * include/storage.H: Move from utils/.
2013-06-20	Add basic diagnostics standard streams.	dos-reis	1	-0/+5

2013-06-20	Allow inerts in Boot.	dos-reis	1	-0/+7

2013-06-18	* interp/compiler.boot (compHasFormat): Take a DB parameter.	dos-reis	1	-0/+9
	Adjust callers. * interp/define.boot (ICformat): Likewise. * interp/lisplib.boot (predicateBitIndex): Likewise. (predicateBitRef): Likewise. (transHasCode): Likewise.
2013-06-18	* algebra/catdef.spad.pamphlet (CommutativeOperatorCategory): New.	dos-reis	1	-1/+7
	(CommutativeOperation): Likewise. * algebra/Makefile.am (oa_algebra_layer_0): Include them.
2013-06-17	* algebra/aggcat.spad.pamphlet (EltableAggregate): Weaken	dos-reis	1	-0/+6
	requirement on first parameter. (IndexedAggregate): Likewise.
2013-06-17	Weaken conditions on parameter of partial differential domains.	dos-reis	1	-1/+7

2013-06-17	Consolidate parsers in one pamphlet.	dos-reis	1	-0/+8

2013-06-15	* interp/ht-util.boot (mkCurryFun): Import function name.	dos-reis	1	-0/+4

2013-06-15	Intern temporary names for HT pages.	dos-reis	1	-0/+5

2013-06-15	Store category defaults constructor as part of category constructor DB.	dos-reis	1	-0/+11

2013-06-15	* interp/define.boot (makeCategoryPredicates): Tidy. Adjust caller.	dos-reis	1	-0/+4

2013-06-15	Add DB parameter to extendsCategoryForm.	dos-reis	1	-0/+7

2013-06-15	* interp/lisplib.boot (writeSourceFile): Always write source file.	dos-reis	1	-0/+4

2013-06-15	* interp/nruncomp.boot (NRTsetVector4Part1): Add environment parameter.	dos-reis	1	-0/+8
	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	compColon is now smarter about category definitions.	dos-reis	1	-0/+8

2013-06-14	* interp/define.boot (getvalue): Rename from GetValue.	dos-reis	1	-0/+5
	Take environment as second parameter. Adjust callers.
2013-06-13	avoid uses of special variables for environments.	dos-reis	1	-0/+6

2013-06-06	Do not call allConstructors from compiler.	dos-reis	1	-0/+6

2013-06-02	Make parser non-dependent on constructor databases.	dos-reis	1	-0/+9

2013-06-02	tidy addInformation	dos-reis	1	-0/+5

2013-06-01	Cache more category objects.	dos-reis	1	-0/+12

2013-06-01	Cache category objects some more.	dos-reis	1	-0/+15

2013-06-01	Cache category objects created at functor build time.	dos-reis	1	-0/+7

2013-06-01	* interp/category.boot (filterConditionalCategories): Fix thinko.	dos-reis	1	-0/+4

2013-06-01	Support --output in compiler, for bootstrapping stage.	dos-reis	1	-0/+23

2013-06-01	Introduce Boot wrapper for GET-IO-INDEX-STREAM.	dos-reis	1	-0/+4

2013-05-30	Fix typo.	dos-reis	1	-0/+4

2013-05-30	Add DB parameter to ducmentation functions.	dos-reis	1	-0/+9

2013-05-29	Simplify backend functions	dos-reis	1	-0/+10

2013-05-28	Have constructor definition compilers take a DB parameter.	dos-reis	1	-0/+7

2013-05-28	Remove $domainShell.	dos-reis	1	-0/+6

2013-05-28	Add DB parameter to compNoStacking	dos-reis	1	-0/+9

2013-05-28	Have compDefine take a DB parameter	dos-reis	1	-0/+5

2013-05-27	* interp/sys-utility.boot ($ERASE): Remove.	dos-reis	1	-0/+4

2013-05-27	Rename $FINDFILE to findFile/	dos-reis	1	-0/+4

2013-05-27	Rename MAKE-FULL-FILENAME to makeFullFilename.	dos-reis	1	-0/+5

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

2013-05-27	Remove and .	dos-reis	1	-0/+7

2013-05-27	Define getWorkingDirectory via FFI.	dos-reis	1	-0/+6

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

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

2013-05-26	Rename MAKE-FILENAME to makeFilename and re-implement in Boot.	dos-reis	1	-0/+9

2013-05-26	Rename ADDPTIONS to addCompilerOption and implement in Boot.	dos-reis	1	-0/+5

2013-05-26	* algebra/logic.spad.pamphlet: New file.	dos-reis	1	-0/+11
	* algebra/boolean.spad.pamphlet (Logic): Move there. (BooleanLogic): Likewise. (PropositionalLogic): Likewise. (PropositionalFormula): Likewise. (PropositionalFormulaFunctions1): Likewise. (PropositionalFormulaFunctions2): Likewise. (KleeneTrivalentLogic): Likewise.