Updated Deep Verification Base (markdown)

Matthias Köfferlein 2019-01-21 00:29:52 +01:00
parent 549e67cd04
commit 4c6ac2c39f
1 changed files with 1 additions and 1 deletions

@ -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 Persistency and some reworks|2019-01-19]]
* [[2019-01-19 Persistence and some reworks|2019-01-19]]
# The problem