./devel/angr/py-z3-solver [efficient SMT solver library (angr fork)]
[+] Add this package to your ports tracker

[ CVSweb ] [ Homepage ] [ RSS feed ]

Version: 4.8.8.0, Package name: py3-z3-solver-4.8.8.0
Maintained by: Jasper Lievisse Adriaanse, Klemens Nanni
Master sites:
Description
Fork of Z3 for use with angr.


Filesize: 4295.004 KB
Version History (View Complete History)
  • (2020-06-15) Updated to version: py3-z3-solver-4.8.8.0
  • (2019-11-25) Updated to version: py3-z3-solver-4.8.7.0
  • (2019-11-10) Updated to version: py3-z3-solver-4.8.6.0
  • (2019-07-24) Package added to openports.se, version py-z3-solver-4.5.1.0.post2 (created)
[show/hide] View available PLISTS (Can be a lot of data)

CVS Commit History:

   2020-07-08 14:55:25 by Christian Weisgerber | Files touched by this commit (1)
Log message:
this port has an independent version number, restore the dropped revision
   2020-07-07 08:51:52 by Klemens Nanni | Files touched by this commit (18)
Log message:
Update to angr 8.20.7.6
   2020-07-03 15:13:23 by Stuart Henderson | Files touched by this commit (1032)
Log message:
bump REVISION; python 3 default changed to 3.8
   2020-06-14 14:11:48 by Klemens Nanni | Files touched by this commit (3)
Log message:
Update to z3-solver 4.8.8.0
   2020-02-15 11:36:18 by Klemens Nanni | Files touched by this commit (19)
Log message:
Update angr and angrop to 8.20.1.7
Feedback and OK jasper
   2019-11-25 06:07:36 by Klemens Nanni | Files touched by this commit (3)
Log message:
Update to 4.8.7.0
Pure maintainance release containing one assertion violation fix.
   2019-11-10 02:29:32 by Klemens Nanni | Files touched by this commit (19)
Log message:
Update to angr-8.19.10.30
   2019-08-16 17:27:09 by Charlene Wendling | Files touched by this commit (2)
Log message:
py-z3-solver: unbreak with ports-gcc, by fixing an incorrect conversion.
Tested on sparc64 (by kmos@, thanks!) and macppc.
OK kmos@ kn@ (maintainer)
   2019-08-02 06:59:52 by Stuart Henderson | Files touched by this commit (1)
Log message:
fix py-z3-solver on i386, from jasper@
   2019-07-23 13:56:50 by Klemens Nanni | Files touched by this commit (1)
Log message:
Remove hardcoded optimizations
   2019-07-23 13:50:03 by Klemens Nanni | Files touched by this commit (1)
Log message:
Set COMPILER
It uses -std=c++11, fix space nit while here.