Yan Ivnitskiy a3ee31e6e6

Manticore 0.1.7 Release (#764)

2018-02-23 18:31:31 -05:00

..

binary

Remove win32 support (#535)

2017-11-06 16:51:43 -05:00

core

Fix ARMv7's ADD (#769)

2018-02-23 18:07:49 -05:00

platforms

Emit events for exception raising evm instructions (#722)

2018-02-20 12:10:29 -08:00

utils

Fix incorrect number of transaction in certain states (#724)

2018-02-02 13:23:04 -05:00

__init__.py

Implement user variadic model interface (#276)

2017-05-31 15:48:19 -04:00

__main__.py

Manticore 0.1.7 Release (#764)

2018-02-23 18:31:31 -05:00

ethereum.py

evm: Fix MUL overflow false positive (#767)

2018-02-23 12:42:15 -08:00

manticore.py

Better plugin context management. (#730)

2018-02-14 17:13:40 -03:00

models.py

Fixes ConcretizeArgument Misspelling (#366)

2017-06-29 14:00:34 -04:00