open-axiom - open scientific computation system

Age	Commit message (Collapse)	Author	Files	Lines
2008-11-20	* algebra/coerce.spad.pamphlet (HomotopicTo): New.	dos-reis	1	-1/+1
	* algebra/exposed.lsp.pamphlet: Expose it. * algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include HOMOTOP.
2008-11-18	* interp/nrunfast.boot (resolveNiladicConstructors): New.	dos-reis	1	-1/+1
	(newHasTest): Use it to handle signature export test. * testsuite/interpreter/has.input: New.
2008-11-15	* interp/category.boot: Define global vars.	dos-reis	1	-1/+1
	* interp/compiler.boot: Likewise. * interp/define.boot: Likewise. * interp/sys-globals.boot: Likewise. * interp/wi1.boot ($frontier): Removed, as unused. * interp/wi2.boot ($attributesName): Likewise. ($goGetList): Likewise. ($NRTaddList): Likewise. ($NRTloadTimeAlist): Likewise. ($lisplibMissingFunctions): Likewise. ($alternateViewList): Likewise.
2008-11-02	* lisp/core.lisp.in (\|$ExtraRuntimeLibraries\|): Listify.	dos-reis	1	-1/+1
	(extra-runtime-libs): Tidy. * lisp/Makefile.in (edit): stringify $(oa_c_runtime_extra) elements.
2008-11-01	* configure.ac.pamphlet (axiom_use_sman): Fix typo.	dos-reis	1	-2/+1

2008-11-01	* sman/sman.c (ptsPath): Remove.	dos-reis	1	-2/+17
	* sman/Makefile.in: Add additional C runtimes for link. * lib/openpty.c: Include <pty.h> and <util.h> where available. (ptyopen): Lose third parameter. Tidy. (makeNextPtyNames): Now static. * clef/edible.c (controllerPath): Remove. Adjust call to ptyopen. * clef/Makefile.in (clef_LDADD): Add extra C runtimes.
2008-10-30	* interp/i-analy.boot (bottomUpDefaultCompile): Declared local	dos-reis	1	-1/+1
	variables really are locals. * interp/i-map.boot (findLocalVars1): Fix typo.
