open-axiom - open scientific computation system

Age	Commit message (Collapse)	Author	Files	Lines
2008-03-24	Add support for SBCL and CLisp	dos-reis	1	-104/+90

2008-03-16	Add support for MathML output	alfredoport	1	-3/+5

2008-03-16	* lisp/Makefile.in (void_type): New.	dos-reis	1	-1/+1
	(char_type): Likewise. (int_type): Likewise. (float_type): Likewise. (double_type): Likewise. (string_type): Likewise. (pointer_type): Likewise. (edit): Use them. * interp/wi1.boot (ppFull): Tidy. Don't set PRINT-DEPTH. * interp/vmlisp.lisp (gcmsg): Define when SBCL. * interp/template.boot (measureCommon): Fix thinko. * interp/sys-utility.boot: Move basic type definition from g-util.boot to here. * interp/g-util.boot (augProplistOf): Fix signature declaration. * interp/daase.lisp: Tidy. * interp/c-util.boot (displayComp): Remove assignment to $X,$M,$F. * interp/boot-pkg.lisp: Tidy. * interp/axext_l.lisp: Likewise. * interp/Makefile.pamphlet (makeint.lisp): Call GBC only when GCL. ($(axiom_targetdir)/algebra/exposed.$(FASLEXT)): Tidy. (patches.$(FASLEXT)): Require debug.$(FASLEXT), g-timer.$(FASLEXT). (wi2.$(FASLEXT)): Require define.$(FASLEXT). (spad.$(FASLEXT)): Require postpar.$(FASLEXT), debug.$(FASLEXT). * boot/translator.boot (genImportDeclaration): Include translation for SBCL. * boot/parser.boot (bpMapping): Tidy. * boot/ast.boot (coreSymbol): New. (bootSymbol): Likewise. (bootSymbol): Likewise. * lisp/core.lisp.in (\|$NativeTypeTable\|): New. Export. * algebra/Makefile.pamphlet (COMPILE_LISP): Use $(INTERPSYS). * algebra/exposed.lsp.pamphlet: Tidy.
2008-03-10	* algebra/Makefile.pamphlet (strap/%.$(FASLEXT)): Don't copy	dos-reis	1	-2/+2
	bootstrapping objects to final algebra directory. (%.NRLIB/code.$(FASLEXT)): Specify bootstrapping objects location as option.
2008-03-05	* algebra/Makefile.pamphlet (axiom_algebra_layer_strap): Derive	dos-reis	1	-41/+23
	value from $(axiom_algebra_bootstrap). (axiom_algebra_layer_0): Include more categories. (axiom_algebra_layer_1): Likewise. (axiom_algebra_layer_2): Likewise. (axiom_algebra_layer_3): Likewise. (axiom_algebra_layer_4): Remove some constructors. (axiom_algebra_layer_5): Likewise.
2008-02-22	* interp/i-analy.boot (bottomUpFormTuple): Use "tuple" for	dos-reis	1	-3/+0
	parse form that are not type instantiations. * interp/i-coerce.boot (coerceInt1): Likewise. * interp/i-intern.boot (mkAtree3): Likewise. (collectDefTypesAndPreds): Likewise. * interp/i-map.boot (args2Tuple): Likewise. (makePattern): Likewise. (canMakeTuple): Likewise. (makeRuleForm): Likewise. (numArgs): Likewise. (combineMapParts): Likewise. (mkMapPred): Likewise. (findLocalVars1): Likewise. * interp/i-output.boot (outputTran): Likewise. * interp/i-spec1.boot ($specialOps): Likewise. (evalUntargetedADEF): Likewise. (upDeclare): Likewise. (declare): Likewise. * interp/i-spec2.boot (upDollarTuple): Likewise. (upLET): Likewise. (isTupleForm): Remove. (uptuple): Rename from upTuple. (upLETWithFormOnLhs): Use "tuple" for parse forms that are not type instantiations. * interp/i-syscmd.boot (displayMacro): Likewise. * interp/pf2atree.boot (pf2Atree1): Likewise. * interp/pf2sex.boot (pf2Sex1): Likewise. (pfApplication2Sex): Likewise. (pfCollectArgTran): Likewise. * interp/ptrees.boot (pfTuple): Likewise. (pfTuple?): Likewise.
