kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Package py-manticore version 0.1.9

Browse source 
From the release notes:

Added:

 * Ethereum: --txnocoverage cli argument to suppress coverage based analysis halting criteria
 * Ethereum: Support added for more Solidity features (imports, uint/int types, function types)

Fixed:

 * Numerous Ethereum ABI fixes
 * Linux and x86/64 emulation fixes
 * Solver performance issue
This commit is contained in:
khorben 2018-05-06 22:20:22 +00:00
parent 0f4df1a4e3
commit 70b4e314f6
2 changed files with 7 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
devel/py-manticore/Makefile
View file

@ -1,11 +1,11 @@
# $NetBSD: Makefile,v 1.9 2018/04/06 01:46:33 khorben Exp $
# $NetBSD: Makefile,v 1.10 2018/05/06 22:20:22 khorben Exp $
DISTNAME= manticore-${GITHUB_TAG}
PKGNAME= ${PYPKGPREFIX}-${EGG_NAME}
CATEGORIES= devel
MASTER_SITES= ${MASTER_SITE_GITHUB:=trailofbits/}
GITHUB_PROJECT= manticore
GITHUB_TAG= 0.1.8
GITHUB_TAG= 0.1.9
MAINTAINER= khorben@defora.org
HOMEPAGE= https://github.com/trailofbits/manticore/

10
devel/py-manticore/distinfo
View file

@ -1,6 +1,6 @@
$NetBSD: distinfo,v 1.3 2018/04/06 01:46:33 khorben Exp $
$NetBSD: distinfo,v 1.4 2018/05/06 22:20:22 khorben Exp $
SHA1 (manticore-0.1.8.tar.gz) = 178cd8e805488e81a67ee92edb24e26a2f55b1c8
RMD160 (manticore-0.1.8.tar.gz) = 492ab08532ca69e168dafd110d45e8ecc4bc1431
SHA512 (manticore-0.1.8.tar.gz) = 19b142656731476819f548bc2374ddf81d0a4910f6031ab0a715b71599c4901081ab3fe871e73754c60bc6c95d3f103c091d5c2588f888254aa45de3cfa29659
Size (manticore-0.1.8.tar.gz) = 2746878 bytes
SHA1 (manticore-0.1.9.tar.gz) = ae205157778b941b4431d2f6835fcc8fa42896e9
RMD160 (manticore-0.1.9.tar.gz) = 7ac41f81a16961428b59a47cd860696a2298bcfc
SHA512 (manticore-0.1.9.tar.gz) = eb9150a595ac5d38029cf22258cf9a21fcc839a36d0147257f1a478f0494d2773d80bb598044d69988eb5e2ca0546ca5b905d526a8889dc5033437cee98a1e9f
Size (manticore-0.1.9.tar.gz) = 2750644 bytes