Version 1.4.0

Version 1.4.0

Version 1.3.0

• Support for calling external contracts
• coq option for generating Coq specifications for formal verification
• minicc compiler and MiniC unit tests

Version 1.2.0

v1.2.0

Add the new unit test system.

Version 1.1.0

v1.1.0

update version number in readme file.

Version 1.0.0

Binary release for DeepSEA version 1.0