Skip to content

Pull requests: rems-project/sail

New pull request New
27 Open 637 Closed
27 Open 637 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

Lem back-end improvements so that Isabelle can build the RISC-V model again
#1083 opened Feb 27, 2025 by bacam Loading…
1
Lean: Allow for match statments of heterogeneous bitvector length Lean Issues with Sail to Lean translation
#1071 opened Feb 25, 2025 by javra Loading…
1
21
Adapt z3 constraint checking logic to windows
#1069 opened Feb 25, 2025 by wanghuibin0 Loading…
1
Float: Introduce rounding mode getter and setter
#1057 opened Feb 24, 2025 by Incarnation-p-lee Loading…
1
Float: Remove unnecessary return when invoke float_round_and_compose
#1056 opened Feb 24, 2025 by Incarnation-p-lee Loading…
1
Lean: insert blindCasts to match bitvector lengths of arguments Lean Issues with Sail to Lean translation
#1047 opened Feb 21, 2025 by javra • Draft
1
Lean: Make the RISC-V Sail model build Lean Issues with Sail to Lean translation
#1012 opened Feb 15, 2025 by tobiasgrosser • Draft
2
SV: Add option to prefix global symbols
#953 opened Feb 3, 2025 by Alasdair Loading…
1
Switch from Omd to Cmarkit
#932 opened Jan 30, 2025 by Alasdair Loading…
3
Add support for unit tests via $[test] attribute
#928 opened Jan 30, 2025 by Timmmm • Draft
6
Move global signal declaration from toplevel to the sail_toplevel module
#917 opened Jan 29, 2025 by NicolasVanPhan Loading…
4
Support empty bitfield
#902 opened Jan 22, 2025 by trdthg Loading…
1
1
[SV_backend] Move global signals to the sail_toplevel module
#886 opened Jan 15, 2025 by NicolasVanPhan Loading…
12
Bugfix: Output ast for --ddump-initial-ast
#848 opened Dec 31, 2024 by wanghuibin0 Loading…
4
Add match case or_pattern
#847 opened Dec 26, 2024 by trdthg • Draft
1
1
first attempt at managing imports
#843 opened Dec 19, 2024 by javra • Draft
1
Tweaks to tests
#791 opened Nov 21, 2024 by nwf Loading…
3
Keep GitHub Actions up to date with GitHub's Dependabot
#766 opened Nov 11, 2024 by cclauss Loading…
Add JSON Backend
#736 opened Oct 7, 2024 by wxrdnx Loading…
Fix sailcov on foo @ match xxx
#659 opened Aug 12, 2024 by trdthg • Draft
1
Check mapping completeness
#647 opened Jul 26, 2024 by trdthg Loading…
1
3
sailcov test: add test for nested mapping with guard
#640 opened Jul 23, 2024 by rmn30 Loading…
2
Fmt: optimize format rule of let_binder, if_stmt, [x..y]
#636 opened Jul 21, 2024 by trdthg • Draft
8
Fix lexer rule to handle operator of format like operator + comment
#628 opened Jul 10, 2024 by trdthg Loading…
1
9
Update README.md
#180 opened Jul 20, 2022 by rtviii Loading…
ProTip! Adding no:label will show everything without a label.