Commit Graph

2 Commits

Author SHA1 Message Date
Ethan Frey 46d10db990 fix unit tests 2017-09-08 20:47:46 +02:00
Ethan Frey e0ddecc229 Move proof logic away from viper 2017-09-08 20:47:46 +02:00