|
Bayfront CAPE Tools v1.5b
CAPE Tools for Windows v1.5b is the current CAPE product.
Version 1.5 initially shipped in June 1993 and went through a
minor revision to v1.5b in January 1995. All CAPE 1.5 versions
can produce formal theory protocol simulation and validation output.
See the news item on the AT&T SPIN simulator.
The Bayfront CAPE Tools v1.5 User's Manual for is available
for download in PDF form.
This version will operate under all versions of MS Windows 3.1 or greater.
Changes and Known Problems with CAPE Tools v1.5b
|
|
Bayfront CAPEGen v1.5b
CAPEGen v1.5 for compiling PDL to C is a command line compiler compatible with the CAPE Tools for Windows v1.5.
It is supported on UNIX systems where there is a need for source code control builds of PDL either developed using the
CAPE Tools product.
|
|
Bayfront CAPE Tools v1.0
The initial version of the Bayfront CAPE Tools v1.0 shipped in June 1992 as the stand-alone tools CAPEDraw and CAPEGen.
CAPEDraw v1.0 for drawing and printing diagrams under MSDOS is no longer supported. CAPEGen v1.0 compiled PDL under
MSDOS and UNIX.
|