Updated Deep Verification Base (markdown)

Matthias Köfferlein 2019-01-08 00:20:15 +01:00
parent 5bc08bb103
commit cf6964d484
1 changed files with 1 additions and 0 deletions

@ -2,6 +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]]
# The problem