Merge pull request pirapira#339 from pirapira/0.0.2rc

Version 0.0.2
mmalvarez · Mar 5, 2017 · 5cb9b23 · 5cb9b23
2 parents 64c3251 + 6ac1647
commit 5cb9b23
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/HISTORY b/HISTORY
@@ -1,9 +1,10 @@
-### 0.0.2 (not released yet)
+### 0.0.2 (2017-02-27)
 
-Plan:
- * Some simple Hoare logic-like development in Isabelle/HOL
+Features:
+ * Coq extraction; again thanks Sami Mäkelä for the tireless efforts
+ * Termination proof in `example/ConstantGas.thy`
 
-### 0.0.1 (not relased yet)
+### 0.0.1 (2017-01-04)
 
 Features:
  * EVM definition in Lem with all instructions; thanks Sami Mäkelä for the porting and bug spottings.