-
Notifications
You must be signed in to change notification settings - Fork 42
Pull requests: GaloisInc/crucible
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add llvm.dbg.label to the list of LLVM debugging intrinsics
#582
by chameco
was merged Nov 18, 2020
Loading…
Performance improvements for array size inference execution feature
#477
by chameco
was closed Jul 13, 2020
Loading…
Clean up / improve array size inference execution feature
#464
by chameco
was merged Aug 11, 2020
Loading…
Check for the correct feature support in What4 SMTWriter
#381
by chameco
was merged Dec 18, 2019
Loading…
Use both default and requested features in the What4 Yices backend
#380
by chameco
was closed Dec 18, 2019
Loading…
Add execution feature to observe argument buffer sizes
#299
by chameco
was merged Aug 8, 2019
Loading…
crucible-saw: Support universal quantification over bitvectors in SAWCore
#298
by chameco
was merged Aug 8, 2019
Loading…
Don't increase the size of if-then-else terms in What4 semiring addition
#281
by chameco
was merged Jul 4, 2019
Loading…
Handle empty writes when merging with indexed writes
#279
by chameco
was merged Jun 28, 2019
Loading…
ProTip!
Exclude everything labeled
bug
with -label:bug.