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

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