aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
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
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.
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-26 18:02:26 +0000