Skip to content
This repository was archived by the owner on Jun 24, 2026. It is now read-only.

Tags: trailofbits/manticore

Tags

0.3.7

Toggle 0.3.7's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Release Manticore 0.3.7 (#2526)

* Bump Version Numbers

* Disable pip audit on PR

* Update CHANGELOG.md

0.3.6

Toggle 0.3.6's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Manticore 0.3.6 (#2456)

* Manticore 0.3.6

* Create release.yml

* Bump point release number for development releases

* Don't include coveralls in release run

* Update nightly build notice

* Update CHANGELOG.md

* Add changelog line for #2420

0.3.5

Toggle 0.3.5's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Manticore 0.3.5 (#1808)

* Update changelog and version numbers

* Update CHANGELOG.md

* Fix missing link to #1816

Definitely worth noting that we don't track gas anymore by default.

* Fix date

0.3.4

Toggle 0.3.4's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Manticore 0.3.4 (#1720)

* Revert 1e23f7a

Remove psutil as a dependency

* Bump version numb, update changelog

* Re-do updated model not available message

* Update for latest PRs

* Update dates

0.3.3

Toggle 0.3.3's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Hotfix: add long_description_content_type

Default is RestructuredTest, not Markdown

0.3.2

Toggle 0.3.2's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Manticore 0.3.2 (#1547)

* Bump to version 0.3.2

* Update changelog for new PR's

* Update changelog

0.3.1

Toggle 0.3.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Manticore 0.3.1 (#1503)

0.3.0

Toggle 0.3.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Revert Unicorn Dependency Update (#1459)

* Partial revert for Unicorn Dependency Update

* re-blacken

Okay fine I fixed it. Happy?

0.2.5

Toggle 0.2.5's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Release 0.2.5 (#1390)

Travis passed in a previous build so we won't bother re-running it for changes to documentation.

0.2.4

Toggle 0.2.4's commit message
Manticore 0.2.4