diff --git a/Deep-Verification-Base.md b/Deep-Verification-Base.md index c91ed65..01a6500 100644 --- a/Deep-Verification-Base.md +++ b/Deep-Verification-Base.md @@ -3,7 +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 Persistence and some reworks|2019-01-19]] +* [[2019-01-19 Persistency and some reworks|2019-01-19]] # The problem