2024-10-13 21:56:58 by Thomas Klausner | Files touched by this commit (7) |
Log message:
py-sha3: not for Python 3.13
Mark all dependencies of it the same way.
|
2023-11-03 10:59:07 by Thomas Klausner | Files touched by this commit (1) |
Log message:
py-manticore: not for Python 3.12
|
2023-05-11 11:53:06 by Adam Ciarcinski | Files touched by this commit (4) | |
Log message:
py-manticore: updated to 0.3.7
0.3.7
Ethereum
Use crytic-compile 0.2.2
Multi-transaction analysis now uses fixed attacker and owner contracts
Native
[Added API] Retrieve list of unimplemented syscalls
Add FXSAVE/FXRSTOR concrete support on x86
Add last_executed_pc property to CPU
Support LD_LIBRARY_PATH
Optional will/did_read_memory events
Fixed base address handling on Linux
Add ENDBR-style NOPs
Support epoll-related syscalls
Other
[Added API] Add fork policy for providing explicit values
Fixed Constant Folding
Add simplifications for subtraction
Parent state ID, last PC now available in state descriptors
States now contain a reference to the current manticore instance
fast_fail config to exit after first state exception
Scaling bugfix for large solver queries
Don't fork when only one solution is found for Concretize
|
2022-11-14 15:34:49 by Thomas Klausner | Files touched by this commit (15) |
Log message:
py-pysha3: mark as not for python 3.11
This was only ever intended for python < 3.6, but we do have some
users in pkgsrc on newer python versions.
|
2022-01-05 16:41:32 by Thomas Klausner | Files touched by this commit (289) |
Log message:
python: egg.mk: add USE_PKG_RESOURCES flag
This flag should be set for packages that import pkg_resources
and thus need setuptools after the build step.
Set this flag for packages that need it and bump PKGREVISION.
|
2022-01-04 21:55:40 by Thomas Klausner | Files touched by this commit (1595) |
Log message:
*: bump PKGREVISION for egg.mk users
They now have a tool dependency on py-setuptools instead of a DEPENDS
|
2021-12-30 14:05:42 by Adam Ciarcinski | Files touched by this commit (125) |
Log message:
Forget about Python 3.6
|
2021-10-26 12:20:11 by Nia Alarie | Files touched by this commit (3016) |
Log message:
archivers: Replace RMD160 checksums with BLAKE2s checksums
All checksums have been double-checked against existing RMD160 and
SHA512 hashes
Could not be committed due to merge conflict:
devel/py-traitlets/distinfo
The following distfiles were unfetchable (note: some may be only fetched
conditionally):
./devel/pvs/distinfo pvs-3.2-solaris.tgz
./devel/eclipse/distinfo eclipse-sourceBuild-srcIncluded-3.0.1.zip
|
2021-10-07 15:44:44 by Nia Alarie | Files touched by this commit (3017) |
Log message:
devel: Remove SHA1 hashes for distfiles
|
2020-12-30 13:04:08 by Nia Alarie | Files touched by this commit (1) |
Log message:
py-manticore: Remove unnecessary restriction to Python 3.7
Reflect Python version support noted in setup.py.
|