A tool that analyzes the memory usage in your ACL2 session. (CCL Only)
(spacewalk) → *
This is a debugging aide that collects and prints some space usage information to the console. Usage is simply:
(include-book "centaur/misc/spacewalk" :dir :system) :spacewalk
You should almost certainly not include the spacewalk book in ordinary ACL2 books, since it will not help you prove anything. You could include it in your ACL2-customization file or similar. We may eventually try to integrate it into the Sidekick.