open-axiom - open scientific computation system

Age	Commit message (Expand)	Author	Files	Lines
2015-12-31	Avoid modulus bias in 'random()' usage.	Gabriel Dos Reis	1	-1/+1
2013-05-26	Define lexicographical ordering on Bits in Spad	dos-reis	1	-2/+9
2013-05-26	Revert accidental commit.	dos-reis	1	-9/+0
2013-05-26	* algebra/logic.spad.pamphlet: New file.	dos-reis	1	-481/+0
2012-01-14	* algebra/catdef.spad.pamphlet (Finite) [random]: Provide default	dos-reis	1	-14/+29
2011-11-10	* algebra/boolean.spad.pamphlet (IndexedBits) [Not, Or, And]: Remove.	dos-reis	1	-13/+4
2011-10-26	minor cleanups	dos-reis	1	-2/+2
2011-10-21	* algebra/boolean.spad.pamphlet (Boolean) [sample]: Remove	dos-reis	1	-1/+0
2011-10-16	* algebra/boolean.spad.pamphlet (Boolean): Implement default	dos-reis	1	-9/+14
2011-10-12	* algebra/boolean.spad.pamphlet (Reference) [elt]: Remove.	dos-reis	1	-27/+20
2011-09-07	* interp/lisplib.boot (finalizeLisplib): Finalize documentaion	dos-reis	1	-1/+1
2011-08-05	* algebra/boolean.spad.pamphlet (Boolean) [test]: Remove.	dos-reis	1	-4/+0
2011-03-09	* interp/g-opt.boot: %pair, %list, %vector, %bitvector are now	dos-reis	1	-3/+3
2011-02-28	* algebra/boolean.spad.pamphlet (PropositionalFormula):	dos-reis	1	-2/+8
2011-02-04	* interp/g-opt.boot ($VMsideEffectFreeOperators): Remove more Lisp	dos-reis	1	-1/+2
2011-01-03	* interp/g-util.boot: Expand new bit vector operators.	dos-reis	1	-18/+28
2011-01-02	* interp/nrunfast.boot (evalSlotDomain): Expand to VM forms before	dos-reis	1	-4/+4
2010-10-27	* algebra/boolean.spad.pamphlet (BooleanLogic) [~]: Add defaut.	dos-reis	1	-6/+8
2010-10-27	* algebra/boolean.spad.pamphlet (BooleanLogic): Extends Logic.	dos-reis	1	-2/+2
2010-10-27	* algebra/boolean.spad.pamphlet (Logic): Now extend Type.	dos-reis	1	-1/+1
2010-06-25	* interp/g-opt.boot: Rename %eq to %peq for pointer comparaison.	dos-reis	1	-4/+4
2010-05-30	* algebra/boolean.spad.pamphlet (Boolean): Remove reference to	dos-reis	1	-24/+26
2010-04-08	* algebra/boolean.spad.pamphlet (atoms$PropositionalFormula):	dos-reis	1	-7/+7
2010-04-07	* algebra/boolean.spad.pamphlet (isAtom$PropositionalFormula):	dos-reis	1	-6/+53
2010-04-04	* algebra/boolean.spad.pamphlet (BooleanLogic): New.	dos-reis	1	-11/+24
2010-04-04	* algebra/boolean.spad.pamphlet (PropositionalFormulaFunctions1): New.	dos-reis	1	-1/+80
2010-02-28	* algebra/boolean.spad.pamphlet	dos-reis	1	-3/+15
2010-02-21	* algebra/boolean.spad.pamphlet (PropositionalFormula):	dos-reis	1	-62/+74
2010-02-11	* algebra/boolean.spad.pamphlet (~$Boolean): Work around silly bug	dos-reis	1	-1/+1
2009-10-15	* interp/i-syscmd.boot (reportOpsFromUnitDirectly): Tidy.	dos-reis	1	-1/+1
2009-06-11	* interp/newaux.lisp: Remove digraphs '(<' and '>) as alternate	dos-reis	1	-7/+7
2009-05-28	* interp/compiler.boot (compVector): Tidy code generation.	dos-reis	1	-15/+17
2009-05-28	* algebra/boolean.spad.pamphlet (PropositionalLogic): Now export	dos-reis	1	-4/+4
2009-05-28	* interp/newaux.lisp: Bot / and /\ are gliphs.	dos-reis	1	-23/+23
2009-05-11	* interp/property.lisp: "not" is prefix operator with "not " for	dos-reis	1	-115/+55
2009-04-23	* interp/c-util.boot (extendsCategoryForm): Use current category	dos-reis	1	-6/+4
2009-04-23	* interp/sys-constants.boot ($SystemInlinableConstructorNames):	dos-reis	1	-2/+2
2009-03-01	* interp/g-opt.boot (optimize): Remove non-qualified	dos-reis	1	-2/+2
2009-02-04	* algebra/Makefile.pamphlet: Tidy.	dos-reis	1	-1/+1
2009-02-04	* algebra/boolean.spad.pamphlet (Boolean): Tidy.	dos-reis	1	-10/+10
2008-12-14	r12459@gauss: gdr \| 2008-12-12 18:18:31 -0600	dos-reis	1	-3/+3
2008-10-01	* algebra/mkfunc.spad.pamphlet (InputForm): Remove local mkProperOp.	dos-reis	1	-1/+2
2008-09-21	* algebra/syntax.spad.pamphlet (SpadAst): New.	dos-reis	1	-0/+2
2008-09-21	Misc cleanup.	dos-reis	1	-3/+6
2008-09-21	* algebra/boolean.spad.pamphlet (Boolean): Now belong to	dos-reis	1	-2/+2
2008-09-21	* interp/sys-macros.lisp (\|byteEqual\|): New.	dos-reis	1	-46/+107
2008-08-31	* algebra/boolean.spad.pamphlet (Boolean): Remove definition of	dos-reis	1	-4/+1
2008-08-16	* algebra/strap: New. Sequester cached Lisp translation of	dos-reis	1	-271/+0
2008-07-11	* interp/compiler.boot (compQuote): Restrict quoting to literal	dos-reis	1	-2/+2
2008-06-14	* algebra/variable.spad.pamphlet (ModePatternVariable): New.	dos-reis	1	-1/+1