Session Viewer — ACL2 Sidekick

Loading...

### Session Viewer

This is like ACL2's :pbt command. It updates automatically as you submit new commands.

- Hover to expand a command (like :pc).
- Click to see even more (like :pcb!.)
  Note: this can produce a lot of output for commands like `include-book`.

##### Color Guide

Enabled
Partially enabled/disabled
Disabled
Logic mode, guards verified
Logic mode, guards not verified
Program mode
Other command, or mixed modes

#### Todo/Wishlist

- Home package updating
- Hyperlinks to lookup page or some other better info mechanism.
- The :pcb display is confusing for large items like include-books; it'd be nice to better present how things are getting expanded, e.g., with arrows/indentation showing the expansion steps...
- Capture/export session button
- See other things instead of just :pcb output, like :pr output.
- Search for events related to a particular symbol.

Is there a way to see what definitions got introduced by a command?Is there a way to see what xdoc got introduced?