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