2008-10-27	* configure.ac.pamphlet: Look for path to `awk'.	dos-reis	1	-17/+9
	Instantiate src/hyper/presea.
2008-10-24	Add basic support for stream client socket.	dos-reis	1	-1/+1
	* lib/sockio-c.c (oa_inet_pton): Define. (oa_get_host_address): Likewise. * algebra/net.spad.pamphlet (IP4Address): New. (NetworkClientSocket): Likewise. (InetClientStreamSocket): Likewise. * algebra/data.spad.pamphlet (DataArray): Rename from DataBuffer. (ByteBuffer): Rename from ByteArray. Reimplement. * algebra/exposed.lsp.pamphlet: Expose IP4Address, InetClientStreamSocket, NetworkClientSocket.
2008-10-22	* algebra/net.spad.pamphlet (InputOutputBinaryFile): New.	dos-reis	1	-1/+1
	(position$InputBinaryFile): New. (position!$InputBinaryFile): Likewise. * algebra/exposed.lsp.pamphlet: Expose InputOutputBinaryFile. * algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add IOBFILE.
2008-10-19	* algebra/syntax.spad.pamphlet (Syntax): Simplify.	dos-reis	1	-1/+1

2008-10-16	* interp/i-spec1.boot (categoryImplies): New.	dos-reis	1	-1/+1
	(evalCategory): Use it.
2008-10-16	* interp/compiler.boot (backendCompile1): Move to c-util.boot.	dos-reis	1	-1/+1
	(COMP): Likewise. Rename to backendCompile. (compileFileQuietly): Move to c-util.boot. (compAndDefine): Likewise. (compQuietly): Likewise. (compileQuitely): Likewise.
2008-10-13	Add support for Lisp declarations in generated Lisp code.	dos-reis	1	-1/+1
	* interp/i-map.boot (compileCoerceMap): Tell backend that minivector is global. * interp/i-spec1.boot (compileADEFBody): Likewise. * interp/slam.boot (reportFunctionCompilation): Likewise. * interp/define.boot (spadCompileOrSetq): Tell backend to ignore last argument for simple functions. * interp/c-util.boot (skipDeclarations): New. (lastDeclarationNode): Likewise. (declareGlobalVariables): Likewise. (transformToBackendCode): Use them to allow for Lisp declarations in middle-end forms. * interp/sys-driver.boot (AxiomCore::%sysInit): Reading Lisp level Floating point numbers default to double precision. * algebra/strap: Update.
2008-10-09	* algebra/domain.spad.pamphlet (ConstructorKinid): New domain.	dos-reis	1	-1/+1
	(Constructor): Likewise. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include CTORKIND. (axiom_algebra_layer_user): Include CTOR.
2008-10-08	* algebra/Makefile.pamphlet (axiom_algebra_layer_user): Include	dos-reis	1	-1/+1
	RGBCMDL, RGBCSPC. * algebra/color.spad.pamphlet (RGBColorModel): New. (RGBColorSpace): Likewise. * algebra/exposed.lsp.pamphlet: Expose them
2008-10-06	* interp/sys-macros.lisp (\|quietlyIfInteractive\|): New.	dos-reis	1	-1/+1
	* interp/compiler.boot (quietlyIfInteractive): Use it. (compQuietly): Likewise. (compileQuietly): Likewise.
2008-10-01	* interp/c-util.boot ($optProclaim): New.	dos-reis	1	-1/+1
	($optReplaceSimpleFunctions): Likewise. (setCompilerOptimizations): Likewise. Set them. (proclaimCapsuleFunction): New. * interp/compiler.boot (compileSpad2Cmd): Handle option ')optimize'. * interp/define.boot (compile): Proclaim if appropriate. * interp/sys-driver.boot (compileSpadLibrary): Honor optimization level set on commmand line. * interp/sys-utility.boot (getVMType): Tidy. * interp/types.boot (%Void): Likewise. (IntegerSection): New.
2008-09-28	* algebra/outform.spad.pamphlet (OutputForm): Remove bogus	dos-reis	1	-1/+1
	definition for Rep. Tidy.
2008-09-24	* interp/i-analy.boot (putCallInfo): New.	dos-reis	1	-1/+1
	(bottomUp): Use it. * interp/i-spec1.boot (upand): Likewise. (upor): Likewise. (upcase): Likewise. * interp/i-spec2.boot (uperror): Likewise.
2008-09-21	* algebra/syntax.spad.pamphlet (SpadAstExports): New.	dos-reis	1	-1/+1
	* algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add SPADXPT. Update dependency rules. * share/algebra: Update algebra databases.
2008-09-19	* interp/g-util.boot (getTypeOfSyntax): Infer more syntax domains.	dos-reis	1	-1/+0
	* algebra/Makefile.pamphlet: Add dependency rules for syntax domains. * algebra/exposed.lsp.pamphlet: Expose more syntax domains.
2008-09-18	Update algebra databases	dos-reis	1	-1/+1

2008-09-18	* interp/g-util.boot (getTypeOfSyntax): Infer more syntax domains.	dos-reis	1	-1/+1
	* algebra/syntax.spad.pamphlet: Add more syntax domains. * algebra/exposed.lsp.pamphlet: Expose more syntax object domains. * algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add more syntax object files.
2008-09-13	* lisp/core.lisp.in (\|$NativeTypeTable\|): Don' include `pointer'	dos-reis	1	-16/+12
	and `buffer'. * lisp/Makefile.in (pointer_type): Remove. (edit): Tidy. * boot/ast.boot (nativeType): Tidy. Handle `pointer' and `buffer' here. * boot/translator.boot (genImportDeclaration): Tidy.
2008-09-10	* interp/define.boot (displayMissingFunctions): Fix typo.	dos-reis	1	-1/+1

2008-09-07	* boot/parser.boot (bpImport): Invert syntax for importing foreign	dos-reis	1	-1/+1
	functions. * boot/strap/parser.clisp: Update. * interp/sys-os.boot: Change to new syntax throughout.
2008-09-06	* interp/sys-os.boot (openIP4ClientStreamSocket): New.	dos-reis	1	-1/+1
	(readFromStreamSocket): Likewise. (writeToStreamSocket): Likewise. (closeSocket): Likewise. * include/sockio.h: Include <arpa/inet.h> (oa_open_ip4_client_stream_socket): Declare. (oa_socket_write): Likewise. (oa_socket_read): Likewise. * lib/sockio-c.c (openaxiom_unload_socket_module): New. (openaxiom_load_socket_module): Tidy. (openaxiom_socket_is_invalid): New. (is_invalid_socket): Use it. (oa_open_ip4_client_stream_socket): Define. (oa_socket_read): Likewise. (oa_socket_write): Likewise.
