mirror of https://github.com/microsoft/regorus.git synced 2026-08-05 02:16:11 +00:00

Files

dependabot[bot] cd110d08e3 build(deps): bump the rust-dependencies group across 5 directories with 2 updates

Bumps the rust-dependencies group with 2 updates in the / directory: [jsonschema](https://github.com/Stranger6667/jsonschema) and [vstd](https://github.com/verus-lang/verus).
Bumps the rust-dependencies group with 2 updates in the /bindings/ffi directory: [jsonschema](https://github.com/Stranger6667/jsonschema) and [vstd](https://github.com/verus-lang/verus).
Bumps the rust-dependencies group with 2 updates in the /bindings/java directory: [jsonschema](https://github.com/Stranger6667/jsonschema) and [vstd](https://github.com/verus-lang/verus).
Bumps the rust-dependencies group with 2 updates in the /bindings/python directory: [jsonschema](https://github.com/Stranger6667/jsonschema) and [vstd](https://github.com/verus-lang/verus).
Bumps the rust-dependencies group with 2 updates in the /bindings/wasm directory: [jsonschema](https://github.com/Stranger6667/jsonschema) and [vstd](https://github.com/verus-lang/verus).


Updates `jsonschema` from 0.48.5 to 0.49.2
- [Release notes](https://github.com/Stranger6667/jsonschema/releases)
- [Changelog](https://github.com/Stranger6667/jsonschema/blob/master/CHANGELOG.md)
- [Commits](https://github.com/Stranger6667/jsonschema/compare/ruby-v0.48.5...ruby-v0.49.2)

Updates `vstd` from 0.0.0-2026-07-12-0122 to 0.0.0-2026-07-27-0206
- [Release notes](https://github.com/verus-lang/verus/releases)
- [Commits](https://github.com/verus-lang/verus/commits)

Updates `jsonschema` from 0.48.5 to 0.49.2
- [Release notes](https://github.com/Stranger6667/jsonschema/releases)
- [Changelog](https://github.com/Stranger6667/jsonschema/blob/master/CHANGELOG.md)
- [Commits](https://github.com/Stranger6667/jsonschema/compare/ruby-v0.48.5...ruby-v0.49.2)

Updates `vstd` from 0.0.0-2026-07-12-0122 to 0.0.0-2026-07-27-0206
- [Release notes](https://github.com/verus-lang/verus/releases)
- [Commits](https://github.com/verus-lang/verus/commits)

Updates `jsonschema` from 0.48.5 to 0.49.2
- [Release notes](https://github.com/Stranger6667/jsonschema/releases)
- [Changelog](https://github.com/Stranger6667/jsonschema/blob/master/CHANGELOG.md)
- [Commits](https://github.com/Stranger6667/jsonschema/compare/ruby-v0.48.5...ruby-v0.49.2)

Updates `vstd` from 0.0.0-2026-07-12-0122 to 0.0.0-2026-07-27-0206
- [Release notes](https://github.com/verus-lang/verus/releases)
- [Commits](https://github.com/verus-lang/verus/commits)

Updates `jsonschema` from 0.48.5 to 0.49.2
- [Release notes](https://github.com/Stranger6667/jsonschema/releases)
- [Changelog](https://github.com/Stranger6667/jsonschema/blob/master/CHANGELOG.md)
- [Commits](https://github.com/Stranger6667/jsonschema/compare/ruby-v0.48.5...ruby-v0.49.2)

Updates `vstd` from 0.0.0-2026-07-12-0122 to 0.0.0-2026-07-27-0206
- [Release notes](https://github.com/verus-lang/verus/releases)
- [Commits](https://github.com/verus-lang/verus/commits)

Updates `jsonschema` from 0.48.5 to 0.49.2
- [Release notes](https://github.com/Stranger6667/jsonschema/releases)
- [Changelog](https://github.com/Stranger6667/jsonschema/blob/master/CHANGELOG.md)
- [Commits](https://github.com/Stranger6667/jsonschema/compare/ruby-v0.48.5...ruby-v0.49.2)

Updates `vstd` from 0.0.0-2026-07-12-0122 to 0.0.0-2026-07-27-0206
- [Release notes](https://github.com/verus-lang/verus/releases)
- [Commits](https://github.com/verus-lang/verus/commits)

---
updated-dependencies:
- dependency-name: jsonschema
  dependency-version: 0.49.2
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: rust-dependencies
- dependency-name: vstd
  dependency-version: 0.0.0-2026-07-27-0206
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: rust-dependencies
- dependency-name: jsonschema
  dependency-version: 0.49.2
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: rust-dependencies
- dependency-name: vstd
  dependency-version: 0.0.0-2026-07-27-0206
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: rust-dependencies
- dependency-name: jsonschema
  dependency-version: 0.49.2
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: rust-dependencies
- dependency-name: vstd
  dependency-version: 0.0.0-2026-07-27-0206
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: rust-dependencies
- dependency-name: jsonschema
  dependency-version: 0.49.2
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: rust-dependencies
- dependency-name: vstd
  dependency-version: 0.0.0-2026-07-27-0206
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: rust-dependencies
- dependency-name: jsonschema
  dependency-version: 0.49.2
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: rust-dependencies
- dependency-name: vstd
  dependency-version: 0.0.0-2026-07-27-0206
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: rust-dependencies
...

Signed-off-by: dependabot[bot] <support@github.com>

2026-07-30 02:37:05 +00:00

.cargo

build(deps): update rand requirement from 0.8.5 to 0.9.0 (#370 )

2025-03-04 07:06:43 -08:00

src

RVM compiler & runtime optimizations: caching, instruction fusion, constant hoisting, and correctness fixes (#626 )

2026-03-23 21:00:51 -05:00

building.md

Document bindings (#119 )

2024-02-01 13:47:27 -08:00

Cargo.lock

build(deps): bump the rust-dependencies group across 5 directories with 2 updates

2026-07-30 02:37:05 +00:00

Cargo.toml

chore(release): release regorus v0.11.0 (#766 )

2026-07-21 17:06:44 -05:00

CHANGELOG.md

Revert "chore: release v0.2.0 (#257 )" (#258 )

2024-05-30 06:09:47 -07:00

README.md

feat(xtask): consolidate CI workflows onto xtask helpers (#542 )

2026-01-27 07:42:21 +05:30

test.js

RVM compiler & runtime optimizations: caching, instruction fusion, constant hoisting, and correctness fixes (#626 )

2026-03-23 21:00:51 -05:00

README.md

regorusjs

Regorus is

Rego-Rus(t) - A fast, light-weight Rego interpreter written in Rust.
Rigorous - A rigorous enforcer of well-defined Rego semantics.

regorusjs is Regorus compiled into WASM.

See Repository.

To build this binding, see building.md

Automation

Run cargo xtask build-wasm to invoke wasm-pack with sensible defaults, or cargo xtask test-wasm to rebuild the package and execute node test.js.

Usage

See test.js for example usage.