open-axiom - open scientific computation system

Age	Commit message (Expand)	Author	Files	Lines
2012-06-03	* boot/parser.boot (bpSignatureTail): Split out of bpSignature.	dos-reis	3	-111/+134
2012-06-01	* boot/translator.boot: Remove DEFUSE, $booDefined,	dos-reis	1	-350/+0
2012-06-01	* boot/ast.boot (%LoadUnit): Add field for enclosing function.	dos-reis	3	-54/+59
2012-06-01	* boot/ast.boot (%LoadUnit): Add fields for side conditions.	dos-reis	3	-16/+21
2012-06-01	* boot/ast.boot (%LoadUnit): Add fields for let var and is var	dos-reis	1	-24/+38
2012-05-31	* boot/ast.boot: Add a %LoadUnit parameter to most functions.	dos-reis	3	-223/+278
2012-05-30	* boot/parser.boot: Replace references to $ttok.	dos-reis	2	-45/+38
2012-05-30	* boot/parser.boot (%ParserState): Add field for current token.	dos-reis	3	-114/+119
2012-05-30	* boot/ast.boot (bfSpecificErrorHere): New.	dos-reis	3	-62/+81
2012-05-30	* boot/parser.boot: Remove references to $bpCount.	dos-reis	2	-41/+41
2012-05-30	* boot/parser.boot: Remove references to $bpParentCount.	dos-reis	2	-17/+23
2012-05-30	* boot/parser.boot: Remove references to $stack.	dos-reis	2	-68/+74
2012-05-30	* boot/parser.boot: Add parser state argument to more functions.	dos-reis	2	-312/+360
2012-05-29	* boot/parser.boot (%ParserState): New.	dos-reis	4	-522/+653
2012-05-28	* interp/io.boot (findChar): Do not define here.	dos-reis	2	-10/+20
2012-05-26	* boot/ast.boot (bfMDef): Simplify.	dos-reis	3	-87/+26
2012-05-26	* boot/tokens.boot: freshLine, functionSymbol?, and symbolGlobal?	dos-reis	1	-2/+3
2012-05-24	* boot/scanner.boot: Eliminate fluid variable $n.	dos-reis	1	-157/+208
2012-05-24	* boot/scanner.boot (lexerLineLength): New.	dos-reis	1	-65/+69
2012-05-24	change lexer line accessor name	dos-reis	1	-53/+55
2012-05-24	* boot/scanner.boot (%Lexer): New record structure.	dos-reis	1	-154/+201
2012-05-24	* boot/tokens.boot: "@" is now a new keyword.	dos-reis	4	-59/+71
2012-05-23	* boot/includer.boot (%SourceLine): New datatype.	dos-reis	3	-19/+35
2012-05-23	* boot/tokens.boot (%Token): New datatype.	dos-reis	5	-71/+62
2012-05-22	* interp/lexing.boot (%Token): Now an actual type defined as a	dos-reis	1	-28/+31
2012-05-22	* boot/translator.boot (translateToplevel): Handle record structures.	dos-reis	4	-57/+257
2012-05-22	* boot/ast.boot (needsPROG): Remove.	dos-reis	8	-4817/+4694
2012-05-20	* boot/utility.boot (strinSuffix?): New.	dos-reis	2	-4/+28
2012-05-20	* boot/ast.boot (shoeCompTran): Simplify.	dos-reis	4	-158/+263
2012-05-20	* boot/ast.boot (shoeCompTran1): Take variable sets by reference.	dos-reis	4	-116/+133
2012-05-19	* boot/tokens.boot: symbolBinding is now builtin.	dos-reis	2	-53/+52
2012-05-08	* boot/tokens.boot: Export char. Do not rename maxIndex.	dos-reis	1	-6/+7
2012-04-29	* boot/ast.boot (bfNumber?): Rename from bfSmintable. Check for	dos-reis	1	-4/+5
2012-01-12	* boot/parser.boot (bpFunction): New.	dos-reis	3	-12/+37
2012-01-09	* boot/parser.boot (bpRequire): New. Use it throughout this module.	dos-reis	1	-84/+74
2012-01-08	* boot/ast.boot (bfEnum): New.	dos-reis	2	-16/+28
2011-12-28	* interp/vmlisp.lisp (SORTBY): Remove.	dos-reis	3	-41/+78
2011-12-28	* boot/tokens.boot: Remove redundant renaming of REM.	dos-reis	1	-23/+24
2011-12-28	* boot/tokens.boot: Do not rewrite drop and take.	dos-reis	2	-20/+56
2011-12-10	* boot/parser.boot (bpArgtypeList): Accept mapping types.	dos-reis	4	-19/+99
2011-11-29	* boot/tokens.boot (absKind, absParms, absBody): New selectors.	dos-reis	2	-6/+7
2011-10-30	* interp/sys-macros.lisp (MKPF1): Tidy.	dos-reis	3	-41/+50
2011-10-29	* interp/lisplib.boot (makePredicateBitVector): Take a DB argument.	dos-reis	1	-1/+1
2011-10-22	* boot/tokens.boot: Add new selectors: mapOperation, mapSignature,	dos-reis	1	-5/+7
2011-10-21	Workaround proclamation bug in GCL	dos-reis	3	-10/+26
2011-10-05	* lisp/core.lisp.in (eof?): New.	dos-reis	1	-6/+7
2011-10-04	* boot/utility.boot (symbolAssoc): Rename from assocSymbol. Export.	dos-reis	1	-22/+28
2011-10-03	Cleanup.	dos-reis	5	-47/+12
2011-10-02	* boot/utility.boot (objectAssoc): New. Export.	dos-reis	3	-9/+29
2011-10-01	* boot/parser.boot (bpImport): Accept long names for used namespaces.	dos-reis	3	-23/+39