aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2018-01-02Keep eol at LFGabriel Dos Reis1-0/+3
Whatever you do, or don't do. Especially if you are editing on Windows plaforms. If you are using VS Code on Windows, this will help.
2018-01-01Name bracket pattern parserGabriel Dos Reis7-163/+240
and update the boot translator Lisp cache.
2017-12-27Bemol: Add 'module' as Boot keywordGabriel Dos Reis2-1/+2
2017-12-27Remove antiquated check for alignasGabriel Dos Reis14-164/+141
C++14 required, alignas and alignof are now well supported as C++11 features.
2017-12-27Fix build with SBCLGabriel Dos Reis1-2/+1
ERROR does no expect a LIST.
2017-01-22Merge pull request #5 from billpage/fix-gui-libGabriel Dos Reis1-1/+1
Fix minor breakage when building gui
2017-01-21Fix minor breakage when building guiBill Page1-1/+1
Added -lopen-axiom-core
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
Classify them as formatting tokens. Remove TokenValue::Artificial.
2017-01-02Include a native entry point for parsing Boot source files, and forGabriel Dos Reis16-76/+248
transpiling to Lisp.
2016-12-29Add Boot support for native load unit specification in foreignGabriel Dos Reis17-17/+84
function import.
2016-12-26 * interp/i-output.boot (appChar): Don't modify string parameter.Gabriel Dos Reis6-18/+21
* algebra/Makefile.am (strap-1/FINITE.$(FASLEXT)): Update dependency.
2016-04-07Merge pull request #4 from billpage/enumerateGabriel Dos Reis2-1/+4
Enumerate
2016-04-05Fix conflict with catdef enumerateBill Page1-1/+1
Port change from FriCAS https://github.com/fricas/fricas/commit/dbf6a9b559e6872f5a3baa7e55a1c57130f1c335
2016-04-05Add enumerate to domains that have FiniteBill Page1-0/+3
Port change from FriCAS https://github.com/fricas/fricas/commit/dbf6a9b559e6872f5a3baa7e55a1c57130f1c335
2016-02-14Fix typo in calculation of X_PRE_LIBSBill Page3-2/+6
The previous value set "-Xt" when it should have been "-lXt".
2016-02-09Various cleanupsGabriel Dos Reis3-23/+27
Rename getFunctionTemplate to matchSignatureInTemplate. Rename lookupInheritedDefiningFunction to lookupRemoteDefiningFunction as the function wasn't really about inherited operators. Have it avoid returning functions that might need their domain domain to operate correctly. Simplify getOpCode: it only needs two arguments since the third was the length of the second argument. dbDefaultPackage? is no longer a macro.
2016-02-08Do not let domain closure escape lookupDefinitionFunctionGabriel Dos Reis2-7/+4
A successful call to compiledLookup will come up with any of the form that results from stuffSlot. Handle them here. Remove confused and dead code.
2016-02-08Tidy gerCapsuleDirectoryEntryGabriel Dos Reis1-2/+9
Factor out candidatesForSlot.
2016-02-07Remove $NRTaddFormGabriel Dos Reis6-38/+37
Use a %CompilerData slot to hold the corresponding data during the elaboration of a capsule.
2016-02-07Remove $NRTderivedTargetIfTrueGabriel Dos Reis3-8/+1
It wasn't used in any meaningful way -- its value was always set to 'false'. Furthermore, it didn't match documentation.
2016-02-07PolynomialCategoryLifting: Weaken constraint on that parameterGabriel Dos Reis1-1/+1
The extra requirement of SetCategory was not being used, as pointed out by Ralf Hemmecke.
2016-02-07Fix #1Gabriel Dos Reis3-2/+23
Add explicit check for <X11/Intrinsic.h>
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
Use `domainDirectory dom` instead of `domainRef(dom,1)`.
2016-02-06Move $lookupDefaults out of newLookupInTableGabriel Dos Reis2-6/+7
Move $lookupDefaults to he callers of newLookupInTable to surface variabilities in the control flow.
2016-02-06optNot: handle conjunction and disjunction operandsGabriel Dos Reis1-0/+4
2016-02-06Rewrite capsule of IndexedDirectProductOrderedAbelianMonoidSupGabriel Dos Reis1-20/+18
Rewrite `subtractIfCan` and `sup` in terms of the mathematical operations and exported operations. This makes the correctness of the algorithms stand out.
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
And various cleanups.
2016-02-01Merge pull request #3 from billpage/alg-typoGabriel Dos Reis2-1/+2
a typo and an omission
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
The infrastructure put in place in the last few commits now enables better indirect calls ('SPADCALL') to operations implemented in the same capsule. The improvement here is that the limitation of unconditional definition is removed. Now, even conditional definitions are resolved as long as the its predicate and the predicate of the current function match.
2016-02-01Support ')read' of Boot fileGabriel Dos Reis2-10/+13
Allow the system command to ')read' a Boot source file: the involves (1) compiling Boot to machine code (2) loading the resulting FASL in the current system Note that if the boot file has any dependency in terms of 'import', one needs to set up the $LoadDirectories appropriately, or else the system will crash. In particular, if you're modifying OpenAxiom source files you need to include the appropriate directories containing OpenAxiom fasl files.
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
Establish a distinct control path for compiling constructor bodies. Avoid routing these IRs via 'compile', which should be used only for capsule-level definitions.
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-18 07:37:40 +0000