From 0f88ddc331d1725b4f89cdb7a83efff5b51a209e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Matthias=20K=C3=B6fferlein?= Date: Tue, 8 Jan 2019 20:57:14 +0100 Subject: [PATCH] Updated Deep Verification Base (markdown) --- Deep-Verification-Base.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Deep-Verification-Base.md b/Deep-Verification-Base.md index 797c0be..b5d613b 100644 --- a/Deep-Verification-Base.md +++ b/Deep-Verification-Base.md @@ -2,7 +2,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, performance improvement, functionality|2019-01-07]] +* [[2019-01-07 Stable implemenation + performance improvements, additional functionality|2019-01-07]] # The problem