open-axiom/src, branch new-build

WIP

2026-03-17T09:28:16Z

Remove old build system

2022-10-29T13:05:40Z

Fix some compiler warnings & buffer overflows

2022-10-29T09:57:20Z

Use c++20 to build GUI (#30)

2022-10-27T09:31:14Z

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 T> ```

Disable automatic re-run of configuration steps. (#29)

2022-09-18T00:41:17Z

Do not generate `SPADLET` opcode (#23)

2022-08-30T09:37:21Z

This patch makes the Spad compiler no longer generate `SPADLET`.

Use `LETT` less often (#22)

2022-08-30T08:54:45Z

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.

Test assignment opcode in positive form (#21)

2022-08-30T06:08:19Z

The Lisp backend massaging code should test the opcode in positive form, as opposed to exclusion.

Remove reference to PRELET and RELET (#20)

2022-08-28T02:36:39Z

Fix a silent bad codegen (#19)

2022-08-23T20:03:42Z

The compile-time evaluation attempted by `expanndIlt` when both operands are integers seem to generate silent bad code (Lisp mysteries!). Disabled by this patch.