aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
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
2016-02-01a typo and an omissionBill Page2-1/+2
2016-02-01Better indirect call resolutionGabriel Dos Reis3-55/+57
2016-02-01Support ')read' of Boot fileGabriel Dos Reis2-10/+13
2016-01-31Tidy noteCapsuleFunctionDefinitionGabriel Dos Reis1-7/+9
2016-01-31Defer compilation of capsule functions to compFunctorBodyGabriel Dos Reis1-4/+3
2016-01-31Rename compileConstrutor to compileConstructorIRGabriel Dos Reis1-17/+10
2016-01-31Small cleanup in define.bootGabriel Dos Reis2-16/+3
2016-01-31Tidy spadCompileOrSetqGabriel Dos Reis1-10/+5
2016-01-31Remove support for --show-insn, and ")set )report insn"Gabriel Dos Reis6-40/+15
2016-01-31Remove a couple of global states from the compiler.Gabriel Dos Reis2-17/+15
2016-01-30writeCapsuleLevelDefinitions: don't write into the index fileGabriel Dos Reis2-9/+11
2016-01-30compDefineCapsuleFunction: Tidy.Gabriel Dos Reis1-5/+1
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-05 04:38:56 +0000