Skip to content

Pull requests: UQ-PAC/BASIL

New pull request New
16 Open 224 Closed
16 Open 224 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

refactor: improve error messages of loadDirectory and refactor
#399 opened Apr 10, 2025 by katrinafyi Loading…
gtirb: add a word in front of bytestring uuids, for readability
#398 opened Apr 10, 2025 by katrinafyi Loading…
gtirb loader: support ite.0 expressions
#396 opened Apr 9, 2025 by katrinafyi Loading…
3
Drop support for sbt build
#393 opened Apr 7, 2025 by ailrst Loading…
feat: maintain program counter and assert at beginning of blocks
#387 opened Mar 28, 2025 by katrinafyi • Draft
tests: support scaled timeouts to fix CI timeouts
#386 opened Mar 27, 2025 by katrinafyi Loading…
Memory transform
#377 opened Mar 18, 2025 by sadrabt Loading…
9
DSL compiler for simple While language
#354 opened Mar 10, 2025 by ailrst Loading…
22
Simplify known bits
#335 opened Feb 21, 2025 by morriisw Loading…
Analysis regression testing
#322 opened Feb 12, 2025 by ailrst Loading…
fix #316
#320 opened Feb 12, 2025 by ailrst Loading…
BAPLoader produces unique block names
#309 opened Feb 3, 2025 by l-kent Loading…
1
13
Reproducible Docker build for test cases in src/test
#288 opened Dec 13, 2024 by katrinafyi Loading…
4 of 5 tasks
42
Test time analyses csmith
#243 opened Sep 16, 2024 by ailrst Loading…
7
Set up versioning from git tags using mill
#225 opened Jul 10, 2024 by ailrst Loading…
3
Check indices of memory accesses are low
#108 opened Oct 16, 2023 by l-kent • Draft
1
ProTip! Adding no:label will show everything without a label.