Add merkle library #48

Merged
jadeallenx merged 13 commits from mra/merkle-cleanup into master 2015-12-02 07:25:51 +00:00
Showing only changes of commit 7f561f34e0 - Show all commits

1
.gitignore vendored
View file

@ -26,3 +26,4 @@ rel/machi
current_counterexample.eqc current_counterexample.eqc
foo* foo*
typescript* typescript*
*.swp