open-axiom - open scientific computation system

Age	Commit message (Collapse)	Author	Files	Lines
2016-01-25	Misc. cleanup	Gabriel Dos Reis	1	-2/+2

2016-01-24	Misc. fixes	Gabriel Dos Reis	1	-1/+1
	With the siwtch to a C++ compiler, the AC_PATH_XTRA has become less effective as it internally relies on the C compiler invokation. Fixed CXXFLAGS, CPPFLAGS, and LDFLAGS when detecting <X11/xpm.h> usability. Various bitmasks in src/hyper and src/graph were bogusly using 'char' (instead of 'unsigned char') when they specify values larger than 127. Caught by the C++ compiler, thanks to no-narrowing conversion. Fixed. Eventually the X11-based HD interface and graphics should be replaced by a more modern GUI interface.
2016-01-16	Reduce dependencies on databases to catgeory.daase during algebra build	Gabriel Dos Reis	1	-1/+1

2016-01-01	More algebra layering and dependencies.	Gabriel Dos Reis	1	-2/+2

2015-12-25	Express '/include/open-axiom/config' as a link to generated ↵	Gabriel Dos Reis	1	-2/+2
	config/openaxiom-c-macros.h
2015-12-23	Arrange the source include director to mirror expected build structure ↵	Gabriel Dos Reis	1	-1/+0
	instead of creating links.
2015-11-03	Fix bogus warning from Clang.	dos-reis	1	-1/+1

2015-06-01	Fix typos in configration scripts.	dos-reis	1	-1/+1

2015-04-03	Fix warnings in C++ codes; check for additional C++ compiler options.	dos-reis	1	-2/+3

2014-11-20	Preliminary test for Clang compiler.	dos-reis	1	-1/+1

2014-11-16	Remove src/syntax Makefiles; make part of libOpenAxiom	dos-reis	1	-1/+0

2014-11-16	Remove src/io Makefiles; make part of libOpenAxiom	dos-reis	1	-2/+1

2014-11-16	Automtically generate src/utils/Makefile.in	dos-reis	1	-1/+1

2014-11-16	Check for LLVM framework	dos-reis	1	-0/+1

2014-08-26	Add generic Boot and Spad tokenizer.	dos-reis	1	-1/+10

2014-08-18	Add src/boot/Makefile.am	dos-reis	1	-1/+2

2014-08-16	Avoid SBCL deprecated features.	dos-reis	1	-1/+1

2014-05-02	Invoke SBCL with --disable-debugger	dos-reis	1	-1/+1

2014-02-23	FASLEXT is now AC_SUBST	dos-reis	1	-1/+1

2014-02-10	Clean up global variable names.	dos-reis	1	-3/+3

2014-02-03	Fix global variable names in Makefiles	dos-reis	1	-1/+1

2014-02-02	Annual ChangeLog rotation	dos-reis	1	-2/+2

2013-11-25	Check for Windows PowerShell.	dos-reis	1	-1/+4

2013-11-25	Check for Windows PowerShell.	dos-reis	1	-1/+1

2013-11-03	Adjust timestamp	dos-reis	1	-1/+1

2013-06-28	Add src/rt for core runtime support.	dos-reis	1	-0/+1

2013-06-21	* include/dialect.H: New.	dos-reis	1	-1/+1
	* include/diagnostics.H: Likewise. * include/storage.H: Move from utils/.
2013-05-20	Add Functorial category	dos-reis	1	-1/+1

2013-05-18	Daily bump	dos-reis	1	-1/+1

2013-05-16	* algebra/aggcat.spad.pamphlet (FiniteAggregate): New.	dos-reis	1	-1/+1
	* algebra/exposed.lsp.pamphlet: Expose it.
2013-05-13	Daily date stamp bump	dos-reis	1	-1/+1

2013-04-06	Add token representation files	dos-reis	1	-1/+2

2013-04-04	convert src/algebra/Makefile.in to Automake stuff	dos-reis	1	-4/+7

2013-04-04	Add initial io library files	dos-reis	1	-1/+1

2013-04-03	* config/open-axiom.m4 (OPENAXIOM_REQUIRE_CXX11): New.	dos-reis	1	-0/+1
	* configure.ac: Use it.
2013-03-31	Update data stamp and rotate changelogs	dos-reis	1	-2/+2

2012-10-01	Bump date and update Autotools scripts	dos-reis	1	-1/+1

2012-08-26	* interp/sys-os.boot (flushStdout): Remove as unused.	dos-reis	1	-1/+1
	* interp/i-toplev.boot (recordAndPrint): Do not print a newline before formatting the result.
