Skip to content

Pull requests: UQ-PAC/BASIL

New pull request New
15 Open 376 Closed
15 Open 376 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Jesse interface thesis proj
#589 opened Nov 13, 2025 by Jesseable Loading…
36
Fix recursion issue in IntervalDSA
#586 opened Nov 10, 2025 by l-kent Loading…
1
2
docker: bump docker-flake.txt to include clang-14
#577 opened Sep 25, 2025 by katrinafyi Loading…
1
Add read-uninitialised locals check
#571 opened Sep 17, 2025 by agle Loading…
9
refactor to use Lattice as a typeclass and remove InternalLattice
#557 opened Aug 27, 2025 by katrinafyi Loading…
4
add ValueLattice abstraction and refactor TNum for known bits
#553 opened Aug 25, 2025 by katrinafyi Loading…
4
live_bits_analysis
#524 opened Jul 25, 2025 by firefried-fries • Draft
Inter copy const prop
#523 opened Jul 25, 2025 by prgbanga • Draft
Interval-tnum reduced product
#522 opened Jul 25, 2025 by alegs-a • Draft
2
Translation validator
#518 opened Jul 22, 2025 by ailrst Loading…
14 tasks done
32
Use generated exprs to test expression evaluation against smt solver
#499 opened Jul 9, 2025 by ailrst Loading…
@agle
7
IR Program Slicing
#476 opened Jun 23, 2025 by henrybatt Loading…
@agle
11
Simplification transform using known-bits result to eliminate extract(zeroextend(..)) across statements
#462 opened Jun 16, 2025 by ailrst Loading…
Reproducible Docker build for test cases in src/test
#288 opened Dec 13, 2024 by katrinafyi Loading…
4 of 5 tasks
42
Check indices of memory accesses are low
#108 opened Oct 16, 2023 by l-kent • Draft
1
ProTip! Add no:assignee to see everything that’s not assigned.