ACL2 Version 2.9 News

Performance Comparisons

The following times were for the full ACL2 regression suite (distributed and workshop books), on the same, almost surely unloaded, x86 machine running Debian GNU/Linux 3.0.

Below, the first number, User time, is probably the most relevant for comparisons. The format is essentially:

         %Uuser %Ssystem %Eelapsed %PCPU (%Xtext+%Ddata %Mmax)k
         %Iinputs+%Ooutputs (%Fmajor+%Rminor)pagefaults %Wswaps

Possible GCL/Windows issues

We have seen problems with ACL2 on GCL Version 2.6.5 on Windows. We are providing assistance to GCL maintainer Camm Maguire as he looks into this. In the meantime, a workaround is to download the following files and put them in the directory with your ACL2 image (presumably the ACL2 source directory).
  • gazonk520.o
  • windows_saved_acl2
  • The file windows_saved_acl2 (which you are welcome to rename) will be your ACL2 executable. Open it in an editor and edit pathnames as indicated.

    Optionally, instead of downloading gazonk520.o, you can download gazonk520.lsp and compile it yourself to create gazonk520.o.