From 4993418ee7784e1d3e9bca65ecfa4f69a58d2329 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Matthias=20K=C3=B6fferlein?= <matthias@koefferlein.de>
Date: Mon, 21 Jan 2019 00:10:04 +0100
Subject: [PATCH] Updated Deep Verification Base (markdown)

---
 Deep-Verification-Base.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Deep-Verification-Base.md b/Deep-Verification-Base.md
index b5d613b..6b2aac4 100644
--- a/Deep-Verification-Base.md
+++ b/Deep-Verification-Base.md
@@ -3,6 +3,7 @@ The Deep Verification Base development happens in the "dvb" branch: https://gith
 Updates:
 * [[2018-12-31 First functional implementation of a netlist extractor|2018-12-31]]
 * [[2019-01-07 Stable implemenation + performance improvements, additional functionality|2019-01-07]]
+* [[2019-01-19 Persistency and some reworks]]
 
 # The problem