Skip to content

Pull requests: UQ-PAC/BASIL

New pull request New
14 Open 407 Closed
14 Open 407 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

mill: update token..
#634 opened Aug 13, 2026 by katrinafyi Member Loading…
Unique global names from symbol table
#624 opened Apr 21, 2026 by l-kent Contributor Loading…
1
1
docker: bump docker-flake.txt to include clang-14
#577 opened Sep 25, 2025 by katrinafyi Member Loading…
1
Add read-uninitialised locals check
#571 opened Sep 17, 2025 by agle Contributor Loading…
9
refactor to use Lattice as a typeclass and remove InternalLattice
#557 opened Aug 27, 2025 by katrinafyi Member Loading…
4
add ValueLattice abstraction and refactor TNum for known bits
#553 opened Aug 25, 2025 by katrinafyi Member Loading…
4
live_bits_analysis
#524 opened Jul 25, 2025 by firefried-fries Collaborator • Draft
Inter copy const prop
#523 opened Jul 25, 2025 by prgbanga Collaborator • Draft
Interval-tnum reduced product
#522 opened Jul 25, 2025 by alegs-a Collaborator • Draft
2
Use generated exprs to test expression evaluation against smt solver
#499 opened Jul 9, 2025 by ailrst Contributor 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 Contributor Loading…
Reproducible Docker build for test cases in src/test
#288 opened Dec 13, 2024 by katrinafyi Member Loading…
4 of 5 tasks
42
Check indices of memory accesses are low
#108 opened Oct 16, 2023 by l-kent Contributor • Draft
1
ProTip! What’s not been updated in a month: updated:<2026-07-15.