aboutsummaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)AuthorFilesLines
2022-08-23Fix a silent bad codegen (#19)Gabriel Dos Reis1-3/+1
2022-08-21Fix build with SBCL-2.1.0 (#18)Gabriel Dos Reis1-3/+3
2022-08-21Boot parser: Remove useless AST functions (#17)Gabriel Dos Reis5-36/+15
2022-08-20fix sbcl 1.5.9 build (#16)Gabriel Dos Reis5-42/+66
2022-08-15Stop referencing `std::hash<T>::result_type`Gabriel Dos Reis1-19/+16
2022-08-13Use `char8_t` in the tool hammerGabriel Dos Reis1-267/+276
2022-08-13Rename `Dynamic` to `Boxed`Gabriel Dos Reis3-54/+48
2022-08-12Use C++ concepts in lieu of SFINAE.Gabriel Dos Reis4-29/+26
2022-07-23Update configure.Gabriel Dos Reis5-95/+159
2022-07-24Fix inverted arguments in call to `memset`.Gabriel Dos Reis1-2/+2
2018-02-01Fix thinkoGabriel Dos Reis1-1/+1
2018-01-01Name bracket pattern parserGabriel Dos Reis5-151/+228
2017-12-27Bemol: Add 'module' as Boot keywordGabriel Dos Reis2-1/+2
2017-12-27Remove antiquated check for alignasGabriel Dos Reis8-11/+102
2017-12-27Fix build with SBCLGabriel Dos Reis1-2/+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 Reis4-7/+10
2017-01-15Add s-expression parsing to libopen-axiom-core.aGabriel Dos Reis7-28/+19
2017-01-15TokenValue::Indent, TokenValue::Unindent, TokenValue::JustifyGabriel Dos Reis4-13/+15
2017-01-02Include a native entry point for parsing Boot source files, and forGabriel Dos Reis14-64/+236
2016-12-29Add Boot support for native load unit specification in foreignGabriel Dos Reis12-16/+65
2016-12-26 * interp/i-output.boot (appChar): Don't modify string parameter.Gabriel Dos Reis4-7/+10
2016-04-05Fix conflict with catdef enumerateBill Page1-1/+1
2016-04-05Add enumerate to domains that have FiniteBill Page1-0/+3
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-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-01Remove dead code in compFunctorBodyGabriel Dos Reis1-4/+0
2016-02-01a typo and an omissionBill Page2-1/+2
2016-02-01Better indirect call resolutionGabriel Dos Reis3-55/+57