atom-0.0.2: RELEASE-NOTES

atom 0.0.2    04/26/2009

- Disabled Yices bounded model checking.  Removed search depth compile argument.
- Removed include, preCode, and postCode compile arguments.
- Added external variable declations (bool', word32', etc).  Removed Cust expressions.
- Generates dot file to display rule-variable relationships.
- Added hooks for rule execution coverage.

atom 0.0.1    04/22/2009

- Initial cabal release.