atom-0.0.4: RELEASE-NOTES

atom 0.0.4    05/19/2009

- Made local variables static in generated C.
- Added checking for duplicate probe names.
- Added hierarchical expression count report.
- Removed dot graph for rule-variable relationships.
- Added support for arrays.  See array, (!), and (!.).
  WARNING: No checks for index out of bounds or overlapping assignments.

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.