Arthur C. Norman edd6595002 A further round of updates to configure.ac. autoconf 2.61 is (I think) 3 роки тому
..
fasl bb0c7832b5 VSL: I can now at least compile and link a version of bpsl on both cygwin and 6 роки тому
fasl-win fc4e9896d6 VSL: README.PSL is now a clearer explanation (I hope) of the files in 6 роки тому
AMD64-inst.dat 8e508735f8 The compiler now gets some way into LAP. Right now it fails at a tim ewhere it 6 роки тому
AMD64_dmain.s 605c19b17d Check in a pile of VSL files so they can be reviewed and tested some more. 6 роки тому
AMD64_ext_dmain.s 605c19b17d Check in a pile of VSL files so they can be reviewed and tested some more. 6 роки тому
AMD64_ext_main.s 605c19b17d Check in a pile of VSL files so they can be reviewed and tested some more. 6 роки тому
AMD64_main.s 605c19b17d Check in a pile of VSL files so they can be reviewed and tested some more. 6 роки тому
AMDasm.lsp b586bdfe5d VSL: I have renames and rearranged verious files so that I can try both 6 роки тому
AMDasm.sh 0b318823d2 VSL: This adds scripts for buinding mingw-w64 stuff to make tests and 6 роки тому
AMDfasl.sh eea8f62cd1 VSL: I wass failing to write some word data into fasl files as a combination 6 роки тому
AMDmain.sh b586bdfe5d VSL: I have renames and rearranged verious files so that I can try both 6 роки тому
Macasm.lsp b586bdfe5d VSL: I have renames and rearranged verious files so that I can try both 6 роки тому
Macasm.sh b586bdfe5d VSL: I have renames and rearranged verious files so that I can try both 6 роки тому
Macfasl.sh eea8f62cd1 VSL: I wass failing to write some word data into fasl files as a combination 6 роки тому
Macmain.sh b586bdfe5d VSL: I have renames and rearranged verious files so that I can try both 6 роки тому
Makefile 829ac3b160 The VSL version of Reduce now builds without visible errors: to get to 3 роки тому
Makefile-cross 1f362adc54 I am going to try to move forward on the VSL front for a bit now... 6 роки тому
PSL-oddities.txt fa5f6a2abf Further updates - this does not let the code get visibly further, but I 6 роки тому
README edd6595002 A further round of updates to configure.ac. autoconf 2.61 is (I think) 3 роки тому
README.PSL fc4e9896d6 VSL: README.PSL is now a clearer explanation (I hope) of the files in 6 роки тому
Winasm.lsp 0b318823d2 VSL: This adds scripts for buinding mingw-w64 stuff to make tests and 6 роки тому
Winasm.sh 0b318823d2 VSL: This adds scripts for buinding mingw-w64 stuff to make tests and 6 роки тому
Winfasl.sh 86617a843b VSL: gets as far through pass-2-3.sl as to where the first compilation of a 6 роки тому
Winmain.sh 0b318823d2 VSL: This adds scripts for buinding mingw-w64 stuff to make tests and 6 роки тому
acn.s 2155429341 VSL: This corrects mistakes in acn.s so that low level tracing will get further, 6 роки тому
acn1.c 527a741366 VSL: I have renamed some files for what I hope will count as clarity, 6 роки тому
alg.tst 6b25d2d726 Can now build almost all of Reduce 12 роки тому
astylerc ebaa7e890e improve settings of svn properties 12 роки тому
bps.c 07b3bbce73 VSL: start to create a header file for the C parts of the PSL kernel 6 роки тому
bpsheap.c 1ed781b596 VSL: This put in "-Wall" when compiling the C code, and then fixes the 6 роки тому
bsd.txt 83cba3c013 initial checkin of vsl 12 роки тому
bsd_dmain.s 605c19b17d Check in a pile of VSL files so they can be reviewed and tested some more. 6 роки тому
bsd_main.s 605c19b17d Check in a pile of VSL files so they can be reviewed and tested some more. 6 роки тому
buildreduce.lsp 9a861a2a3f VSL: This now builds an attempt at Reduce, so after "make reduce" you 3 роки тому
creloc.c 07b3bbce73 VSL: start to create a header file for the C parts of the PSL kernel 6 роки тому
echo.c 07b3bbce73 VSL: start to create a header file for the C parts of the PSL kernel 6 роки тому
extras.lsp 630cfcb6d5 Some of the issues I was seeing with mathjax was because when I set up code 3 роки тому
factorial.sl 68ae0975d8 A small further step towards PSL buidling using vsl. The scriupt 6 роки тому
fetchfrom.sh 605c19b17d Check in a pile of VSL files so they can be reviewed and tested some more. 6 роки тому
file-status.c 07b3bbce73 VSL: start to create a header file for the C parts of the PSL kernel 6 роки тому
flnk_startform.h aa34220a77 VSL: Check in a couple of files I had failed to before, and rename 6 роки тому
float.c 1ed781b596 VSL: This put in "-Wall" when compiling the C code, and then fixes the 6 роки тому
formlink2.c 1ed781b596 VSL: This put in "-Wall" when compiling the C code, and then fixes the 6 роки тому
fudgedata.c 527a741366 VSL: I have renamed some files for what I hope will count as clarity, 6 роки тому
library.lsp 9a861a2a3f VSL: This now builds an attempt at Reduce, so after "make reduce" you 3 роки тому
linux-dmain.s 2155429341 VSL: This corrects mistakes in acn.s so that low level tracing will get further, 6 роки тому
linux-main.s 527a741366 VSL: I have renamed some files for what I hope will count as clarity, 6 роки тому
mac_dmain.s 605c19b17d Check in a pile of VSL files so they can be reviewed and tested some more. 6 роки тому
mac_main.s 605c19b17d Check in a pile of VSL files so they can be reviewed and tested some more. 6 роки тому
main-dmain.sh 2155429341 VSL: This corrects mistakes in acn.s so that low level tracing will get further, 6 роки тому
mingw64_dmain.s 605c19b17d Check in a pile of VSL files so they can be reviewed and tested some more. 6 роки тому
mingw64_main.s 605c19b17d Check in a pile of VSL files so they can be reviewed and tested some more. 6 роки тому
missing 83cba3c013 initial checkin of vsl 12 роки тому
mytrace.lsp 0bb25f842d By telling my VSL-based cross-compiler which functioons PSL views as 6 роки тому
os-hooks.c 1ed781b596 VSL: This put in "-Wall" when compiling the C code, and then fixes the 6 роки тому
package.map 4087910c0d This updates the package.map for vsl. When I look at the log from building 3 роки тому
printf.lsp be475cff1c Further updates to PSL compiler in VSL. 6 роки тому
psl-cygwin.sh 527a741366 VSL: I have renamed some files for what I hope will count as clarity, 6 роки тому
psl-linux.sh 527a741366 VSL: I have renamed some files for what I hope will count as clarity, 6 роки тому
psl-mac.sh db745af714 VSL: It looks now as if with this version I can build on cygwin, Linux and 6 роки тому
psl-support-1.lsp 86617a843b VSL: gets as far through pass-2-3.sl as to where the first compilation of a 6 роки тому
psl-win.sh 8d2bb0a843 VSL: get cygwin support a bit more stable by arranging that the GNU assembler 6 роки тому
psl.h 3bb4ec9164 The header file involved in the previous checkin! 6 роки тому
pslextras.c 07b3bbce73 VSL: start to create a header file for the C parts of the PSL kernel 6 роки тому
pslsocket.c 1ed781b596 VSL: This put in "-Wall" when compiling the C code, and then fixes the 6 роки тому
pslstubs.c fc4e9896d6 VSL: README.PSL is now a clearer explanation (I hope) of the files in 6 роки тому
pwd-fn.c 07b3bbce73 VSL: start to create a header file for the C parts of the PSL kernel 6 роки тому
regressions.list 9a861a2a3f VSL: This now builds an attempt at Reduce, so after "make reduce" you 3 роки тому
reindent.sh 83cba3c013 initial checkin of vsl 12 роки тому
sigs.c 07b3bbce73 VSL: start to create a header file for the C parts of the PSL kernel 6 роки тому
try-AMDasm.sh b586bdfe5d VSL: I have renames and rearranged verious files so that I can try both 6 роки тому
try-AMDfasl.sh 6a5934f368 VSL: The attempt to create aq FASL (.b) file now does not crash (at least 6 роки тому
try-Macfasl.sh 6a5934f368 VSL: The attempt to create aq FASL (.b) file now does not crash (at least 6 роки тому
try-Winfasl.sh 6a5934f368 VSL: The attempt to create aq FASL (.b) file now does not crash (at least 6 роки тому
try-bpsl.sh 527a741366 VSL: I have renamed some files for what I hope will count as clarity, 6 роки тому
try-fasl.lsp 86617a843b VSL: gets as far through pass-2-3.sl as to where the first compilation of a 6 роки тому
try-real.sh 0bb25f842d By telling my VSL-based cross-compiler which functioons PSL views as 6 роки тому
try.sh 999e7936d2 CSL: For very large integers CSL uses a version of Karatsuba that runs 6 роки тому
unix-io.c 07b3bbce73 VSL: start to create a header file for the C parts of the PSL kernel 6 роки тому
vsl.c 9a861a2a3f VSL: This now builds an attempt at Reduce, so after "make reduce" you 3 роки тому
vsl.lsp 829ac3b160 The VSL version of Reduce now builds without visible errors: to get to 3 роки тому
vsl1.c edd6595002 A further round of updates to configure.ac. autoconf 2.61 is (I think) 3 роки тому
vslcompat.lsp 5123aeadbc VSL: more fixes towards getting bigger files converted to .b format. 6 роки тому
vslfunctions.tex 9e1f88e7d8 add the start of a manual 12 роки тому
vslmanual.pdf 77729713c9 vsl now runs a lot more of Reduce, and has bignums 12 роки тому
vslmanual.tex c58ed9988a tiny change to manual 12 роки тому
win-dmain.s 2155429341 VSL: This corrects mistakes in acn.s so that low level tracing will get further, 6 роки тому
win-main.s 527a741366 VSL: I have renamed some files for what I hope will count as clarity, 6 роки тому
xxxfasl.lsp 999e7936d2 CSL: For very large integers CSL uses a version of Karatsuba that runs 6 роки тому

README

This is the VSL Lisp system. Its key attribute is that it is SMALL.
The source file (vsl.c) is around 3000 lines long, but despite that
the system can build and run much of Reduce. Since there is only
an interpreter it will be slow, but for teaching purposes and for
fun it may still be of interest.

There are two versions here (apologies).
vsl1.c can be compiled and is expected to run Reduce. Try "make reduce" here
and then "./vsl1 -i reduce.img" possibly followed by a file-name to read.
This is all interpreted and the bignum arithmetic is painfully slow, but all
it needs is a simple C compiler so it may be of interest as at leaset a first
test on a new and potentially tricky machine. But note that a Reduce built
that was is not only slow but it has not been seriously tested and either
bugs in vsl1 or missing features may cause problems to arise. Because vsl1.c
is so compact you are mostly expected to track those down and fix them for
yourself!

The second version is called simply vsl.c. That was being used as part of a
project to explore the bootstrapping phases of building PSL. It thus has
options to mimic the parsing regime in a raw "bpsl" Lisp (with eg "-" and "&"
treated as letters so that one can have a token &abc-def without needing
to use escape characters to spell it). There are some somewhat fragmentary
files and stages in the Makefile for starting to build a PSL kernel. The work
there got as far as "proof of concept" and so is available if anybody wants
to pick it up, but it is not complete or tidy! If you want to port PSL as a
serious task you will be better off using an existing version and running
initial bootstrap stages as cross-builds on a platform where everthing is
known to be stable.

Arthur Norman. 2012-2018, 2021