Jay Lorch 1f2a2ecb41 More specs for Number

2026-03-03 16:20:59 -08:00

..

builtins

Avoid some build errors

2026-03-03 15:16:35 -08:00

compiler

chore: Harden instructions and program (#535)

2025-12-30 18:20:07 -06:00

interpreter

chore: Interpreter hardening (#536)

2025-12-30 18:21:09 -06:00

languages

feat(bindings)!: add RVM/Program support across FFI and language bindings (#565)

2026-01-30 23:55:31 +05:30

query

chore: Add clippy lints (#529)

2025-12-23 15:59:34 -06:00

registry/tests

chore: Add clippy lints (#529)

2025-12-23 15:59:34 -06:00

rvm

test(rvm): Move vm execution limit tests to a separate test to avoid flakiness (#558)

2026-01-29 04:15:33 +05:30

schema

chore: Add clippy lints (#529)

2025-12-23 15:59:34 -06:00

target

chore: Add clippy lints (#529)

2025-12-23 15:59:34 -06:00

tests

feat!: add cooperative execution-time limits across engine, VM, and binding (#539)

2026-01-28 05:58:03 +05:30

utils/limits

feat!: add cooperative execution-time limits across engine, VM, and binding (#539)

2026-01-28 05:58:03 +05:30

verusspec

Proofs about some float operations

2026-03-03 14:43:45 -08:00

ast.rs

chore: Make clippy clean and harden helpers (#532)

2025-12-29 14:47:09 -06:00

compile.rs

feat: Complete target system with C# bindings and resource inference (#458)

2025-08-19 20:23:43 -05:00

compiled_policy.rs

chore: Add clippy lints (#529)

2025-12-23 15:59:34 -06:00

compiler.rs

chore: Make clippy clean and harden helpers (#532)

2025-12-29 14:47:09 -06:00

engine.rs

feat!: add cooperative execution-time limits across engine, VM, and binding (#539)

2026-01-28 05:58:03 +05:30

indexchecker.rs

chore: Add clippy lints (#529)

2025-12-23 15:59:34 -06:00

interpreter.rs

feat!: add cooperative execution-time limits across engine, VM, and binding (#539)

2026-01-28 05:58:03 +05:30

lexer.rs

feat(memory): Allocator-backed global memory limits (#544)

2026-01-24 07:08:54 +05:30

lib.rs

Verus specs for BigNum, Number

2026-02-27 15:52:00 -08:00

lookup.rs

chore: Fix lint errors in lookup.rs (#530)

2025-12-29 13:53:46 -06:00

number.rs

More specs for Number

2026-03-03 16:20:59 -08:00

parser.rs

feat(memory): Allocator-backed global memory limits (#544)

2026-01-24 07:08:54 +05:30

policy_info.rs

chore: Add clippy lints (#529)

2025-12-23 15:59:34 -06:00

registry.rs

chore: Add clippy lints (#529)

2025-12-23 15:59:34 -06:00

scheduler.rs

fix: Imports without a name binding (#543)

2026-01-15 03:57:52 +05:30

schema.rs

chore: Add clippy lints (#529)

2025-12-23 15:59:34 -06:00

target.rs

feat: Complete target system with C# bindings and resource inference (#458)

2025-08-19 20:23:43 -05:00

test_utils.rs

chore: Add clippy lints (#529)

2025-12-23 15:59:34 -06:00

utils.rs

feat(memory): Allocator-backed global memory limits (#544)

2026-01-24 07:08:54 +05:30

value.rs

feat(memory): Allocator-backed global memory limits (#544)

2026-01-24 07:08:54 +05:30