Skip to content

Pinocchio 2.5.6
Compare
Choose a tag to compare
@jcarpent jcarpent released this 23 Jan 20:18
· 3795 commits to master since this release
v2.5.6
This tag was signed with the committer’s verified signature.
jcarpent Justin Carpentier
GPG key ID: C45D22EF408328AD
Learn about vigilant mode.
0856656
This commit was signed with the committer’s verified signature.
jcarpent Justin Carpentier
GPG key ID: C45D22EF408328AD
Learn about vigilant mode.

This new release comes with a more consistent ABA algorithm (data.a_gf used instead of classic data.a) and more outcomes for computeAllTerms. In addition, it provides some extended supports to PyPy.

Assets 4
Loading