open-axiom - open scientific computation system

Age	Commit message (Expand)	Author	Files	Lines
2013-05-22	Replace OPTIONLIST with $compilerOptions	dos-reis	1	-0/+5
2013-05-14	* interp/c-util.boot (cleanParameterList!): New.	dos-reis	1	-1/+17
2013-05-14	Move lispy stuff to lisp-backend.boot	dos-reis	1	-185/+0
2013-05-11	Consistently use OIL opcodes for abstractions	dos-reis	1	-4/+4
2013-05-08	Almost pure function bodies are now %redex forms	dos-reis	1	-1/+11
2012-08-26	* interp/br-saturn.boot: Replace TERPRI with finishLine.	dos-reis	1	-5/+5
2012-06-03	* boot/parser.boot (bpSignatureTail): Split out of bpSignature.	dos-reis	1	-1/+1
2012-05-26	* boot/tokens.boot: freshLine, functionSymbol?, and symbolGlobal?	dos-reis	1	-1/+1
2012-05-23	* interp/database.boot (%Constructor): New.	dos-reis	1	-1/+1
2012-05-21	* interp/vmlisp.lisp (SETANDFILE): Remove.	dos-reis	1	-2/+3
2012-05-21	* interp/vmlisp.lisp (EVALANDFILEACTQ): Second argument is no	dos-reis	1	-3/+4
2012-05-20	* interp/parsing.lisp (CONVERSATION): Remove.	dos-reis	1	-14/+0
2012-05-12	* interp/c-util.boot: Miscellaneous cleanup.	dos-reis	1	-1/+1
2012-05-05	* interp/clam.boot (compClam): Remove.	dos-reis	1	-10/+0
2012-05-05	* interp/define.boot (compileConstructor1): Don't call	dos-reis	1	-1/+0
2012-05-04	* interp/lisp-backend.boot (assembleCode): New.	dos-reis	1	-14/+3
2012-05-03	* interp/c-util.boot: Use LAMBDA type in lieu of LAM.	dos-reis	1	-3/+3
2012-05-03	* interp/g-opt.boot ($AbstractionOperator): Remove SLAM.	dos-reis	1	-41/+7
2012-05-03	* interp/c-util.boot (makeWorkerName): New.	dos-reis	1	-3/+5
2012-05-03	* interp/c-util.boot: Use APPLY, not APPLX.	dos-reis	1	-1/+1
2012-05-02	* interp/c-util.boot (backendCompileSPADSLAM): Do not devaluate	dos-reis	1	-10/+11
2012-05-02	* interp/c-util.boot (backendCompileSPADSLAM): Tidy. Do not	dos-reis	1	-9/+8
2012-05-01	* interp/vmlisp.lisp (COMP370): Move to c-util.boot	dos-reis	1	-0/+5
2012-05-01	* algebra/integer.spad.pamphlet (Integer): Use %iaddmod, %isubmod,	dos-reis	1	-1/+1
2012-02-26	* interp/g-util.boot (usedSymbol?): Remove.	dos-reis	1	-2/+2
2012-02-26	* interp/c-util.boot (numOfOccurencesOf): Tidy.	dos-reis	1	-1/+4
2012-02-07	* interp/lisplib.boot (dbLocateModule): New.	dos-reis	1	-2/+2
2011-12-28	* interp/vmlisp.lisp (SORTBY): Remove.	dos-reis	1	-6/+6
2011-12-28	* boot/tokens.boot: Do not rewrite drop and take.	dos-reis	1	-4/+4
2011-12-10	* interp/g-opt.boot (optSeq): Remove splicePROGN as redundant.	dos-reis	1	-1/+1
2011-12-10	* boot/parser.boot (bpArgtypeList): Accept mapping types.	dos-reis	1	-3/+3
2011-11-30	* interp/define.boot (registerInlinableDomain): Lose last argument.	dos-reis	1	-7/+8
2011-11-30	* interp/c-util.boot (clearReplacement): Clear redex replacement.	dos-reis	1	-15/+16
2011-11-28	* interp/c-util.boot (inlineDirectCall): Inline a non-side effect	dos-reis	1	-0/+3
2011-11-26	* interp/c-util.boot (updateCapsuleDirectory): Simplify.	dos-reis	1	-9/+3
2011-11-26	* interp/br-con.boot (conOpPage1): Fix typo.	dos-reis	1	-4/+28
2011-11-11	* interp/br-data.boot: Change NRTEVAL to %eval.	dos-reis	1	-1/+1
2011-11-11	* interp/c-util.boot (dbByteList): New accessor macro.	dos-reis	1	-2/+8
2011-11-10	* interp/daase.lisp (dbLookupFunction): New accessor macro.	dos-reis	1	-4/+5
2011-11-09	* interp/define.boot (compFunctorBody): First argument is now a DB.	dos-reis	1	-9/+9
2011-11-02	* interp/c-util.boot (dbSubstituteAllQuantified): New.	dos-reis	1	-1/+5
2011-10-30	* interp/sys-macros.lisp (MKPF1): Tidy.	dos-reis	1	-4/+31
2011-10-29	* interp/daase.lisp (dbCompilerData): New accessor macro.	dos-reis	1	-0/+18
2011-10-19	misc cleanup	dos-reis	1	-1/+1
2011-10-18	* interp/postpar.boot (displayPreCompilationErrors): Dot not check	dos-reis	1	-3/+3
2011-10-04	* boot/utility.boot (symbolAssoc): Rename from assocSymbol. Export.	dos-reis	1	-8/+8
2011-10-03	* interp/comp.lisp: Remove.	dos-reis	1	-0/+2
2011-10-03	Cleanup.	dos-reis	1	-3/+3
2011-10-02	* boot/utility.boot (objectAssoc): New. Export.	dos-reis	1	-7/+9
2011-10-01	* boot/utility.boot: Define BOOTTRAN namespace.	dos-reis	1	-3/+3