aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
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
2016-01-30Make signature definitions parts of %CompilationData.Gabriel Dos Reis2-14/+8
2016-01-30Do not rename mkpf.Gabriel Dos Reis6-16/+15
2016-01-30Normalize spelling of mkpf.Gabriel Dos Reis8-17/+17
2016-01-30Tidy category predicate conjunction.Gabriel Dos Reis2-7/+5
2016-01-30FreeModule: Tidy implementation.Gabriel Dos Reis1-37/+29
2016-01-30Remove superflous declarations.Gabriel Dos Reis1-10/+4
2016-01-28Fix storeBlanks\!Gabriel Dos Reis1-2/+3
2016-01-25Remove various crufts.Gabriel Dos Reis36-356/+347
2016-01-25Misc. cleanupGabriel Dos Reis11-60/+65
2016-01-24Misc. fixesGabriel Dos Reis20-50/+60
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-02 23:06:02 +0000