Skip to content

Pull requests: rems-project/sail

New pull request New
42 Open 1,031 Closed
42 Open 1,031 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

lean: add match equation binders for termination measures
#1673 opened May 5, 2026 by nek0las Loading…
Lean testing: build .o support library files
#1670 opened May 1, 2026 by bacam Contributor Loading…
1
Rocq CI: bump to 9.1
#1667 opened Apr 24, 2026 by bacam Contributor Loading…
1
fix(lean): Lean backend codegen and rewriting fixes
#1656 opened Apr 8, 2026 by quangvdao Loading…
3
Heavily refactor test suite (with Claude)
#1640 opened Mar 9, 2026 by Alasdair Collaborator • Draft
[Lean] Update the ArchSem output to match the new free monad
#1636 opened Feb 28, 2026 by ineol Collaborator Loading…
2
fix Nonexec when mapping backwards with string append
#1622 opened Feb 13, 2026 by KotorinMinami Contributor 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 Collaborator Loading…
2
Support snapshotting model state (WIP)
#1602 opened Jan 12, 2026 by Timmmm Contributor • Draft
1
Add JSON backend
#1582 opened Dec 22, 2025 by wxrdnx Loading…
1
Remove platform_barrier
#1574 opened Dec 17, 2025 by Timmmm Contributor 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 Contributor Loading…
7
WIP: Convert C tests to pytest
#1538 opened Oct 28, 2025 by arichardson Contributor Loading…
5
Add location to all assertion strings
#1461 opened Sep 22, 2025 by Timmmm Contributor • Draft
1
8
delete fast_update_subrange
#1431 opened Aug 27, 2025 by KotorinMinami Contributor Loading…
Bump cJSON version.
#1389 opened Jul 18, 2025 by Arielfoever Contributor Loading…
3
Support formatting sail code via stdin
#1375 opened Jul 11, 2025 by trdthg Contributor Loading…
1
add float_sub_internal implement
#1371 opened Jul 4, 2025 by KotorinMinami Contributor Loading…
Add syntax for SystemVerilog style part selects
#1354 opened Jun 17, 2025 by Alasdair Collaborator Loading…
1
Improve concat_str C implementation
#1350 opened Jun 12, 2025 by Timmmm Contributor Loading…
5
Draft PR for lean riscv emulator Lean Issues with Sail to Lean translation
#1326 opened May 30, 2025 by jn80842 Contributor • Draft
12
Add test case for #1323
#1325 opened May 29, 2025 by trdthg Contributor Loading…
1
Enhance AST printing for better debugging
#1313 opened May 21, 2025 by trdthg Contributor Loading…
1
ProTip! Updated in the last three days: updated:>2026-05-06.