Pull requests: klee/klee
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
added support for a bounded symbolic-size model
#1722
opened Apr 24, 2024 by
davidtr1037
Loading…
8 tasks done
Specialize the build for some expensive components for Arch & Debian.
#1713
opened Mar 12, 2024 by
sp1ff
Loading…
7 tasks done
Feature: Save symbolic data from *.ktest files as a flat binary file
#1681
opened Jan 8, 2024 by
tkuchta
Loading…
Support for replaying a test involving both symbolic arguments and klee_make_symbolic calls.
#1675
opened Dec 13, 2023 by
Hripsime-H
Loading…
8 tasks done
Manifest configurations into klee.kconfig file
#1659
opened Sep 29, 2023 by
danielschemmel
Loading…
8 tasks done
Execute unimplemented llvm.* intrinsics likewise external functions
#1541
opened Jul 6, 2022 by
operasfantom
•
Draft
8 tasks done
ProTip!
Updated in the last three days: updated:>2024-05-08.