Download
Permission is hereby given to use, copy, modify, and distribute the SLADE
software provided that:
-
Copyright and proprietary notices are retained in each copy,
-
any files which are modified are identified as such, and
-
you do not copy or distribute the software for payment or for commercial
use without prior written consent from the
Formal Methods & Tools Group.
We make no representations or warranties of any kind concerning this software
or its use!
Click on one of the platforms listed below to download the SLADE software on your computer.
-
Solaris 2.5 / SunOS 5.5.1
(comandline version 2.8, size 682k, see readme file)
-
Linux 2.0.29
(commandline version 2.8, size 644k, see readme file)
-
Linux 2.2.12
(commandline version 2.9, size 737k, see readme file)
-
MS-Windows 95/NT 4.0/2K (commandline version 2.8 + GUI, size 811k, see readme file)
-
MS-Windows 95/NT 4.0/2K (commandline version 2.9 + GUI, size 1Mb, see readme file)
-
Click here to download the patch for using Slade
2.8 + GUI in combination with Borland C++ Builder 5 (just unzip the zip file in your
Slade installation directory).
-
Click here to download the patch for using Slade
2.9 + GUI in combination with Borland C++ Builder 5 (just unzip the zip file in your
Slade installation directory).
Note 1: Blanks in directory path names are not (yet) supported, so try to avoid them when choosing your installation directory.
Note 2: When using Slade version 2.8 or 2.9 under MS-Windows 98 you need to take
the following steps after installation:
- Goto the bin directory of Slade and set the following properties for the
files: mkpars.bat, codgen.bat and sladerun.bat (properties of a file can be set
by right-clicking on a file and selecting the properties menu-item).
- In the Properties dialog select the "Memory" tab and set the "Initial
environment" field to 1024.
- Then select the "Program" tab and set the "Close on exit" flag.
- Then click on "Apply" and "OK". That's all, when you're using Slade 2.8.
- When you're using Slade 2.9 under Windows 98, you also need to replace the
three .bat files, click here to download the new files.
Note 3: generation of the interactive debugger/compiler is only done in
the MS-Windows version.