aboutsummaryrefslogtreecommitdiff
path: root/src/utils
AgeCommit message (Expand)AuthorFilesLines
2013-04-03Fix up fallout from C++11 switchdos-reis1-51/+50
2013-04-02Add experimental --gui optiondos-reis1-0/+2
2012-10-112012-10-10 Igor Pashev <pashev.igor@gmail.com>dos-reis1-2/+4
2012-08-18 * boot/translator.boot (shoeOutParse): Fix thinko.dos-reis1-2/+2
2012-02-03 * config/open-axiom.m4 (OPENAXIOM_ALIGNAS_SPECIFIER): New.dos-reis2-32/+118
2011-11-13 Fix SF/3436999dos-reis1-76/+0
2011-11-07 * utils/vm.H: Redefine value representation.dos-reis1-76/+97
2011-09-13 * utils/Makefile.in (libOpenAxiom_HEADERS): Include vm.H.dos-reis3-3/+318
2011-08-24 * algebra/Makefile.in: Support construction initial DB profile.dos-reis1-0/+1
2011-08-20 * interp/sys-utility.boot (constructorDB): New.dos-reis1-0/+76
2011-06-27 * utils/Makefile.in (libOpenAxiom_SOURCES): Include filesystem.ccdos-reis2-1/+58
2011-06-24 * utils/command.cc (build_rts_options) [clozure_runtime]: Requestdos-reis1-4/+2
2011-06-20 * utils/storage.H (Memory::Storage::acquire): Remove.dos-reis2-32/+72
2011-06-05 * utils/command.cc (default_driver): New.dos-reis1-11/+18
2011-06-02more utility code consolidationdos-reis2-3/+554
2011-03-21Fix some type detection issuesdos-reis3-9/+13
2011-03-18fiix typodos-reis1-1/+1
2011-03-18 * utils/sexpr.H: Support more specialized s-expressions.dos-reis2-127/+479
2011-03-17 * utils/storage.H: Rework.dos-reis3-151/+177
2011-03-16fix thinkodos-reis3-2/+7
2010-12-26(no commit message)dos-reis2-16/+20
2010-12-10Cleanupdos-reis1-2/+2
2010-09-12 * utils/sexpr.H (Token::character): New token type.dos-reis2-0/+46
2010-08-29 * utils/Makefile.in ($(oa_target_oalib)): Create contaningdos-reis4-19/+69
2010-08-26 * utils/Makefile.in: Install libOpenAxiom.ados-reis1-1/+7
2010-08-26 * config/open-axiom.m4 (OPENAXIOM_BUILD_TOOLS): Check for ln -sdos-reis9-15/+39
2010-08-24 Implement an s-expression C++ library.dos-reis9-12/+1563
2010-08-21 External tool noweb is no longer required.dos-reis4-0/+753
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-23 12:09:27 +0000