Skip to content

Tags: trailofbits/circomspect

Tags

v0.9.0

Toggle v0.9.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Merge pull request #22 from trailofbits/clippy-fixes

Linter fixes and bumped crate version

v0.8.1

Toggle v0.8.1's commit message
Bumped versions

v0.8.0

Toggle v0.8.0's commit message
Version 0.8.0

v0.7.2

Toggle v0.7.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 #8 from trailofbits/dev/version-0.7.2

Version 0.7.2

v0.7.1

Toggle v0.7.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 #7 from trailofbits/dev/version-0.7.1

Fixed under-constrained warning message

v0.7.0

Toggle v0.7.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 #6 from trailofbits/dev/version-0.7.0

Update to version 0.7.0

v0.6.2

Toggle v0.6.2's commit message
Bumped versions

v0.6.0

Toggle v0.6.0's commit message
Updated warning for binary conversion analysis pass