Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2022-09-17 | Disable automatic re-run of configuration steps. (#29) | Gabriel Dos Reis | 9 | -19/+99 | |
2022-09-13 | Revert "Enable basic CI build (#26)" (#27) | Gabriel Dos Reis | 1 | -34/+0 | |
This reverts commit b1a3efb99ffc7f5d08b873cf244713126c966c9a. | |||||
2022-09-13 | Enable basic CI build (#26) | Gabriel Dos Reis | 1 | -0/+34 | |
2022-09-04 | Update Version to 1.5.0-2022-09-06 (#25) | Gabriel Dos Reis | 2 | -11/+11 | |
2022-08-30 | Do not generate `SPADLET` opcode (#24) | Gabriel Dos Reis | 0 | -0/+0 | |
This patch makes the Spad compiler no longer generate `SPADLET`. | |||||
2022-08-30 | Do not generate `SPADLET` opcode (#23) | Gabriel Dos Reis | 4 | -21/+19 | |
This patch makes the Spad compiler no longer generate `SPADLET`. | |||||
2022-08-30 | Use `LETT` less often (#22) | Gabriel Dos Reis | 1 | -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-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-17 | Merge pull request #15 from GabrielDosReis/gdr/hash-function-result | Gabriel Dos Reis | 1 | -19/+16 | |
Stop referencing `std::hash<T>::result_type` | |||||
2022-08-15 | Stop referencing `std::hash<T>::result_type` | Gabriel Dos Reis | 1 | -19/+16 | |
2022-08-14 | Merge pull request #14 from GabrielDosReis/gdr/use-char8_t | Gabriel Dos Reis | 1 | -267/+276 | |
Use `char8_t` in the tool hammer | |||||
2022-08-14 | Merge pull request #13 from GabrielDosReis/gdr/rename-Dynamic-to-Boxed | Gabriel Dos Reis | 3 | -54/+48 | |
Rename `Dynamic` to `Boxed` | |||||
2022-08-13 | Merge pull request #12 from GabrielDosReis/gdr/use-cxx-concepts | Gabriel Dos Reis | 4 | -29/+26 | |
Use C++ concepts in lieu of SFINAE. | |||||
2022-08-13 | Merge pull request #11 from GabrielDosReis/gdr/cxx-version-requirement | Gabriel Dos Reis | 3 | -9/+9 | |
Refactor Autconf macro for requiring C++ version. | |||||
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-08-12 | Refactor Autconf macro for requiring C++ version. | Gabriel Dos Reis | 3 | -9/+9 | |
Require C++ 20. | |||||
2022-08-01 | Merge pull request #10 from GabrielDosReis/gdr/require-cxx17 | Gabriel Dos Reis | 3 | -7/+7 | |
Require C++17 | |||||
2022-07-28 | Require C++17. | Gabriel Dos Reis | 3 | -7/+7 | |
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. |