afv-0.0.3: RELEASE-NOTES

afv 0.0.0    01/12/10

- Initial release.

afv 0.0.1    01/14/10

- Checks for duplicate top-level names.
- Uses yices new 'quickCheckY'.
- Fixed bug affecting 'assume'.

afv 0.0.2    01/17/10

- Support for function arguments.  Still no support for return values.
- Stronger type checking.

afv 0.0.3    01/19/10

- Bug fix to --yices command option.
- Added basic counter example generation.