Version 0.0.02 (2017-10-11)

* detecting racing side-effects #186
* banning the keyword uint in favor of uint256
* More elegant parser using Menhir libraries

Version 0.0.02 (2017-10-13)

* detecting racing side-effects #186
* banning the keyword uint in favor of uint256
* More elegant parser using Menhir libraries

Change dates of the release
Change dates of the release
