January 21, 2020 - January 28, 2020

Excluding merges, 1 author has pushed 34 commits to master and 34 commits to all branches. On master, 33 files have changed and there have been 2251 additions and 1783 deletions.

7 Releases published by 1 user

Published
v0.9.15 Verifpal 0.9.15 10 hours ago

Published
v0.9.14 Verifpal 0.9.14 1 day ago

Published
v0.9.13 Verifpal 0.9.13 2 days ago

Published
v0.9.12 Verifpal 0.9.12 4 days ago

Published
v0.9.11 Verifpal 0.9.11 4 days ago

Published
v0.9.10 Verifpal 0.9.10 6 days ago

Published
v0.9.9 Verifpal 0.9.9 6 days ago