aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2022-07-28Require C++17.Gabriel Dos Reis3-7/+7
2022-07-25Merge pull request #9 from GabrielDosReis/gdr/configure-updateGabriel Dos Reis10-3642/+4856
2022-07-24Merge pull request #8 from GabrielDosReis/gdr/fix-memset-inverted-argsGabriel Dos Reis1-2/+2
2022-07-24Fix inverted arguments in call to `memset`.Gabriel Dos Reis1-2/+2
2022-07-23Update configure.Gabriel Dos Reis10-3642/+4856
2018-02-01Fix thinkoGabriel Dos Reis1-1/+1
2018-01-02Keep eol at LFGabriel Dos Reis1-0/+3
2018-01-01Name bracket pattern parserGabriel Dos Reis7-163/+240
2017-12-27Bemol: Add 'module' as Boot keywordGabriel Dos Reis2-1/+2
2017-12-27Remove antiquated check for alignasGabriel Dos Reis14-164/+141
2017-12-27Fix build with SBCLGabriel Dos Reis1-2/+1
2017-01-22Merge pull request #5 from billpage/fix-gui-libGabriel Dos Reis1-1/+1
2017-01-21Fix minor breakage when building guiBill Page1-1/+1
2017-01-20Format boot tokens.Gabriel Dos Reis1-6/+34
2017-01-17More cleanup.Gabriel Dos Reis4-34/+24
2017-01-17Misc cleanups.Gabriel Dos Reis5-131/+120
2017-01-17Simplify Tokenizer::get.Gabriel Dos Reis1-59/+58
2017-01-16Split Tokenizer::get into two functions.Gabriel Dos Reis2-45/+55
2017-01-16Include commentary lines in fragments.Gabriel Dos Reis2-18/+31
2017-01-16Remove Fragment::last_indent.Gabriel Dos Reis3-8/+6
2017-01-16Decorate each input line with its kind.Gabriel Dos Reis2-1/+8
2017-01-15Use library parser for bemol.Gabriel Dos Reis3-77/+79
2017-01-15Require C++14.Gabriel Dos Reis7-12/+15
2017-01-15Add s-expression parsing to libopen-axiom-core.aGabriel Dos Reis8-29/+23
2017-01-15TokenValue::Indent, TokenValue::Unindent, TokenValue::JustifyGabriel Dos Reis6-24/+26
2017-01-02Include a native entry point for parsing Boot source files, and forGabriel Dos Reis16-76/+248
2016-12-29Add Boot support for native load unit specification in foreignGabriel Dos Reis17-17/+84
2016-12-26 * interp/i-output.boot (appChar): Don't modify string parameter.Gabriel Dos Reis6-18/+21
2016-04-07Merge pull request #4 from billpage/enumerateGabriel Dos Reis2-1/+4
2016-04-05Fix conflict with catdef enumerateBill Page1-1/+1
2016-04-05Add enumerate to domains that have FiniteBill Page1-0/+3
2016-02-14Fix typo in calculation of X_PRE_LIBSBill Page3-2/+6
2016-02-09Various cleanupsGabriel Dos Reis3-23/+27
2016-02-08Do not let domain closure escape lookupDefinitionFunctionGabriel Dos Reis2-7/+4
2016-02-08Tidy gerCapsuleDirectoryEntryGabriel Dos Reis1-2/+9
2016-02-07Remove $NRTaddFormGabriel Dos Reis6-38/+37
2016-02-07Remove $NRTderivedTargetIfTrueGabriel Dos Reis3-8/+1
2016-02-07PolynomialCategoryLifting: Weaken constraint on that parameterGabriel Dos Reis1-1/+1
2016-02-07Fix #1Gabriel Dos Reis3-2/+23
2016-02-07Look for QT5 in /opt/local/libexec/qt5 on OS XGabriel Dos Reis3-11/+39
2016-02-07Various cleanupsGabriel Dos Reis2-7/+7
2016-02-06Move $lookupDefaults out of newLookupInTableGabriel Dos Reis2-6/+7
2016-02-06optNot: handle conjunction and disjunction operandsGabriel Dos Reis1-0/+4
2016-02-06Rewrite capsule of IndexedDirectProductOrderedAbelianMonoidSupGabriel Dos Reis1-20/+18
2016-02-04Add leadingTerm to IndexedDirectProductCategoryGabriel Dos Reis1-8/+7
2016-02-03Clean up IndexedDirectProductAbelianMonoidGabriel Dos Reis1-9/+2
2016-02-02Merge branch 'master' of github.com-GabrielDosReis:GabrielDosReis/open-axiomGabriel Dos Reis2-1/+2
2016-02-02Rename dbConstructorDefault to dbDefaultPackageGabriel Dos Reis5-30/+36
2016-02-01Merge pull request #3 from billpage/alg-typoGabriel Dos Reis2-1/+2
2016-02-01Remove dead code in compFunctorBodyGabriel Dos Reis1-4/+0