open-axiom - open scientific computation system

Age	Commit message (Expand)	Author	Files	Lines
2012-06-01	* boot/ast.boot (%LoadUnit): Add field for enclosing function.	dos-reis	6	-68/+76
2012-06-01	* boot/ast.boot (%LoadUnit): Add fields for side conditions.	dos-reis	6	-28/+35
2012-06-01	* boot/ast.boot (%LoadUnit): Add fields for let var and is var	dos-reis	2	-44/+66
2012-05-31	* boot/ast.boot: Add a %LoadUnit parameter to most functions.	dos-reis	6	-423/+490
2012-05-30	misc cleanup	dos-reis	3	-10/+10
2012-05-30	* boot/parser.boot: Replace references to $ttok.	dos-reis	4	-70/+63
2012-05-30	* boot/parser.boot (%ParserState): Add field for current token.	dos-reis	6	-198/+215
2012-05-30	* boot/ast.boot (bfSpecificErrorHere): New.	dos-reis	6	-127/+150
2012-05-30	* boot/parser.boot: Remove references to $bpCount.	dos-reis	4	-70/+72
2012-05-30	* boot/parser.boot: Remove references to $bpParentCount.	dos-reis	4	-27/+32
2012-05-30	* boot/parser.boot: Remove references to $stack.	dos-reis	4	-100/+105
2012-05-30	* boot/parser.boot: Add parser state argument to more functions.	dos-reis	4	-645/+693
2012-05-29	* boot/parser.boot (%ParserState): New.	dos-reis	6	-1081/+1256
2012-05-28	* interp/lexing.boot: Use makeToken directly.	dos-reis	3	-6/+17
2012-05-28	* interp/io.boot (findChar): Do not define here.	dos-reis	4	-15/+31
2012-05-26	* boot/ast.boot (bfMDef): Simplify.	dos-reis	4	-94/+29
2012-05-26	* boot/tokens.boot: freshLine, functionSymbol?, and symbolGlobal?	dos-reis	3	-5/+9
2012-05-24	* boot/scanner.boot: Eliminate fluid variable $n.	dos-reis	2	-262/+365
2012-05-24	* boot/scanner.boot (lexerLineLength): New.	dos-reis	2	-92/+97
2012-05-24	change lexer line accessor name	dos-reis	2	-105/+107
2012-05-24	* boot/scanner.boot (%Lexer): New record structure.	dos-reis	2	-278/+337
2012-05-24	* boot/tokens.boot: "@" is now a new keyword.	dos-reis	8	-68/+90
2012-05-23	* boot/includer.boot (%SourceLine): New datatype.	dos-reis	6	-35/+60
2012-05-23	* boot/tokens.boot (%Token): New datatype.	dos-reis	11	-136/+125
2012-05-22	* interp/lexing.boot (%Token): Now an actual type defined as a	dos-reis	2	-29/+35
2012-05-22	* boot/translator.boot (translateToplevel): Handle record structures.	dos-reis	8	-60/+322
2012-05-22	* boot/ast.boot (needsPROG): Remove.	dos-reis	9	-4830/+4713
2012-05-20	* boot/utility.boot (strinSuffix?): New.	dos-reis	4	-8/+41
2012-05-20	* boot/ast.boot (shoeCompTran): Simplify.	dos-reis	5	-172/+293
2012-05-20	* boot/ast.boot (shoeCompTran1): Take variable sets by reference.	dos-reis	5	-146/+165
2012-05-19	* boot/tokens.boot: symbolBinding is now builtin.	dos-reis	5	-73/+66
2012-05-08	* boot/tokens.boot: Export char. Do not rename maxIndex.	dos-reis	2	-9/+10
2012-04-29	* boot/ast.boot (bfNumber?): Rename from bfSmintable. Check for	dos-reis	2	-11/+12
2012-01-12	* boot/parser.boot (bpFunction): New.	dos-reis	6	-14/+45
2012-01-12	* boot/tokens.boot (keywordId): New.	dos-reis	2	-3/+8
2012-01-09	* boot/parser.boot (bpRequire): New. Use it throughout this module.	dos-reis	2	-155/+150
2012-01-08	* boot/ast.boot (bfEnum): New.	dos-reis	4	-17/+34
2011-12-28	* interp/vmlisp.lisp (SORTBY): Remove.	dos-reis	6	-42/+99
2011-12-28	* boot/tokens.boot: Remove redundant renaming of REM.	dos-reis	3	-42/+44
2011-12-28	* boot/tokens.boot: Do not rewrite drop and take.	dos-reis	4	-24/+75
2011-12-10	* boot/parser.boot (bpArgtypeList): Accept mapping types.	dos-reis	8	-29/+134
2011-11-29	* boot/tokens.boot (absKind, absParms, absBody): New selectors.	dos-reis	3	-6/+10
2011-10-30	* interp/sys-macros.lisp (MKPF1): Tidy.	dos-reis	5	-41/+54
2011-10-29	* interp/lisplib.boot (makePredicateBitVector): Take a DB argument.	dos-reis	3	-3/+7
2011-10-26	Restore Clozure CL-based build. CCL's FFI interface	dos-reis	1	-1/+1
2011-10-22	* interp/br-op2.boot (htSayExplicitExports): Don't forget possible	dos-reis	1	-0/+3
2011-10-22	* boot/tokens.boot: Add new selectors: mapOperation, mapSignature,	dos-reis	2	-5/+12
2011-10-21	Workaround proclamation bug in GCL	dos-reis	4	-11/+28
2011-10-17	* lisp/core.lisp.in: Add ref and deref to support references.	dos-reis	1	-1/+11
2011-10-07	* interp/lexing.boot: Include sys-macros.	dos-reis	1	-2/+1