2008-09-05	* interp/daase.lisp (processDir): Lose last argument. Don't	dos-reis	1	-1/+1
	change directory. (localdatabase): Adjust call. * interp/lisplib.boot (getAllIndexPathnames): Take an argument. (getAllAldorObjectFiles): Likewise.
2008-09-02	* algebra/syntax.spad.pamphlet (Literal): New.	dos-reis	1	-1/+1
	(Identifier): Likewise. (Signature): Tidy. * algebra/exposed.lsp.pamphlet: Expose IDENT and LITERAL. * algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add LITERAL and IDENT. (user-stamp): Don't depend directly on bootstrap-stamp. * share/algebra/: Update databases.
2008-08-31	* algebra/aggcat.spad.pamphlet (FiniteLinearAggregate): Remove	dos-reis	1	-1/+1
	duplicate definition of reverse. * algebra/algcat.spad.pamphlet (FramedAlgebra): Remove duplicate definition of regularRepresentation. Explicitly disambiguate the argument of coodinates. * algebra/efupxs.spad.pamphlet (ElementaryFunctionsUnivariatePuiseuxSeries): Remove duplicate definition of asinhIfCan, acoshIfCan, asechIfCan, acshIfCan. * algebra/equation2.spad.pamphlet (Equation): Remove duplicate definition of : (S,%) -> %. algebra/fortpak.spad.pamphlet (MultiVariableCalculusFunctions): Remove duplicate definition of jacobian. * algebra/tree.spad.pamphlet (BinaryTree): Remove duplicate definition of empty.
2008-08-31	* algebra/boolean.spad.pamphlet (Boolean): Remove definition of	dos-reis	1	-1/+1
	operator ^. * algebra/aggcat.spad.pamphlet (BitAggregate): Likewise. * algebra/color.spad.pamphlet: Replace use of '^' as logical negation by 'not'. * algebra/ddfact.spad.pamphlet: Likewise. * algebra/fortran.spad.pamphlet: Likewise. * algebra/gaussfac.spad.pamphlet: Likewise. * algebra/gbeuclid.spad.pamphlet: Likewise. * algebra/gbintern.spad.pamphlet: Likewise. * algebra/ghensel.spad.pamphlet: Likewise. * algebra/groebsol.spad.pamphlet: Likewise. * algebra/ideal.spad.pamphlet: Likewise. * algebra/idecomp.spad.pamphlet: Likewise. * algebra/indexedp.spad.pamphlet: Likewise. * algebra/listgcd.spad.pamphlet: Likewise. * algebra/mfinfact.spad.pamphlet: Likewise. * algebra/modgcd.spad.pamphlet: Likewise. * algebra/multfact.spad.pamphlet: Likewise. * algebra/multsqfr.spad.pamphlet: Likewise. * algebra/newpoint.spad.pamphlet: Likewise. * algebra/npcoef.spad.pamphlet: Likewise. * algebra/permgrps.spad.pamphlet: Likewise. * algebra/pgcd.spad.pamphlet: Likewise. * algebra/pleqn.spad.pamphlet: Likewise. * algebra/qalgset.spad.pamphlet: Likewise. * algebra/radeigen.spad.pamphlet: Likewise. * algebra/rep2.spad.pamphlet: Likewise. * algebra/solverad.spad.pamphlet: Likewise. * algebra/space.spad.pamphlet: Likewise. * algebra/view2D.spad.pamphlet: Likewise. * algebra/strap/: Update cached Lisp translateion * share/algebra/: Update databases.
2008-08-29	* algebra/aggcat.spad.pamphlet: Import used domains.	dos-reis	1	-1/+1
	* algebra/any.spad.pamphlet: Likewise. * algebra/catdef.spad.pamphlet: Likewise. * algebra/drawopt.spad.pamphlet: Likewise. * algebra/equation2.spad.pamphlet: Likewise. * algebra/ituple.spad.pamphlet: Likewise. * algebra/mkfunc.spad.pamphlet: Likewise. * algebra/omdev.spad.pamphlet: Likewise. * algebra/out.spad.pamphlet: Likewise. * algebra/plot.spad.pamphlet: Likewise. * algebra/print.spad.pamphlet: Likewise. * algebra/seg.spad.pamphlet: Likewise. * algebra/stream.spad.pamphlet: Likewise. * algebra/system.spad.pamphlet: Likewise.
