atom-0.0.3: RELEASE-NOTES

atom 0.0.3    05/05/2009

- Set build-depends: process >= 1.0.1.1 for readProcess
- Traded e<n> variable names for __<n> in generated C code.
- Made Atom a monad.  Removed use of Control.Monad.State.
- Added Config type to configure C code generation.

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.