2008-02-21	* interp/i-coerce.boot (coerceInt1): Avoid misguided	dos-reis	1	-1/+1
	Tuple coercion behind the scene. * interp/i-output.boot (output): Likewise.
2008-02-20	* lisp/core.lisp.in [SBCL]: Require "sb-posix".	dos-reis	1	-384/+412
	(\|resetErrorCount\|): New export function. * interp/vmlisp.lisp (opOf): Remove macro definition. * interp/msg.boot (setMsgCatlessAttr): Fix thinko. * interp/monitor.lisp (monitor-add): Remove extra right parenthesis. * interp/lisplib.boot: Import "debug". (initializeLisplib): Don't use ERRORS variable. * interp/i-spec1.boot (isDomainValuedVariable): Tidy. * interp/i-output.boot (outputTran): Use SIZE instead of #. (output): Remove misguided conversion from Tuple to List. * interp/i-coerce.boot (coerceInteractive): Allow domain object convesions. * interp/g-util.boot (opOf): Declare. * interp/Makefile.pamphlet (lisplib.$(FASLEXT)): Depend on debug.$(FASLEXT). * algebra/Makefile.pamphlet: Use .$(FASLEXT) instead of hardcoded .o extension.
2008-02-19	* algebra/variable.spad.pamphlet (AnonymousFunction): Add new	dos-reis	1	-5/+1
	functions `parameters' and `body'. * algebra/domain.spad.pamphlet: Rename from algebra/domain.spad. (Category): New category. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include CATEGORY.o. (DOMAIN.NRLIB/code.$(FASLEXT)): Remove rule. * interp/trace.boot (transTraceItem): Use $LangSupportTypes. * interp/sys-constants.boot ($None): New. ($Type): Likewise. ($LangSupportTypes): Likewise. * interp/parse.boot (parseHas): Use $LangSupportTypes. (parseHasRhs): Likewise. * interp/i-spec2.boot (upLETtype): Use conceptualType. (uptypeOf): Likewise. (upwhere): Likewise. (typeOfType): Remove. * interp/i-spec1.boot (isDomainValuedVariable): Variables with type Category and Type are domain valued too. * interp/i-output.boot (output): Special case only Mode and Type. * interp/i-funsel.boot (selectMms): Don't ignore modemaps with category parameters. * interp/i-coerce.boot (canCoerce1): Test for Category instead of SubDomain Domain. (canCoerceFrom0): Use $None and $Any. (absolutelyCannotCoerce): Use $None. (coerceInteractive): Use $LangSupportTypes. (coerceInt1): Use $Any. * interp/i-analy.boot (conceptualType): New. (bottomUpType): Use it. * interp/clammed.boot (isValidType): Use $LangSupportTypes. * interp/g-cndata.boot (isNameOfType): Likewise. * interp/category.boot (Category): Remove hacky definition. * interp/buildom.boot ($noCategoryDomains): Domain now has a Lisplib.
2008-01-21	* algebra/syntax.spad.pamphlet (Syntax): Assert a member of	dos-reis	1	-4/+4
	SetCategory. Implement equality. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Move BASTYPE.o from layer 3 to here. Move SYNTAX.o from here to layer 1. (axiom_algebra_layer_1): Move CTROCALL.o to layer 2. * share/algebra: Update database.
2008-01-20	* algebra/syntax.spad.pamphlet (ElaboratedExpression): New.	dos-reis	1	-3/+3
	* algebra/any.spad.pamphlet: Rename ObjectProperty to Property. * algebra/exposed.lsp.pamphlet: Likewise. * algebra/Makefile.pamphlet (axiom_algebra_layer_5): Include ELABEXPR.o * share/algebra: Update databases.
2008-01-20	* algebra/syntax.spad.pamphlet: Rename from algebra/syntax.spad.	dos-reis	1	-5/+1
	Add a new domain for constructor instantiation form. * algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include CTORCALL.o (SYNTAX.NRLIB/code.$(FASLEXT)): Remove rule. Now implicit. * share/algebra: Update databases.
2008-01-19	* algebra/Makefile.pamphlet (axiom_algebra_layer_0): Now include	dos-reis	1	-2/+3
	SYNTAX.o * algebra/syntax.spad (buildSyntax$Syntax): Use CONS$Lisp to permit early bootstrap.