2008-08-28	* Makefile.pamphlet: Tidy.	dos-reis	1	-1/+1

2008-08-24	* algebra/net.spad.pamphlet: New.	dos-reis	1	-1/+1
	* algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include HOSTNAME and PORTNUM. * algebra/exposed.lsp.pamphlet: Export them. * algebra/data.spad.pamphlet (DataBuffer): New.
2008-08-22	Daly bump.	dos-reis	1	-1/+1

2008-08-21	* interp/g-error.boot (systemErrorHandler): New.	dos-reis	1	-1/+1
	* interp/sys-driver.boot (restart): Use it.
2008-08-20	2008-08-19 Gabriel Dos Reis <gdr@cs.tamu.edu>	dos-reis	1	-0/+9
	* configure.ac.pamphlet: Activate safety+debug build for ECL-based system. src/ 2008-08-19 Gabriel Dos Reis <gdr@cs.tamu.edu> * lisp/core.lisp.in (\|$useDynamicLink\|)[ECL]: Test for :DFFI feature.
2008-08-19	Update installation instructions.	dos-reis	1	-1/+1

2008-08-19	* interp/database.boot (pathToDatabase): Honor $verbose.	dos-reis	1	-1/+1
	* interp/compiler.boot (COMP-1): Likewise.
2008-08-16	* algebra/strap: New. Sequester cached Lisp translation of	dos-reis	1	-18/+1
	algebra bootstrap domains here.
2008-08-15	* configure.ac.pamphlet (oa_standard_linking): New. AC-substitute.	dos-reis	1	-0/+4

2008-08-15	* lisp/core.lisp.in (getOptionValue): Export.	dos-reis	1	-1/+1
	* interp/sys-driver.boot (initializeGlobalState): Record value for --system-algebra. * interp/sys-globals.boot ($buildingSystemAlgebra): Declare. * interp/compiler.boot (compileSpad2Cmd): Don't build local database if compiling system algebra. * interp/i-syscmd.boot (compileAsharpCmd1): Likewise. * algebra/Makefile.pamphlet (%.NRLIB/code.$(FASLEXT)): Use --system-algebra. (SPADPRSR.NRLIB/code.$(FASLEXT)): Likewise. (PARSER.NRLIB/code.$(FASLEXT)): Likewise.
2008-08-13	* lisp/core.lisp.in (LINKSET-FROM): New.	dos-reis	1	-1/+1
	(SYSTEM-SUBDIRECTORY): Likewise. (LINKSET-FROM-IF): Likewise. (COMPLETE-FASL-LIST-FOR-LINK): Use it. (getPrologue): New. (link): Take an additional optional parameter for prologue. Tidy. (makeHandler): Adjust. * lisp/Makefile.in: Use LNKEXT where appropriate. (oa_base_lisp_linkset): New. ($(oa_target_lispdir)/core.$(LNKEXT)): New rule. (base-lisp$(EXEEXT)): Now depends on $(oa_base_lisp_linkset). (mostlyclean-local): Remove $(oa_target_lispdir) too. * boot/Makefile.in: Use LNKEXT instead of FASLEXT. (boot_objects_extra): Remove. (oa_target_bootdir): New. (oa_boot_linkset): Likewise. (stamp): Require $(oa_boot_linkset). ($(oa_target_bootdir)/%.$(LNKEXT)): New rule. (strap/bootsys$(EXEEXT)): Add prologue code. (stage1/bootsys$(EXEEXT)): Likewise. (stage2/bootsys$(EXEEXT)): Likewise. (mostlyclean-local): Remove $(oa_target_bootdir) too.
