v1.3.1

jesusjda · Jun 20, 2020 · 4ed335b · 4ed335b
1 parent 426b26e
commit 4ed335b
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/CHANGES.txt b/CHANGES.txt
@@ -1,3 +1,6 @@
+v1.3.1 2020/06/19
+- parameter to preserve cost when CFR
+- new binaries of PE that allows not to unfold nodes
 v1.3 2020/06/04
 - non-termination reachability
 - allowing C as entry

diff --git a/version.txt b/version.txt
@@ -1 +1 @@
-1.3
+1.3.1