aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2022-10-29Replace copy_c_strHEADmasterIgor Pashev1-2/+2
2022-10-29Fix some compiler warnings & buffer overflowsIgor Pashev46-185/+166
2022-10-27Use c++20 to build GUI (#30)Igor Pashev1-1/+1
Fixes error: ``` g++ -c -pipe -std=c++11 -Wno-mismatched-tags -Wno-string-plus-int -O2 -Wall -Wextra -D_REENTRANT -fPIC -DQT_NO_DEBUG -DQT_WIDGETS_LIB -DQT_GUI_LIB -DQT_CORE_LIB -I. -I../../x86_64-pc-linux-gnu/include -I../../../src/gui -I../../../src/include -I../../config -I/usr/include/x86_64-linux-gnu/qt5 -I/usr/include/x86_64-linux-gnu/qt5/QtWidgets -I/usr/include/x86_64-linux-gnu/qt5/QtGui -I/usr/include/x86_64-linux-gnu/qt5/QtCore -I. -I/usr/lib/x86_64-linux-gnu/qt5/mkspecs/linux-g++ -o server.o ../../../src/gui/server.cc In file included from ../../../src/include/open-axiom/Lisp:43, from ../../../src/gui/server.h:38, from ../../../src/gui/server.cc:33: ../../../src/include/open-axiom/vm:177:21: error: ‘std::same_as’ has not been declared 177 | template<std::same_as<bool> T> ```
2022-09-17Gdr/enable basic ci (#28)Gabriel Dos Reis1-0/+37
* Enable basic CI build * Fix indentation thinko * Update main.yml * Update main.yml * Update main.yml * Really install the advertised compilers * install libxpm-dev * Do not rerun configure * Disable maintainer mode * Update main.yml
2022-09-17Disable automatic re-run of configuration steps. (#29)Gabriel Dos Reis9-19/+99
2022-09-13Revert "Enable basic CI build (#26)" (#27)Gabriel Dos Reis1-34/+0
This reverts commit b1a3efb99ffc7f5d08b873cf244713126c966c9a.
2022-09-13Enable basic CI build (#26)Gabriel Dos Reis1-0/+34
2022-09-04Update Version to 1.5.0-2022-09-06 (#25)Gabriel Dos Reis2-11/+11
2022-08-30Do not generate `SPADLET` opcode (#24)Gabriel Dos Reis0-0/+0
This patch makes the Spad compiler no longer generate `SPADLET`.
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