2008-08-13	(\|COMP,TRAN\|): Remove.	dos-reis	1	-1/+1
	(\|spadHash\|): Likewise. (\|$internalHistoryTable\|): Don't define here. (\|isBpiOrLambda\|): Remove. (\|libraryFileLists\|): Likewise. (\|normalizeArgFileName\|): Likewise. (save-system) [LUCID]: Likewise. (\|undoINITIALIZE\|): Likewise. (\|isLowerCaseLetter\|): Don't define here. (\|isUpperCaseLetter\|): Likewise. (\|isLetter\|): Likewise. (printCopyright): Remove. (user-homedir-pathname): Likewise. (BUMPCOMPERRORCOUNT): Likewise. (\|cpCms\|): Likewise. (\|normalizeTimeAndStringify\|): Likewise. (whocalled): Likewise. (\|compressHashTable\|): Likewise. (SETLETPRINTFLAG): Don't define here. (RESTART0): Move to sys-driver.boot * interp/g-util.boot (charRangeTest): Remove.
2008-08-11	* interp/obey.lisp: Remove.	dos-reis	1	-1/+1
	* interp/Makefile.pamphlet (OBJS): Don't include obey.$(FASLEXT). * interp/br-data.boot: Replace OBEY with runCommand. * interp/br-saturn.boot: Likewise. * interp/br-search.boot: Likewise. * interp/c-doc.boot: Likewise. * interp/compat.boot: Likewise. * interp/debug.lisp: Likewise. * interp/g-util.boot: Likewise. * interp/ht-root.boot: Likewise. * interp/i-syscmd.boot: Likewise. * interp/patches.lisp: Likewise. * interp/spad.lisp: Likewise. * interp/util.lisp: Likewise. * interp/vmlisp.lisp: Likewise.
2008-08-10	* algebra/syntax.spad.pamphlet (AbstractSyntaxCategory): New.	dos-reis	1	-1/+1
	(HeadAst): Likewise.
2008-08-09	* interp/pf2sex.boot (pf2Sex1): Handle more ASTs.	dos-reis	1	-1/+1
	(pfType2SexOrNil): New. (pfDoc2SexOrNil): Likewise. (pfWith2Sex): Likewise. (pfAdd2Sex): Likewise. (pfWDeclare2Sex): Likewise. (pfAttribute2Sex): Likewise. (pfWIf2Sex): Likewise. (pfExport2Sex): Likewise. (pfInline2Sex): Likewise. (pfImport2Sex): Likewise. (pfQualType2Sex): Likewise. * interp/ptrees.boot (pf0InlineItems): New. * interp/i-spec2.boot (up%Import): New. (sorry): Likewise. (up%Export): Likewise. (up%Inline): Likewise. (up%With): Likewise. (up%Add): Likewise. * interp/i-intern.boot (mkAtree3): Handle %Inline, %With, %Add, and %Export. * interp/i-spec1.boot ($specialOps): Adjust. * doc/msgs/s2-us.msgs (S2IP0006): New.
2008-08-08	* algebra/aggcat.spad.pamphlet (part?$SetAggregate): Rename	dos-reis	1	-1/+1
	from <$SetAggregate. (part?$FiniteSetAggregate): Rename from <$FiniteSetAggregate * algebra/mset.spad.pamphlet (part?$Multiset): Rename from <$Mulitset. * input/mset.input.pamphlet: Adjust. * input/mset2.input.pamphlet: Likewise.
2008-08-07	* lisp/core.lisp.in (boot-completed-p): New.	dos-reis	1	-2/+9
	(\|$useDynamicLink\|): Likewise. (\|$effectiveFaslType\|): Hold extension of linkable FASL. (\|$NativeModuleExt\|): Tidy. (\|$CoreLibName\|): New. (\|$ExtraRuntimeLibraries\|): Likewise. (extra-runtime-libs): Likewise. (complete-fasl-list-for-link): Likewise. (\|link\|) [ECL]: Link against system libraries. (\|compileLispFile\|): Tidy. (begin-compile-time): New. (end-compile-time): Likewise. (compile-time-p): Likewise. (import-module): Use it. * lisp/Makefile.in ($(OUT)/lisp$(EXEEXT)): Use oa_c_runtime_extra. * lib/Makefile.in (oa_installed_corelib): New. * boot/initial-env.lisp: Don't export systemRootDirectory and systemLibraryDirectory from here. * boot/translator.boot (systemRootDirectory): Move to lisp/core.lisp. (systemLibraryDirectory): Likewise. (loadSystemRuntimeCore): Do nothing for GCL and ECL. * interp/boot-pkg.lisp: Inform that Boot system is compleye.