2008-01-19	* interp/construc.lisp (\|loadLibNoUpdate\|): Fix thinko in initial	dos-reis	1	-5/+5
	value for empty environments. * interp/database.boot (rebuildCDT): Likewise. * interp/i-map.boot (addDefMap): Likewise. (rewriteMap0): Likewise. (rewriteMap1): Likewise. (compileDeclaredMap): Likewise. (analyzeUndeclaredMap): Likewise. * interp/i-spec1.boot: Likewise. * interp/i-syscmd.boot (reportOperations): Likewise. * interp/i-toplev.boot (interpret): Likewise. * interp/lisplib.boot (loadLib): Likewise. (loadLibNoUpdate): Likewise. * interp/setvars.boot (resetWorkspaceVariables): Likewise. * interp/spad.lisp ($e): Move definition to sys-globals.boot. ($env): Likewise. * interp/sys-globals.boot ($e): Define here. ($env): Likewise. * algebra/any.spad.pamphlet (ObjectProperty): New. (Binding): Likewise. (Contour): Likewise. (Scope): Likewise. (Environment): Likewise. * algebra/exposed.lsp.pamphlet: Expose ObjectProperty, Binding, Contour, Scope, and Environment. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include OBJPROP.o. (axiom_algebra_layer_1): Include BINDING.o (axiom_algebra_layer_2): Include CONTOUR.o (axiom_algebra_layer_3): Include SCOPE.o (axiom_algebra_layer_4): Include ENV.o * share/algebra: Update database.
2008-01-17	Fix SF/1849734	dos-reis	1	-4/+4
	* interp/i-spec1.boot (upand): Don't insist on having operands of type Boolean. (upor): Likewise. * algebra/mkrecord.spad.pamphlet (Pair): New domain constructor. * algebra/exposed.lsp.pamphlet: Expose Pair, PropositionalLogic, PropositionalFormula. * algebra/boolean.spad.pamphlet (PropositionalFormula): New domain constructor. * algebra/Makefile.pamphlet (axiom_algebra_layer_4): Include PAIR.o. (axiom_algebra_layer_19): Include PROPFRML.o * share/algebra: Update databases. * testsuite/interpreter/1849734.input: New.
2008-01-16	* algebra/boolean.spad.pamphlet (PropositionalLogic): New category.	dos-reis	1	-1/+1
	(Boolean): Assert as belonging to PropositionalLogic. Update cached Lisp translation. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Add PROPLOG.o * src/algebra: Update databases.
