-
Notifications
You must be signed in to change notification settings - Fork 679
Pull requests: klee/klee
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Fix test runner and update Python-based dependency handling for MacOS setups
#1746
opened Sep 24, 2024 by
MartinNowack
Loading…
8 tasks done
Fix macOS CI (namely the step "brew install python-tabulate")
#1741
opened Aug 11, 2024 by
ccadar
Loading…
8 tasks done
Add an option to generate XML test cases
#1738
opened Aug 5, 2024 by
misonijnik
Loading…
8 tasks done
Make the libcxx building process more robust
#1733
opened Jul 7, 2024 by
ccadar
Loading…
8 tasks done
added support for a bounded symbolic-size model
#1722
opened Apr 24, 2024 by
davidtr1037
Loading…
8 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!
Find all pull requests that aren't related to any open issues with -linked:issue.