## 0.905 (18 May, 2018)

* Greatly improved units-of-measure support
* Separate verification of modules
* Prototype invariants checking feature
* Implicit-none check on program units
* Fortran 95 support