Reporting Bugs

Use the built-in bug-reporting feature of DrScheme. Under the Help menu, choose Submit Bug Report. Fill in all of the requested information and then click Submit.

System Limitations

We support all of the documented primitive procedures of ACL2, and we support a limited subset of the events / special forms.

For details, search Help Desk for acl2 and follow the first link under the ACL2 Language collection. Scroll down to the Supported Forms section.

If you find that we have omitted or restricted a feature that you cannot do without, then please submit a Bug Report and we will do our best to accommodate your request. Also, note that the code ships with the distribution -- contributions are welcome!

Known Bugs