aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2022-08-30Do not generate `SPADLET` opcode (#23)Gabriel Dos Reis4-21/+19
This patch makes the Spad compiler no longer generate `SPADLET`.
2022-08-30Use `LETT` less often (#22)Gabriel Dos Reis1-3/+6
This patch has the Lisp backend use less often the `LETT` opcode. In fact, it is no longer used by the Spad compiler codegen. However, a few cases in the interpreter continues to use it.
2022-08-29Test assignment opcode in positive form (#21)Gabriel Dos Reis1-1/+1
The Lisp backend massaging code should test the opcode in positive form, as opposed to exclusion.
2022-08-27Remove reference to PRELET and RELET (#20)Gabriel Dos Reis1-2/+2
2022-08-23Fix a silent bad codegen (#19)Gabriel Dos Reis1-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-21Fix build with SBCL-2.1.0 (#18)Gabriel Dos Reis1-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-21Boot parser: Remove useless AST functions (#17)Gabriel Dos Reis5-36/+15
A couple of the Boot AST building functions are identity functions. Remove to reduce obfuscation.
2022-08-20fix sbcl 1.5.9 build (#16)Gabriel Dos Reis5-42/+66
* Fix build with SBCL-1.5.9 * Fix dynamic loading of open-axiom-core.so
2022-08-17Merge pull request #15 from GabrielDosReis/gdr/hash-function-resultGabriel Dos Reis1-19/+16
Stop referencing `std::hash<T>::result_type`
2022-08-15Stop referencing `std::hash<T>::result_type`Gabriel Dos Reis1-19/+16
2022-08-14Merge pull request #14 from GabrielDosReis/gdr/use-char8_tGabriel Dos Reis1-267/+276
Use `char8_t` in the tool hammer
2022-08-14Merge pull request #13 from GabrielDosReis/gdr/rename-Dynamic-to-BoxedGabriel Dos Reis3-54/+48
Rename `Dynamic` to `Boxed`
2022-08-13Merge pull request #12 from GabrielDosReis/gdr/use-cxx-conceptsGabriel Dos Reis4-29/+26
Use C++ concepts in lieu of SFINAE.
2022-08-13Merge pull request #11 from GabrielDosReis/gdr/cxx-version-requirementGabriel Dos Reis3-9/+9
Refactor Autconf macro for requiring C++ version.
2022-08-13Use `char8_t` in the tool hammerGabriel Dos Reis1-267/+276
2022-08-13Rename `Dynamic` to `Boxed`Gabriel Dos Reis3-54/+48
2022-08-12Use C++ concepts in lieu of SFINAE.Gabriel Dos Reis4-29/+26
2022-08-12Refactor Autconf macro for requiring C++ version.Gabriel Dos Reis3-9/+9
Require C++ 20.
2022-08-01Merge pull request #10 from GabrielDosReis/gdr/require-cxx17Gabriel Dos Reis3-7/+7
Require C++17
2022-07-28Require C++17.Gabriel Dos Reis3-7/+7
2022-07-25Merge pull request #9 from GabrielDosReis/gdr/configure-updateGabriel Dos Reis10-3642/+4856
Update configure.
2022-07-24Merge pull request #8 from GabrielDosReis/gdr/fix-memset-inverted-argsGabriel Dos Reis1-2/+2
Fix inverted arguments in call to `memset`.
2022-07-24Fix inverted arguments in call to `memset`.Gabriel Dos Reis1-2/+2
2022-07-23Update configure.Gabriel Dos Reis10-3642/+4856
2018-02-01Fix thinkoGabriel Dos Reis1-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-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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 21:43:21 +0000