-
Notifications
You must be signed in to change notification settings - Fork 4
Pull requests: UQ-PAC/BASIL
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
add vacuous check to default boogie invocation
#622
opened Apr 10, 2026 by
agle
Contributor
Loading…
BasilIR.cf update from obasil: phi, var load/store, named params
#591
opened Jan 21, 2026 by
katrinafyi
Member
Loading…
docker: bump docker-flake.txt to include clang-14
#577
opened Sep 25, 2025 by
katrinafyi
Member
Loading…
refactor to use Lattice as a typeclass and remove InternalLattice
#557
opened Aug 27, 2025 by
katrinafyi
Member
Loading…
add ValueLattice abstraction and refactor TNum for known bits
#553
opened Aug 25, 2025 by
katrinafyi
Member
Loading…
Use generated exprs to test expression evaluation against smt solver
#499
opened Jul 9, 2025 by
ailrst
Contributor
Loading…
Simplification transform using known-bits result to eliminate extract(zeroextend(..)) across statements
#462
opened Jun 16, 2025 by
ailrst
Contributor
Loading…
Reproducible Docker build for test cases in src/test
#288
opened Dec 13, 2024 by
katrinafyi
Member
Loading…
4 of 5 tasks
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.