Skip to main content

Browse the archive

https://github.com/VeriDeep/DLV
11 January 2021, 08:27:46 UTC
Name Target Message Date
HEAD 1ecb19b Merge remote-tracking branch 'upstream/master' 05 February 2018, 15:50:21 UTC
refs/heads/gh-pages fe0453b Create gh-pages branch via GitHub 04 November 2016, 18:37:34 UTC
refs/heads/master 1ecb19b Merge remote-tracking branch 'upstream/master' 05 February 2018, 15:50:21 UTC
back to top