2008-01-14	* interp/compiler.boot (compSymbol): Don't handle possible	dos-reis	1	-1/+1
	case views here. (hasUniqueCaseView): Rename from getUniqueCaseView. Take the target mode as second argument. (compForm2): Use calling convention vector to determine infer flag parameter types. (compCase1): Uniformly handle `case-expressions'. Call genDeltaEntry for selected operator. (coerceExtraHard): Handle coercions from UnionType domains. (autoCoerceByModemap): Tidy. * interp/g-opt.boot (optCall): Be more verbose in diagnostics. * algebra/syntax.spad (Syntax): Rework. * algebra/coerce.spad.pamphlet (UnionType): New. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include UTYPE.o * share/algebra: Update databases.
2007-12-03	src/algebra/	dos-reis	1	-4/+9
	2007-12-03 Gabriel Dos Reis <gdr@cs.tamu.edu> * script-parser.spad: New. * Makefile.pamphlet (axiom_algebra_layer_19): Include PARSER.o (PARSER.NRLIB/code.$(FASLEXT)): New rule. * exposed.lsp.pamphlet: Expose Parser constructor. src/interp/ 2007-12-03 Gabriel Dos Reis <gdr@cs.tamu.edu> * i-parser.boot: New. * Makefile.pamphlet (i-parser.$(FASLEXT)): New rule. (OBJS): Include i-parser.$(FASLEXT).
2007-11-15	add spad parser library	dos-reis	1	-1/+5

2007-11-13	src/algebra/	dos-reis	1	-1/+5
	2007-11-13 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet (SYNTAX.NRLIB/code.$(FASLEXT)): New rule. (axiom_algebra_layer_14): Include SYNTAX.o. * syntax.spad: New algebra file. * domain.spad (Domain$reify): New. src/share/ 2007-11-13 Gabriel Dos Reis <gdr@cs.tamu.edu> * algebra/browse.daase: Update. * algebra/category.daase: Likewise. * algebra/compress.daase: Likewise. * algebra/interp.daase: Likewise.
2007-11-10	src/algebra/	dos-reis	1	-0/+3
	2007-11-10 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet (mostlyclean-local): Remove stamp files and strap/ directory too. (clean-local): Remove database directories too. src/interpreter/ 2007-11-10 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet (nrungo.$(FASLEXT)): New rule. (nruntime.$(FASLEXT)): Likewise. (<<nrungo.clisp>>): Remove. (<<nruntime.clisp>>): Likewise. * nrungo.boot.pamphlet: Push into package "BOOT". Fix syntax. * nruntime.boot.pamphlet: Push into package "BOOT".
2007-10-19	Fix SF/1790912	dos-reis	1	-1/+5
	* domain.spad: New. * Makefile.pamphlet (axiom_algebra_layer_23): Include DOMAIN.o (DOMAIN.NRLIB/code.$(FASLEXT)): New rule.
2007-10-10	2007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu>	dos-reis	1	-4/+2
	* configure.ac.pamphlet: Tidy. Don't instantiate src/lisp/core.lisp. * configure.ac: Regenerate. * configure: Likewise. * config/var-def.mk (open_axiom_installdir): New. (AXIOM): Support versioning. * Makefile.pamphlet (install): Tidy. Remove sections on SPAD and SYS variables. * Makefile.in: Regenerate. src/algebra/ 2007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet (INTERPSYS): Now take system root directory and algebra directory as arguments. * Makefile.in: Regenerate. src/etc/ 2007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet (INTERPSYS): Take system root directory and algebra directory as arguments. * Makefile.in: Regenerate. src/interp/ 2007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu> * bookvol5.pamphlet (initroot): Use \|systemRootDirectory\| instead of environment variable AXIOM. (\|loadExposureGroupData\|): Likewise. * br-data.boot.pamphlet (dbHasExamplePage): Likewise. (dbRead): Likewise. (dbReadComments): Likewise. (buildGloss): Likewise. * br-saturn.boot.pamphlet (getSaturnExampleList): Likewise. * br-search.boot.pamphlet (grepSplit): Likewise. * daase.lisp.pamphlet (asharp): Likewise. (initial-getdatabase): Likewise. (DaaseName): Likewise. (create-initializers): Likewise. * ht-root.boot.pamphlet (htGlossPage): Likewise. * htcheck.boot.pamphlet (buildHtMacroTable): Likewise. * i-syscmd.boot.pamphlet (summary): Likewise. (copyright): Likewise. * patches.lisp.pamphlet (restart0): Likewise. * util.lisp.pamphlet (sourcepath): Likewise. * Makefile.pamphlet (OBJS): Include sys-driver.$(FASLEXT). (${SAVESYS}): Tidy. (${AXIOMSYS}): Likewise. (${DEPSYS}): Depend on sys-driver.$(FASLEXT). Load it. (sys-driver.$(FASLEXT)): New rule. * Makefile.in: Regenerate. * sys-driver.boot: New. src/lisp/ 2007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu> * core.lisp.in (\|%systemOptions\|): New. (\|%systemArguments\|): Likewise. (\|$systemInstallationDirectory\|): Likewise. (\|$sysOpts\|): Likewise. (\|$sysArgs\|): Likewise. (\|handleCommandLine\|): Tidy. (\|printUsage\|): Update. * Makefile.pamphlet (core.lisp): Instantiate here. src/script/ 2007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu> * axiom.in (AXIOM): Use value substituted by Autoconf. Remove dead code.
2007-09-24	* config/setup-dep.mk ($(top_builddir)/libtool): Regenerate when	dos-reis	1	-4/+4
	out of date. src/algebra/ * Makefile.pamphlet (DEPSYS): Remove. (COMPILE_LISP): New. (strap/%.o): Use it to compile cached Lisp files. src/interp/ * bookvol5.pamphlet (restart): Simplify. Handle command line arguments. src/lisp/ * core.lisp.in (\|handleCommandLine\|): Return truthvalue on success. Don't call $originalLispTopLevel. (\|compileLispHandler\|): Rename file to in-file. (\|topLevel\|): Exit only whne handleCommandLine indicates so.
2007-08-14	Initial population.	dos-reis	1	-0/+1151