Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2022-07-25 | Merge pull request #9 from GabrielDosReis/gdr/configure-update | Gabriel Dos Reis | 10 | -3642/+4856 | |
Update configure. | |||||
2022-07-24 | Merge pull request #8 from GabrielDosReis/gdr/fix-memset-inverted-args | Gabriel Dos Reis | 1 | -2/+2 | |
Fix inverted arguments in call to `memset`. | |||||
2022-07-24 | Fix inverted arguments in call to `memset`. | Gabriel Dos Reis | 1 | -2/+2 | |
2022-07-23 | Update configure. | Gabriel Dos Reis | 10 | -3642/+4856 | |
2018-02-01 | Fix thinko | Gabriel Dos Reis | 1 | -1/+1 | |
Existing code did not supply the domain to export from, hence supplying one fewer argument to `genImportDeclaration`. Issue discovered by build with CLISP. | |||||
2018-01-02 | Keep eol at LF | Gabriel Dos Reis | 1 | -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-01 | Name bracket pattern parser | Gabriel Dos Reis | 7 | -163/+240 | |
and update the boot translator Lisp cache. | |||||
2017-12-27 | Bemol: Add 'module' as Boot keyword | Gabriel Dos Reis | 2 | -1/+2 | |
2017-12-27 | Remove antiquated check for alignas | Gabriel Dos Reis | 14 | -164/+141 | |
C++14 required, alignas and alignof are now well supported as C++11 features. | |||||
2017-12-27 | Fix build with SBCL | Gabriel Dos Reis | 1 | -2/+1 | |
ERROR does no expect a LIST. | |||||
2017-01-22 | Merge pull request #5 from billpage/fix-gui-lib | Gabriel Dos Reis | 1 | -1/+1 | |
Fix minor breakage when building gui | |||||
2017-01-21 | Fix minor breakage when building gui | Bill Page | 1 | -1/+1 | |
Added -lopen-axiom-core | |||||
2017-01-20 | Format boot tokens. | Gabriel Dos Reis | 1 | -6/+34 | |
2017-01-17 | More cleanup. | Gabriel Dos Reis | 4 | -34/+24 | |
2017-01-17 | Misc cleanups. | Gabriel Dos Reis | 5 | -131/+120 | |
2017-01-17 | Simplify Tokenizer::get. | Gabriel Dos Reis | 1 | -59/+58 | |
2017-01-16 | Split Tokenizer::get into two functions. | Gabriel Dos Reis | 2 | -45/+55 | |
2017-01-16 | Include commentary lines in fragments. | Gabriel Dos Reis | 2 | -18/+31 | |
2017-01-16 | Remove Fragment::last_indent. | Gabriel Dos Reis | 3 | -8/+6 | |
2017-01-16 | Decorate each input line with its kind. | Gabriel Dos Reis | 2 | -1/+8 | |
2017-01-15 | Use library parser for bemol. | Gabriel Dos Reis | 3 | -77/+79 | |
2017-01-15 | Require C++14. | Gabriel Dos Reis | 7 | -12/+15 | |
2017-01-15 | Add s-expression parsing to libopen-axiom-core.a | Gabriel Dos Reis | 8 | -29/+23 | |
2017-01-15 | TokenValue::Indent, TokenValue::Unindent, TokenValue::Justify | Gabriel Dos Reis | 6 | -24/+26 | |
Classify them as formatting tokens. Remove TokenValue::Artificial. | |||||
2017-01-02 | Include a native entry point for parsing Boot source files, and for | Gabriel Dos Reis | 16 | -76/+248 | |
transpiling to Lisp. | |||||
2016-12-29 | Add Boot support for native load unit specification in foreign | Gabriel Dos Reis | 17 | -17/+84 | |
function import. | |||||
2016-12-26 | * interp/i-output.boot (appChar): Don't modify string parameter. | Gabriel Dos Reis | 6 | -18/+21 | |
* algebra/Makefile.am (strap-1/FINITE.$(FASLEXT)): Update dependency. | |||||
2016-04-07 | Merge pull request #4 from billpage/enumerate | Gabriel Dos Reis | 2 | -1/+4 | |
Enumerate | |||||
2016-04-05 | Fix conflict with catdef enumerate | Bill Page | 1 | -1/+1 | |
Port change from FriCAS https://github.com/fricas/fricas/commit/dbf6a9b559e6872f5a3baa7e55a1c57130f1c335 | |||||
2016-04-05 | Add enumerate to domains that have Finite | Bill Page | 1 | -0/+3 | |
Port change from FriCAS https://github.com/fricas/fricas/commit/dbf6a9b559e6872f5a3baa7e55a1c57130f1c335 | |||||
2016-02-14 | Fix typo in calculation of X_PRE_LIBS | Bill Page | 3 | -2/+6 | |
The previous value set "-Xt" when it should have been "-lXt". | |||||
2016-02-09 | Various cleanups | Gabriel Dos Reis | 3 | -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-08 | Do not let domain closure escape lookupDefinitionFunction | Gabriel Dos Reis | 2 | -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-08 | Tidy gerCapsuleDirectoryEntry | Gabriel Dos Reis | 1 | -2/+9 | |
Factor out candidatesForSlot. | |||||
2016-02-07 | Remove $NRTaddForm | Gabriel Dos Reis | 6 | -38/+37 | |
Use a %CompilerData slot to hold the corresponding data during the elaboration of a capsule. | |||||
2016-02-07 | Remove $NRTderivedTargetIfTrue | Gabriel Dos Reis | 3 | -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-07 | PolynomialCategoryLifting: Weaken constraint on that parameter | Gabriel Dos Reis | 1 | -1/+1 | |
The extra requirement of SetCategory was not being used, as pointed out by Ralf Hemmecke. | |||||
2016-02-07 | Fix #1 | Gabriel Dos Reis | 3 | -2/+23 | |
Add explicit check for <X11/Intrinsic.h> | |||||
2016-02-07 | Look for QT5 in /opt/local/libexec/qt5 on OS X | Gabriel Dos Reis | 3 | -11/+39 | |
2016-02-07 | Various cleanups | Gabriel Dos Reis | 2 | -7/+7 | |
Use `domainDirectory dom` instead of `domainRef(dom,1)`. | |||||
2016-02-06 | Move $lookupDefaults out of newLookupInTable | Gabriel Dos Reis | 2 | -6/+7 | |
Move $lookupDefaults to he callers of newLookupInTable to surface variabilities in the control flow. | |||||
2016-02-06 | optNot: handle conjunction and disjunction operands | Gabriel Dos Reis | 1 | -0/+4 | |
2016-02-06 | Rewrite capsule of IndexedDirectProductOrderedAbelianMonoidSup | Gabriel Dos Reis | 1 | -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-04 | Add leadingTerm to IndexedDirectProductCategory | Gabriel Dos Reis | 1 | -8/+7 | |
2016-02-03 | Clean up IndexedDirectProductAbelianMonoid | Gabriel Dos Reis | 1 | -9/+2 | |
2016-02-02 | Merge branch 'master' of github.com-GabrielDosReis:GabrielDosReis/open-axiom | Gabriel Dos Reis | 2 | -1/+2 | |
2016-02-02 | Rename dbConstructorDefault to dbDefaultPackage | Gabriel Dos Reis | 5 | -30/+36 | |
And various cleanups. | |||||
2016-02-01 | Merge pull request #3 from billpage/alg-typo | Gabriel Dos Reis | 2 | -1/+2 | |
a typo and an omission | |||||
2016-02-01 | Remove dead code in compFunctorBody | Gabriel Dos Reis | 1 | -4/+0 | |
2016-02-01 | a typo and an omission | Bill Page | 2 | -1/+2 | |