Platform(s) and requirements

The complete (uncompiled) Infix extenision to the standard ACL2 UNIX distribution, is on the order of 8MB.

Platform Version Requirements

Windows/NT Untried. Since we use FLEX and BISON, this should be considered highly experimental.

Macintosh Untried, as above.

Unix 8MB disk
(sources + tests + books) Only tested with GCL. Should work with other Common Lisp dialects, e.g. Allegro, Lispworks, or Lucid.

Network

Platform	Version	Requirements
Windows/NT		Untried. Since we use FLEX and BISON, this should be considered highly experimental.
Macintosh		Untried, as above.
Unix	8MB disk (sources + tests + books)	Only tested with GCL. Should work with other Common Lisp dialects, e.g. Allegro, Lispworks, or Lucid.
Network

Platform(s) and requirements

This page is URL http://www.computationallogic.com/software/caeti/infix/platform.html