Skip to content

Pull requests: microsoft/regorus

New pull request New
20 Open 608 Closed
20 Open 608 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

Add per-execution memory budgets to RVM
#792 opened Aug 19, 2026 by Maksym (maksym-mishchenko) Loading…
40
Serialize FFI tests that share panic state
#786 opened Aug 14, 2026 by Copilot AI • Draft
@anakrish
1
Verify Number with Verus
#774 opened Jul 28, 2026 by Jay Lorch (jaylorch) Member • Draft
36
Bugfix/partially cyclic evaluation
#762 opened Jul 13, 2026 by Phillip K. (phi1010) • Draft
3
Refine active-rule deferral path matching; expand interpreter docs with concrete examples
#745 opened Jun 9, 2026 by Copilot AI • Draft
1
@anakrish
2
[bindings] Expose Engine.clone() to JS and add explicit Engine.prepare() warm-up API across bindings
#722 opened May 13, 2026 by Copilot AI • Draft
1
@anakrish
18
fix: feature-matrix CI failures for minimal and rvm test combos
#708 opened May 4, 2026 by Anand Krishnamoorthi (anakrish) Collaborator • Draft
7
feat(xtask): add missing flags for CI-friendly Python and FFI builds
#687 opened Apr 17, 2026 by Anand Krishnamoorthi (anakrish) Collaborator • Draft
3
Use centralized C# package version
#677 opened Apr 13, 2026 by Anand Krishnamoorthi (anakrish) Collaborator Loading…
3
feat(compiler): FFI and C# bindings for RVM, incl. host-await built-ins
#672 opened Apr 9, 2026 by Mark Birger (kusha) Contributor Loading…
48
Add RVM/interpreter incompatibility tests and compiler error detection
#666 opened Apr 7, 2026 by Anand Krishnamoorthi (anakrish) Collaborator • Draft
55
fix(rvm): support nested partial object rule yields
#665 opened Apr 7, 2026 by Anand Krishnamoorthi (anakrish) Collaborator • Draft
17
refactor(aliases): consolidate ObjMap and precompute alias transforms
#648 opened Mar 31, 2026 by Anand Krishnamoorthi (anakrish) Collaborator • Draft
33
feat: support strings.render_template
#513 opened Dec 2, 2025 by wangxiaolei (fatelei) Loading…
32
feat: JWT verification builtins (#94)
#498 opened Nov 7, 2025 by Mikhail Komarov (wetpeanuts) Loading…
12
feat!: Expose Value handles across FFI and managed bindings
#497 opened Nov 6, 2025 by Anand Krishnamoorthi (anakrish) Collaborator • Draft
feat! Introduce Regorus type analysis pipeline with CLI support
#492 opened Oct 28, 2025 by Anand Krishnamoorthi (anakrish) Collaborator Loading…
10
feat!: Optimize JSON key deserialization with arena-based interning
#490 opened Oct 27, 2025 by Anand Krishnamoorthi (anakrish) Collaborator Loading…
5
fix: set default hash in case git is not available
#441 opened Jul 26, 2025 by Mats Willemsen (ma-ts) Contributor Loading…
2
errors: replace anyhow with thiserror
#212 opened Apr 24, 2024 by Magnus Kulke (mkulke) • Draft
1
10
ProTip! Add no:assignee to see everything that’s not assigned.