Skip to content

Pull requests: microsoft/regorus

New pull request New
21 Open 575 Closed
21 Open 575 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

Support Verus verification
#759 opened Jul 2, 2026 by jaylorch Member • Draft
5
build(deps): bump the rust-dependencies group across 5 directories with 2 updates dependencies Pull requests that update a dependency file rust Pull requests that update Rust code
#757 opened Jul 2, 2026 by dependabot Bot Loading…
ci(deps): bump the github-actions group across 1 directory with 10 updates dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#756 opened Jul 2, 2026 by dependabot Bot Loading…
build(deps): bump rubocop from 1.88.0 to 1.88.1 in /bindings/ruby in the per-dependency group dependencies Pull requests that update a dependency file ruby Pull requests that update Ruby code
#755 opened Jul 2, 2026 by dependabot Bot Loading…
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 anakrish Collaborator • Draft
7
feat(xtask): add missing flags for CI-friendly Python and FFI builds
#687 opened Apr 17, 2026 by anakrish Collaborator • Draft
3
Use centralized C# package version
#677 opened Apr 13, 2026 by anakrish Collaborator Loading…
3
feat(compiler): FFI and C# bindings for RVM, incl. host-await built-ins
#672 opened Apr 9, 2026 by kusha Contributor Loading…
22
Add RVM/interpreter incompatibility tests and compiler error detection
#666 opened Apr 7, 2026 by anakrish Collaborator • Draft
55
fix(rvm): support nested partial object rule yields
#665 opened Apr 7, 2026 by anakrish Collaborator • Draft
17
refactor(aliases): consolidate ObjMap and precompute alias transforms
#648 opened Mar 31, 2026 by anakrish Collaborator • Draft
33
feat: support strings.render_template
#513 opened Dec 2, 2025 by fatelei Loading…
32
feat: JWT verification builtins (#94)
#498 opened Nov 7, 2025 by wetpeanuts Loading…
12
feat!: Expose Value handles across FFI and managed bindings
#497 opened Nov 6, 2025 by anakrish Collaborator • Draft
feat! Introduce Regorus type analysis pipeline with CLI support
#492 opened Oct 28, 2025 by anakrish Collaborator Loading…
10
feat!: Optimize JSON key deserialization with arena-based interning
#490 opened Oct 27, 2025 by anakrish Collaborator Loading…
5
feat: add json patch support
#442 opened Jul 26, 2025 by ma-ts Loading…
1
8
fix: set default hash in case git is not available
#441 opened Jul 26, 2025 by ma-ts Loading…
2
errors: replace anyhow with thiserror
#212 opened Apr 24, 2024 by mkulke • Draft
1
10
ProTip! Add no:assignee to see everything that’s not assigned.