Navigation:
Browse pkgsrc
(this page)| 2021-10-07 15:44:44 by Nia Alarie | Files touched by this commit (3017) |
Log message: devel: Remove SHA1 hashes for distfiles |
| 2021-08-01 16:47:25 by Makoto Fujiwara | Files touched by this commit (1) |
Log message: (devel/deepstate) devel/py-smt -> math/py-smt, correct ? |
| 2021-07-24 12:44:05 by Nia Alarie | Files touched by this commit (1) |
Log message: deepstate: needs py-smt |
| 2021-05-30 14:36:02 by Nia Alarie | Files touched by this commit (1) |
Log message: alpha (obviously) does not have -m32 |
| 2021-05-30 14:17:49 by Nia Alarie | Files touched by this commit (1) |
Log message: deepstate: approximately x86_64-only, but do our best anyway |
| 2020-12-30 13:26:03 by Nia Alarie | Files touched by this commit (1) |
Log message: deepstate: Remove unnecessary restiction to Python 3.7/3.6 |
| 2020-09-29 05:17:20 by Pierre Pronchery | Files touched by this commit (1) |
Log message: deepstate: deepstate-libfuzzer also uses Makefile.common |
| 2020-09-29 05:01:16 by Pierre Pronchery | Files touched by this commit (2) |
Log message: deepstate: correctly install the binaries While there, appease pkglint a tad. Bumps PKGREVISION. |
| 2020-09-29 04:50:52 by Pierre Pronchery | Files touched by this commit (5) |
Log message: deepstate: import version 0.1 DeepState is a framework that provides C and C++ developers with a common interface to various symbolic execution and fuzzing engines. Users can write one test harness using a Google Test-like API, then execute it using multiple backends without having to learn the complexities of the underlying engines. It supports writing unit tests and API sequence tests, as well as automatic test generation. |
New packages: