From 4ed335bbec80aaa982b11fa521e7ef693e565b41 Mon Sep 17 00:00:00 2001
From: jesusjda <jesusjda@gmail.com>
Date: Sat, 20 Jun 2020 11:30:02 +0200
Subject: [PATCH] v1.3.1

---
 CHANGES.txt | 3 +++
 version.txt | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/CHANGES.txt b/CHANGES.txt
index 0ab84a6..09721a5 100644
--- 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
index 7e32cd5..3a3cd8c 100644
--- a/version.txt
+++ b/version.txt
@@ -1 +1 @@
-1.3
+1.3.1