8000 Tags · ebk13579/ZoKrates · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: ebk13579/ZoKrates

Tags

0.6.2

Toggle 0.6.2's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
10000
Merge pull request Zokrates#700 from Zokrates/rc/0.6.2

Release 0.6.2

latest

Toggle latest's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request Zokrates#700 from Zokrates/rc/0.6.2

Release 0.6.2

0.6.1

Toggle 0.6.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request Zokrates#669 from Zokrates/rc/0.6.1

Release 0.6.1

0.6.0

Toggle 0.6.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request Zokrates#663 from dark64/master

Use latest stable ghp-import from PyPi

0.5.3

Toggle 0.5.3's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request Zokrates#609 from Zokrates/patch-unconstrained-lt

Patch unconstrained lt

0.5.2

Toggle 0.5.2's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request Zokrates#574 from Zokrates/052-typos

typos

0.5.1

Toggle 0.5.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request Zokrates#510 from Zokrates/patch-redef-optimizer

Patch redefinition optimizer to avoid substituting existing variables

0.5.0

Toggle 0.5.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request Zokrates#490 from Zokrates/rc/0.5.0

Release 0.5.0

0.4.11

Toggle 0.4.11's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request Zokrates#464 from Zokrates/rc/0.4.11

Release 0.4.11

0.4.10

Toggle 0.4.10's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request Zokrates#443 from Zokrates/rc/0.4.10

Release 0.4.10
0