-
Notifications
You must be signed in to change notification settings - Fork 5
Pull requests: rems-project/archsem
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
fix(Extraction): Extract result types to Ocaml's result
#244
opened Sep 3, 2026 by
tperami
Collaborator
•
5/5
Loading…
perf(Extraction): Fix extraction of cast_* from coq-sail
#243
opened Sep 3, 2026 by
tperami
Collaborator
•
4/5
Loading…
perf(Extraction): Inline monadic wrapper in extraction
#242
opened Sep 3, 2026 by
tperami
Collaborator
•
3/5
Loading…
perf(Extraction): Make some bitvector ops extract to sensible things in OCaml
#241
opened Sep 3, 2026 by
tperami
Collaborator
•
2/5
Loading…
perf(Extraction): Extract more primitive integer operations efficiently
#240
opened Sep 3, 2026 by
tperami
Collaborator
•
1/5
Loading…
feat(Isla): Support named page-table roots
#239
opened Aug 31, 2026 by
febyeji
Collaborator
•
4/4
Loading…
feat(Isla): Partition page-table allocation arenas
#236
opened Aug 31, 2026 by
febyeji
Collaborator
•
3/4
Loading…
feat(Isla): Support bounded address allocation
#235
opened Aug 28, 2026 by
febyeji
Collaborator
•
2/4
Loading…
refactor(GenProm): Allow promise hook to change all threads
#234
opened Aug 27, 2026 by
tperami
Collaborator
Loading…
ArchSemArm: machine-checked LSE fence-redundancy over UMArm.ob
#212
opened Jul 24, 2026 by
sebpop
Contributor
Loading…
feat(Isla): Support page-table symbol alignment
#183
opened Jul 3, 2026 by
febyeji
Collaborator
•
1/4
Loading…
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.