Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
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. | |||||
2011-09-03 | * lib/pixmap.c: Include standard header. | dos-reis | 1 | -1/+1 | |
* include/xpm.h: Remove. | |||||
2011-07-07 | 1.4.1 release branch created. | dos-reis | 1 | -1/+1 | |
2011-07-07 | * config/open-axiom.m4 (ac_default_prefix): Set to C:/OpenAxiom on | dos-reis | 1 | -1/+1 | |
Windows platforms. | |||||
2011-07-04 | * configure.ac: Use macx-g++ spec for QT when building for darwin | dos-reis | 1 | -1/+7 | |
host using C++ compiler for GNU. |