Tags: ebk13579/ZoKrates
Tags
Merge pull request Zokrates#700 from Zokrates/rc/0.6.2 Release 0.6.2
Merge pull request Zokrates#700 from Zokrates/rc/0.6.2 Release 0.6.2
Merge pull request Zokrates#669 from Zokrates/rc/0.6.1 Release 0.6.1
Merge pull request Zokrates#663 from dark64/master Use latest stable ghp-import from PyPi
Merge pull request Zokrates#609 from Zokrates/patch-unconstrained-lt Patch unconstrained lt
Merge pull request Zokrates#510 from Zokrates/patch-redef-optimizer Patch redefinition optimizer to avoid substituting existing variables
Merge pull request Zokrates#490 from Zokrates/rc/0.5.0 Release 0.5.0
Merge pull request Zokrates#464 from Zokrates/rc/0.4.11 Release 0.4.11
Merge pull request Zokrates#443 from Zokrates/rc/0.4.10 Release 0.4.10
PreviousNext