trailofbits/manticore

Releases28

Frequency2 months 4 days

Last Releaseover 4 years ago

Stars3.86K

Symbolic execution tool

Subscribe above to receive notifications when new versions are released.

28 releases

Version	Date	Stability Stability is determined by the version string and may be inaccurate.
0.1.2	Jun 14, 2017Wednesday, 14 June 2017, 19:56	Stable
0.1.1	May 5, 2017Friday, 5 May 2017, 19:21	Stable
0.1.0	Apr 26, 2017Wednesday, 26 April 2017, 19:24	Stable