Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2022-08-29 | Test assignment opcode in positive form (#21) | Gabriel Dos Reis | 1 | -1/+1 | |
The Lisp backend massaging code should test the opcode in positive form, as opposed to exclusion. | |||||
2022-08-27 | Remove reference to PRELET and RELET (#20) | Gabriel Dos Reis | 1 | -2/+2 | |
2022-08-23 | Fix a silent bad codegen (#19) | Gabriel Dos Reis | 1 | -3/+1 | |
The compile-time evaluation attempted by `expanndIlt` when both operands are integers seem to generate silent bad code (Lisp mysteries!). Disabled by this patch. | |||||
2022-08-21 | Fix build with SBCL-2.1.0 (#18) | Gabriel Dos Reis | 1 | -3/+3 | |
SBCL-2.1.0 and up have more refined type inference from array operations. As a consequence, they caught a coding slopping in the function `SUFFIX` - even if "benign" with respect to effective inputs. | |||||
2022-08-21 | Boot parser: Remove useless AST functions (#17) | Gabriel Dos Reis | 5 | -36/+15 | |
A couple of the Boot AST building functions are identity functions. Remove to reduce obfuscation. | |||||
2022-08-20 | fix sbcl 1.5.9 build (#16) | Gabriel Dos Reis | 5 | -42/+66 | |
* Fix build with SBCL-1.5.9 * Fix dynamic loading of open-axiom-core.so | |||||
2022-08-15 | Stop referencing `std::hash<T>::result_type` | Gabriel Dos Reis | 1 | -19/+16 | |
2022-08-13 | Use `char8_t` in the tool hammer | Gabriel Dos Reis | 1 | -267/+276 | |
2022-08-13 | Rename `Dynamic` to `Boxed` | Gabriel Dos Reis | 3 | -54/+48 | |
2022-08-12 | Use C++ concepts in lieu of SFINAE. | Gabriel Dos Reis | 4 | -29/+26 | |
2022-07-23 | Update configure. | Gabriel Dos Reis | 5 | -95/+159 | |
2022-07-24 | Fix inverted arguments in call to `memset`. | Gabriel Dos Reis | 1 | -2/+2 | |
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-01 | Name bracket pattern parser | Gabriel Dos Reis | 5 | -151/+228 | |
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 | 8 | -11/+102 | |
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-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 | 4 | -7/+10 | |
2017-01-15 | Add s-expression parsing to libopen-axiom-core.a | Gabriel Dos Reis | 7 | -28/+19 | |
2017-01-15 | TokenValue::Indent, TokenValue::Unindent, TokenValue::Justify | Gabriel Dos Reis | 4 | -13/+15 | |
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 | 14 | -64/+236 | |
transpiling to Lisp. | |||||
2016-12-29 | Add Boot support for native load unit specification in foreign | Gabriel Dos Reis | 12 | -16/+65 | |
function import. | |||||
2016-12-26 | * interp/i-output.boot (appChar): Don't modify string parameter. | Gabriel Dos Reis | 4 | -7/+10 | |
* algebra/Makefile.am (strap-1/FINITE.$(FASLEXT)): Update dependency. | |||||
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-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 | 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 | Remove dead code in compFunctorBody | Gabriel Dos Reis | 1 | -4/+0 | |