Skip to content

Pull requests: rems-project/sail

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
Assignee
Filter by who’s assigned
Sort

Pull requests list

Lean: fix some extern lean functions Lean Issues with Sail to Lean translation
#1020 by ineol was merged Feb 16, 2025
Lean: fix bug removing all fns before an extern fn Lean Issues with Sail to Lean translation
#1019 by ineol was merged Feb 16, 2025 Loading…
Lean: import Lean module, and noncomputable sections Lean Issues with Sail to Lean translation
#1018 by ineol was merged Feb 16, 2025 Loading…
Lean: put the generated functions in a namepace Lean Issues with Sail to Lean translation
#1017 by ineol was merged Feb 16, 2025 Loading…
Lean: improve handling of arguments Lean Issues with Sail to Lean translation
#1015 by ineol was merged Feb 16, 2025 Loading…
Lean: ignore unused variables and increase compute outs Lean Issues with Sail to Lean translation
#1013 by tobiasgrosser was merged Feb 16, 2025 Loading…
Try SAIL CI
#1010 by tobiasgrosser was closed Feb 15, 2025 Loading…
Lean: Fix more tests Lean Issues with Sail to Lean translation
#1009 by Alasdair was merged Feb 14, 2025 Loading…
Lean: Add more tests Lean Issues with Sail to Lean translation
#1008 by Alasdair was merged Feb 14, 2025 Loading…
Lean: fix doc_typdef for abbrev of ranges and bools
#1007 by lfrenot was merged Feb 14, 2025 Loading…
Lean: implement struct patterns
#1006 by ineol was merged Feb 14, 2025 Loading…
Lean: add support for try/catch Lean Issues with Sail to Lean translation
#1004 by ineol was merged Feb 14, 2025 Loading…
Lean: add more annotation, fix omitted fundefs, activates imports Lean Issues with Sail to Lean translation
#1002 by javra was merged Feb 14, 2025 Loading…
CI: Add monomorphisation tests to CI
#1001 by Alasdair was merged Feb 14, 2025 Loading…
SV: Add a rule to simplify (x >> n)[m] --> x[n + m]
#999 by Alasdair was merged Feb 14, 2025 Loading…
Lean: print name of failing test
#998 by ineol was merged Feb 14, 2025 Loading…
Further SV improvements
#997 by Alasdair was merged Feb 14, 2025 Loading…
Make sail-mode.el comment variables buffer-local
#996 by darius1702 was merged Feb 13, 2025 Loading…
SV: Get cheri128_hsb test working
#995 by Alasdair was merged Feb 13, 2025 Loading…
CI: Make CI run Sail test suites in parallel
#994 by Alasdair was merged Feb 13, 2025 Loading…
Disable match_bv for now since it's breaking the RISC-V model Lean Issues with Sail to Lean translation
#993 by jprider63 was closed Feb 14, 2025 Loading…
Lean: keep type vars in type abbreviations Lean Issues with Sail to Lean translation
#991 by ineol was merged Feb 13, 2025 Loading…
Lean: handling foreach Loops Lean Issues with Sail to Lean translation
#990 by lfrenot was merged Feb 13, 2025 Loading…
ProTip! What’s not been updated in a month: updated:<2025-01-16.