Skip to content

Pull requests: rems-project/sail

New pull request New
41 Open 1,020 Closed
41 Open 1,020 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

fix(lean): Lean backend codegen and rewriting fixes
#1656 opened Apr 8, 2026 by quangvdao Loading…
3
Lean: use latest stable Lean version
#1655 opened Apr 8, 2026 by ineol Loading…
@ineol
6
Heavily refactor test suite (with Claude)
#1640 opened Mar 9, 2026 by Alasdair • Draft
[Lean] Update the ArchSem output to match the new free monad
#1636 opened Feb 28, 2026 by ineol Loading…
2
fix Nonexec when mapping backwards with string append
#1622 opened Feb 13, 2026 by KotorinMinami Loading…
1
Lean: Fix an issue where fp_bits compilation was skipped in the float library
#1617 opened Jan 30, 2026 by nek0las • Draft
4
Move Sail Isla plugin into main repository
#1605 opened Jan 16, 2026 by Alasdair Loading…
2
Support snapshotting model state (WIP)
#1602 opened Jan 12, 2026 by Timmmm • Draft
1
Add JSON backend
#1582 opened Dec 22, 2025 by wxrdnx Loading…
1
Remove platform_barrier
#1574 opened Dec 17, 2025 by Timmmm Loading…
3
Feature: Add naming convention warnings (--naming-check flag)
#1571 opened Dec 15, 2025 by TinyuengKwan Loading…
1
15
Lem concurrency interface v2
#1548 opened Nov 18, 2025 by bauereiss Loading…
7
WIP: Convert C tests to pytest
#1538 opened Oct 28, 2025 by arichardson Loading…
5
Add location to all assertion strings
#1461 opened Sep 22, 2025 by Timmmm • Draft
1
8
delete fast_update_subrange
#1431 opened Aug 27, 2025 by KotorinMinami Loading…
INSTALL.md: Add desc for remove pin.
#1415 opened Aug 4, 2025 by Arielfoever Loading…
1
1
Bump cJSON version.
#1389 opened Jul 18, 2025 by Arielfoever Loading…
3
Support formatting sail code via stdin
#1375 opened Jul 11, 2025 by trdthg Loading…
1
add float_sub_internal implement
#1371 opened Jul 4, 2025 by KotorinMinami Loading…
Add syntax for SystemVerilog style part selects
#1354 opened Jun 17, 2025 by Alasdair Loading…
1
Improve concat_str C implementation
#1350 opened Jun 12, 2025 by Timmmm Loading…
5
Draft PR for lean riscv emulator Lean Issues with Sail to Lean translation
#1326 opened May 30, 2025 by jn80842 • Draft
12
Add test case for #1323
#1325 opened May 29, 2025 by trdthg Loading…
1
Enhance AST printing for better debugging
#1313 opened May 21, 2025 by trdthg Loading…
1
Adapt z3 constraint checking logic to windows
#1069 opened Feb 25, 2025 by wanghuibin0 Loading…
5
ProTip! Type g i on any issue or pull request to go back to the issue listing page.