2012-08-20	Bump date version	dos-reis	1	-1/+1

2012-08-19	* configure.ac: Define Automake conditional OA_DELAYED_FFI.	dos-reis	1	-0/+1
	* config/open-axiom.m4 (OPENAXIOM_CHECK_DELAYED_FFI): New. (OPENAXIOM_HOST_COMPILERS): Call it. src/ * lisp/core.lisp.in (primitiveLoad): New. Export. ($delayedFFI): Likewise. * lisp/Makefile.in (oa_delay_ffi): New. (edit): Update. * interp/sys-utility.boot: import sys-constants instead of sys-os. * interp/sys-driver.boot (%sysInit): Do not loadSystemRuntimeCore. (loadDelayedFFI): New. (executeSpadScript): Call it. (compileSpadLibrary): Likewise. (buildInitdbHandler): Likewise. (systemMain): Likewise. * interp/util.lisp (BUILD-INTERPSYS): Likewise. * interp/Makefile.in (oa_target_moddir): New. (OA_FFI_MOD): Likewise. (OA_FFI_OBJ): Define conditionally. (OBJS): Use it. ($(oa_target_delayed)): New rule. (oa_target_delayed): New. (oa_target_ffi): Define conditionally. (${SAVESYS}): Require it. (${AXIOMSYS}): Likewise. (sys-utility.$(FASLEXT)): Now require sys-constants.$(FASLEXT).
2012-06-03	* interp/lexing.boot (%Line): Now a record structure.	dos-reis	1	-1/+1
	* boot/parser.boot (bpTypeName): Split out of bpTypeAliasDefinition. (bpStruct): Use it. Support parameterized structures. * boot/ast.boot (ctorName): New. (bfEnum): Use it for parameterized enums. (bfRecord): Use it for parameterized records.
2012-05-29	* boot/parser.boot (%ParserState): New.	dos-reis	1	-1/+1
	(makeParserState): Likewise. (%Translator): Likewise. (makeTranslator): Likewise. Make all parsing functions take a parser state argument. * boot/translator.boot (shoeOutParse): Adjust. * interp/spad-parser.boot (stringPrefix?): Remove redudant definition.
2012-05-28	* interp/io.boot (findChar): Do not define here.	dos-reis	1	-1/+1
	* interp/match.boot (charPosition): Likewise. * boot/utility.boot (charPosition): Now return argument string length if no match. (findChar): New. * boot/scanner.boot (lexerCharPosition): Adjust. (shoeAccumulateLines): Use findChar.
2012-05-26	Update date	dos-reis	1	-1/+1

2012-05-19	* Makefile.in: Regenerate.	dos-reis	1	-2/+1
	* config/aclocal.m4: Move to toplevel. * config/libtool.m4: Remove. * config/ltoptions.m4: Likewise. * config/ltversion.m4: Likewise. * config/lt~obsolete.m4: Likewise. * config/open-axiom.m4 (OPENAXIOM_ALIGNMENT_OPERATOR): Use AC_LANG_SOURCE to generate test program. (OPENAXIOM_ALIGNAS_SPECIFIER): Likewise.
2012-04-28	update version numbers	dos-reis	1	-2/+2

2012-02-03	* config/open-axiom.m4 (OPENAXIOM_ALIGNAS_SPECIFIER): New.	dos-reis	1	-1/+1
	(OPENAXIOM_CHECK_MISC): Use it. src/ * utils/vm.H: Add more VM data structures. * utils/vm.cc (BasicContext::make_operator): Define. * algebra/Makefile.in (SPADFILES): Include syntax.spad and spad-parser.spad.
2011-12-15	* config/open-axiom.m4 (OPENAXIOM_DYNAMIC_MODULE_SUPPORT): Fix	dos-reis	1	-1/+1
	linker flags when building for Windows. * lisp/core.lisp.in: Do not require SB-SPROF or SB-POSIX on Windows.
2011-12-03	* config/var-def.mk (CXX): Define as substituted.	dos-reis	1	-1/+1
	(LD): Likewise.
2011-11-02	Add compiler support for implicit parameters.	dos-reis	1	-1/+1
	* interp/compiler.boot (bindPredicateExistentials): Rename from constructorCondition. Now return a substitution on success, otherwise failure. (solveEquation): New. (solveSubsumption): Likewise. (deduceImplicitParameters): Likewise. (evaluateConstructorModemap): Use it. Tidy.