open-axiom/src/interp, branch master open scientific computation system https://git.pashev.ru/open-axiom/atom?h=master 2022-08-30T09:37:21Z Do not generate `SPADLET` opcode (#23) 2022-08-30T09:37:21Z Gabriel Dos Reis GabrielDosReis@users.noreply.github.com 2022-08-30T09:37:21Z urn:sha1:c557c02fc88f18644b1ab0aa85756af09585ed47 This patch makes the Spad compiler no longer generate `SPADLET`. Use `LETT` less often (#22) 2022-08-30T08:54:45Z Gabriel Dos Reis GabrielDosReis@users.noreply.github.com 2022-08-30T08:54:45Z urn:sha1:c6187dc679a536686afbdeb0999346699df625ce 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 Gabriel Dos Reis GabrielDosReis@users.noreply.github.com 2022-08-30T06:08:19Z urn:sha1:858498e27c7266675e81850c8bda624f6ae89429 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 Gabriel Dos Reis GabrielDosReis@users.noreply.github.com 2022-08-28T02:36:39Z urn:sha1:069c7d86ef4c4047bcd5d20cda1045c9ce35457d Fix a silent bad codegen (#19) 2022-08-23T20:03:42Z Gabriel Dos Reis GabrielDosReis@users.noreply.github.com 2022-08-23T20:03:42Z urn:sha1:8e451b6ece535c7fa55f0dc88ab94b48f03c598c The compile-time evaluation attempted by `expanndIlt` when both operands are integers seem to generate silent bad code (Lisp mysteries!). Disabled by this patch. Fix build with SBCL-2.1.0 (#18) 2022-08-22T00:20:41Z Gabriel Dos Reis GabrielDosReis@users.noreply.github.com 2022-08-22T00:20:41Z urn:sha1:befbdac85c917646d1b9aa411c5c69ac3134a94d 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. fix sbcl 1.5.9 build (#16) 2022-08-21T06:10:21Z Gabriel Dos Reis GabrielDosReis@users.noreply.github.com 2022-08-21T06:10:21Z urn:sha1:3dc479ae544db8bc9224f183f33cb3e16fe2daac * Fix build with SBCL-1.5.9 * Fix dynamic loading of open-axiom-core.so Fix thinko 2018-02-01T14:04:27Z Gabriel Dos Reis gdr@axiomatics.org 2018-02-01T14:04:27Z urn:sha1:d113f3f7ba119fecd9d946bced8d3dfe9456b933 Existing code did not supply the domain to export from, hence supplying one fewer argument to `genImportDeclaration`. Issue discovered by build with CLISP. Fix build with SBCL 2017-12-27T11:29:02Z Gabriel Dos Reis gdr@axiomatics.org 2017-12-27T11:29:02Z urn:sha1:d16f9a090321f1ec1e8b20f1fb30859bf93cea46 ERROR does no expect a LIST. * interp/i-output.boot (appChar): Don't modify string parameter. 2016-12-26T09:13:34Z Gabriel Dos Reis gdr@axiomatics.org 2016-12-26T09:13:34Z urn:sha1:a8a3b2cdf66d274c831ad6229e6123e9cd68e07d * algebra/Makefile.am (strap-1/FINITE.$(FASLEXT)): Update dependency.