open-axiom - open scientific computation system

Age	Commit message (Collapse)	Author	Files	Lines
2013-06-06	Fix comment	dos-reis	1	-1/+1

2013-06-06	Do not call allConstructors from compiler.	dos-reis	4	-5/+9

2013-06-03	More algebra module dependencies	dos-reis	1	-16/+55

2013-06-02	Tell compForMode not to be fussy when bootstrapping the algebra.	dos-reis	3	-1/+8

2013-06-02	Make parser non-dependent on constructor databases.	dos-reis	4	-5/+43

2013-06-02	tidy addInformation	dos-reis	2	-11/+14

2013-06-02	Add dependencies for bootstrap	dos-reis	2	-16/+59

2013-06-02	Add dependencies for bootstrap	dos-reis	2	-12/+82

2013-06-02	Add dependencies for bootstrap	dos-reis	2	-0/+52

2013-06-01	Cache more category objects.	dos-reis	3	-47/+55

2013-06-01	Cache category objects some more.	dos-reis	4	-86/+101

2013-06-01	Cache category objects created at functor build time.	dos-reis	4	-15/+25

2013-06-01	* interp/category.boot (filterConditionalCategories): Fix thinko.	dos-reis	3	-2/+11

2013-06-01	Support --output in compiler, for bootstrapping stage.	dos-reis	17	-116/+200

2013-06-01	Introduce Boot wrapper for GET-IO-INDEX-STREAM.	dos-reis	3	-2/+10

2013-05-30	Fix typo in src/interp/word.boot	dos-reis	1	-1/+1

2013-05-30	Fix typo.	dos-reis	2	-3/+8

2013-05-30	Update for modern ECL.	dos-reis	3	-21/+10

2013-05-30	Add DB parameter to ducmentation functions.	dos-reis	3	-10/+35

2013-05-30	Change backend code emitters to take a %Libname parameter	dos-reis	4	-15/+15

2013-05-29	Simplify final backend instruction emission.	dos-reis	10	-42/+29

2013-05-29	Simplify backend functions	dos-reis	11	-82/+25

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.