Commit Graph

Select branches

Hide Pull Requests

ant/cs_test_example

azure-policy

copilot/add-clone-method-to-engine

copilot/add-github-copilot-configuration

copilot/add-keywords-in-refs-capability

copilot/avoid-use-of-anyhow

copilot/code-review-pr-708

copilot/fix-cyclic-references-behaviour

copilot/fix-partial-set-rule-issue

copilot/fix-py03-missing-sync-bound

copilot/fix-pyo3-out-of-bounds-read

copilot/review-pr-708

copilot/review-pr-708-again

copilot/review-pr-708-another-one

copilot/review-pr-708-findings

copilot/review-pull-727-deep-review

dependabot/cargo/rust-dependencies-636a65966f

main

release-plz-2026-05-06T16-00-25Z

release-plz-2026-05-06T16-08-33Z

release-plz-2026-05-06T16-12-51Z

release-plz-2026-05-22T17-53-04Z

release-plz-2026-07-21T20-45-41Z

verus

verus2

#1

#10

#100

#101

#102

#105

#106

#107

#108

#109

#11

#110

#111

#112

#114

#115

#116

#117

#118

#119

#121

#123

#124

#129

#13

#130

#132

#133

#135

#136

#137

#138

#139

#14

#140

#141

#142

#143

#145

#146

#147

#149

#15

#151

#152

#154

#155

#157

#158

#16

#163

#164

#169

#17

#171

#173

#175

#177

#179

#18

#182

#183

#184

#186

#188

#189

#19

#190

#192

#194

#196

#197

#198

#2

#20

#200

#201

#203

#204

#205

#207

#208

#21

#210

#212

#212

#216

#217

#219

#22

#221

#222

#224

#225

#226

#23

#230

#231

#232

#234

#235

#236

#238

#239

#240

#244

#245

#246

#247

#248

#249

#25

#250

#251

#252

#253

#255

#256

#257

#258

#259

#26

#260

#262

#264

#266

#267

#268

#269

#27

#270

#271

#272

#274

#275

#276

#277

#278

#279

#28

#280

#281

#283

#285

#286

#287

#288

#289

#29

#292

#293

#294

#295

#296

#298

#3

#30

#300

#304

#305

#308

#309

#31

#310

#311

#312

#313

#315

#316

#317

#318

#32

#320

#322

#323

#325

#326

#327

#328

#329

#33

#330

#331

#332

#334

#335

#336

#337

#339

#34

#341

#342

#343

#344

#345

#347

#348

#35

#350

#351

#352

#353

#354

#355

#356

#357

#359

#360

#361

#362

#365

#366

#367

#368

#369

#37

#370

#372

#373

#374

#375

#376

#378

#379

#38

#380

#381

#382

#383

#384

#385

#386

#387

#388

#389

#39

#390

#391

#392

#393

#394

#395

#396

#397

#398

#399

#4

#40

#400

#401

#403

#405

#406

#407

#408

#41

#410

#411

#412

#413

#414

#415

#416

#419

#42

#420

#421

#422

#423

#424

#425

#427

#428

#43

#430

#431

#432

#433

#434

#435

#436

#437

#438

#439

#441

#441

#442

#442

#443

#444

#446

#447

#448

#449

#45

#450

#451

#452

#453

#454

#455

#456

#457

#458

#459

#46

#460

#461

#462

#463

#464

#466

#467

#468

#469

#470

#471

#472

#473

#474

#476

#477

#478

#479

#480

#481

#482

#483

#484

#485

#486

#487

#488

#489

#49

#490

#490

#491

#492

#492

#493

#494

#495

#496

#497

#497

#498

#498

#499

#5

#50

#500

#501

#502

#503

#504

#505

#506

#507

#508

#509

#51

#510

#511

#513

#513

#514

#515

#516

#519

#52

#520

#521

#522

#523

#524

#525

#526

#527

#528

#529

#53

#530

#531

#532

#533

#534

#535

#536

#537

#538

#539

#54

#540

#542

#543

#544

#546

#547

#548

#549

#55

#550

#552

#553

#555

#556

#558

#56

#563

#564

#565

#566

#567

#568

#569

#57

#571

#572

#573

#574

#576

#577

#578

#579

#580

#581

#582

#583

#584

#585

#586

#587

#588

#589

#590

#591

#592

#593

#596

#597

#598

#599

#6

#600

#601

#602

#603

#605

#606

#607

#608

#609

#61

#610

#611

#612

#613

#614

#615

#616

#617

#618

#619

#62

#620

#621

#622

#623

#624

#625

#626

#627

#628

#629

#63

#630

#631

#632

#633

#634

#635

#636

#637

#638

#639

#640

#641

#642

#643

#644

#645

#646

#647

#648

#648

#649

#65

#650

#651

#652

#653

#654

#655

#656

#657

#658

#659

#66

#660

#661

#664

#665

#665

#666

#666

#667

#668

#669

#670

#671

#672

#672

#673

#674

#675

#677

#677

#678

#679

#68

#680

#681

#682

#683

#684

#685

#686

#687

#687

#688

#690

#691

#693

#694

#695

#696

#697

#698

#699

#7

#700

#701

#702

#703

#704

#705

#707

#708

#708

#709

#71

#710

#713

#715

#716

#717

#718

#720

#722

#722

#723

#724

#725

#726

#727

#728

#729

#731

#732

#733

#734

#735

#736

#737

#738

#739

#740

#742

#744

#745

#745

#746

#748

#749

#750

#751

#752

#753

#754

#755

#756

#757

#758

#759

#760

#761

#762

#762

#763

#764

#765

#766

#767

#768

#769

#77

#771

#772

#773

#774

#774

#775

#775

#776

#776

#777

#777

#778

#778

#8

#81

#82

#85

#86

#88

#90

regorus-v0.1.0

regorus-v0.1.0-alpha.3

regorus-v0.1.1

regorus-v0.1.2

regorus-v0.1.3

regorus-v0.1.4

regorus-v0.1.5

regorus-v0.10.0

regorus-v0.10.1

regorus-v0.11.0

regorus-v0.2.0

regorus-v0.2.1

regorus-v0.2.2

regorus-v0.2.3

regorus-v0.2.4

regorus-v0.2.5

regorus-v0.2.6

regorus-v0.2.7

regorus-v0.2.8

regorus-v0.3.0

regorus-v0.4.0

regorus-v0.5.0

regorus-v0.9.0

regorus-v0.9.1

v0.1.0-alpha.1

v0.1.0-alpha.2

Mono Color

• 95bffcb5f9 feat(rvm): extend program metadata and bump serialization to v6 (#654) Anand Krishnamoorthi 2026-04-03 12:53:42 -05:00
• db8a9abf13 build(deps): bump minitest in /bindings/ruby in the per-dependency group (#656) dependabot[bot] 2026-04-02 13:08:40 -05:00
• 421ee6af9b build(deps): bump the rust-dependencies group across 2 directories with 3 updates (#657) dependabot[bot] 2026-04-02 13:08:12 -05:00
• 64f71dee34 feat: add Azure Policy core JSON parser and expression parser (#655) Anand Krishnamoorthi 2026-04-02 11:42:03 -05:00
• 648ba40126 feat: add Azure Policy AST types (#653) Anand Krishnamoorthi 2026-04-01 11:54:28 -05:00
• 126cc12eb5 refactor: consolidate RVM instruction variants and clean up VM internals (#651) Anand Krishnamoorthi 2026-04-01 05:34:33 -05:00
• 1a8fc08773 build(deps): bump wasm-bindgen-test (#650) dependabot[bot] 2026-03-31 11:56:14 -05:00
• c164917d63 build(deps): bump rb_sys in /bindings/ruby in the per-dependency group (#649) dependabot[bot] 2026-03-31 11:55:45 -05:00
• 6a6cc659b7 build(deps): bump the rust-dependencies group across 3 directories with 4 updates (#647) dependabot[bot] 2026-03-31 07:16:10 -05:00
• a86cf1119f ci(deps): bump the github-actions group across 1 directory with 3 updates (#646) dependabot[bot] 2026-03-31 07:15:45 -05:00
• 989ca6df2e ci(dependabot): restore cargo dependency grouping (#645) Anand Krishnamoorthi 2026-03-30 18:44:53 -05:00
• d36f952133 feat(azure-policy): add alias normalization and denormalization (#635) Anand Krishnamoorthi 2026-03-30 18:44:36 -05:00
• 35fb5d5953 Fix build break (#634) Anand Krishnamoorthi 2026-03-27 12:34:49 -05:00
• 296b34171a build(deps): bump the rust-dependencies group across 5 directories with 16 updates (#633) dependabot[bot] 2026-03-26 12:51:08 -05:00
• f9d54cd436 ci(dependabot): fix cargo config quoting (#632) Anand Krishnamoorthi 2026-03-26 11:18:09 -05:00
• 5b60daabd9 feat: add Azure Policy builtins with YAML test suite (#630) Anand Krishnamoorthi 2026-03-25 17:32:39 -05:00
• f69974dc1b ci(dependabot): fix cargo workspace updates and refresh lockfiles (#629) Anand Krishnamoorthi 2026-03-25 16:58:29 -05:00
• 942dd47163 build(deps): bump rubocop in /bindings/ruby in the per-dependency group (#622) dependabot[bot] 2026-03-24 12:37:06 -05:00
• ac701b4933 ci(deps): bump the github-actions group with 11 updates (#628) dependabot[bot] 2026-03-24 12:35:38 -05:00
• 86088d2049 Consolidate Dependabot, fix #595 (mimalloc + indexmap), add feature-matrix CI (#627) Anand Krishnamoorthi 2026-03-24 11:54:01 -05:00
• 83891d7782 RVM compiler & runtime optimizations: caching, instruction fusion, constant hoisting, and correctness fixes (#626) Anand Krishnamoorthi 2026-03-23 21:00:51 -05:00
• f44e019f41 Spec for Number as Ord verus Jay Lorch 2026-03-19 15:52:41 -07:00
• 2b4ab8e12d Simpler spec for Number::eq Jay Lorch 2026-03-19 14:48:03 -07:00
• 41c2d502fa Simplify Number::eq spec Jay Lorch 2026-03-19 13:58:10 -07:00
• 85e58c6f6c Simplify float comparisons by assuming IEEE Jay Lorch 2026-03-19 11:52:35 -07:00
• 9e18ded98e Simplify float spec by avoiding partial_cmp_spec Jay Lorch 2026-03-19 11:33:30 -07:00
• 2e454f2708 Simplify float specs by assuming determinism Jay Lorch 2026-03-19 10:49:59 -07:00
• d107c1b647 Use float specs in latest Verus Jay Lorch 2026-03-18 18:21:10 -07:00
• 898643129e feat: make policy length limits configurable per engine (#624) antmhs 2026-03-13 19:19:57 +02:00
• 462e39f2ad Switch to attribute syntax Jay Lorch 2026-03-12 18:31:02 -07:00
• 50c0215fdb Rvm optimizations (#620) Anand Krishnamoorthi 2026-03-11 21:39:58 -05:00
• 7e1afe0e86 More specs for Number Jay Lorch 2026-03-11 17:43:20 -07:00
• ee3dff9a3d fix(ci): skip mimalloc FFI and disable isolation for Miri (#621) Anand Krishnamoorthi 2026-03-11 15:13:51 -05:00
• b8e15f46f3 build(deps): bump rubocop in /bindings/ruby in the per-dependency group (#618) dependabot[bot] 2026-03-05 15:10:45 -06:00
• 37144968c8 chore(ci): add miri workflow (#581) Anand Krishnamoorthi 2026-03-05 13:18:25 -06:00
• 7ee503ccdc chore(ci): add cargo audit and deny (#580) Anand Krishnamoorthi 2026-03-05 13:18:00 -06:00
• faa3efb8b8 Update Cargo.toml to use public vstd crate Jay Lorch 2026-03-04 10:05:58 -08:00
• 100be610db Don't shut off so much of bigint when not verifying Jay Lorch 2026-03-03 17:00:30 -08:00
• 586d631f09 Got cargo build working Jay Lorch 2026-03-03 16:46:09 -08:00
• 5819992d17 More progress toward cargo build Jay Lorch 2026-03-03 16:44:31 -08:00
• 90894aa8e1 Progress to cargo build success Jay Lorch 2026-03-03 16:35:05 -08:00
• 1f2a2ecb41 More specs for Number Jay Lorch 2026-03-03 16:20:59 -08:00
• ba987998c4 More Number proofs Jay Lorch 2026-03-03 15:58:36 -08:00
• c3813c8876 Avoid some build errors Jay Lorch 2026-03-03 15:16:35 -08:00
• 6ab452989f Proofs about some float operations Jay Lorch 2026-03-03 14:43:45 -08:00
• 006e819d52 rvm: switch binary serialization to postcard (#582) Anand Krishnamoorthi 2026-03-03 15:09:45 -06:00
• 4865364b48 Verus specs for BigNum, Number Jay Lorch 2026-02-27 15:52:00 -08:00
• b6f11c5602 build(deps-dev): bump org.apache.maven.plugins:maven-surefire-plugin (#605) dependabot[bot] 2026-02-27 16:52:44 -06:00
• 72033e77da build(deps): bump bytes (#569) dependabot[bot] 2026-02-27 16:52:14 -06:00
• be34063dba build(deps): bump the per-dependency group with 2 updates (#603) dependabot[bot] 2026-02-27 16:51:21 -06:00
• 04bf417c06 build(deps): bump the per-dependency group across 1 directory with 3 updates (#607) dependabot[bot] 2026-02-27 16:50:52 -06:00
• bc23cd08ac Python: boolean mapping (#612) Paulo Lieuthier 2026-02-27 18:55:28 -03:00
• 1c607dc1d3 feat: implement add_extension in Python binding (#596) Paulo Lieuthier 2026-02-25 18:55:52 -03:00
• 47cc27ff49 feat(rbac)!: add Azure RBAC engine, FFI API, and cross-language tests (#577) Anand Krishnamoorthi 2026-02-19 15:30:03 -06:00
• 156772c523 Add Verus dependencies Jay Lorch 2026-02-17 13:25:11 -08:00
• 8814eda0ae Bump the per-dependency group with 1 update (#587) dependabot[bot] 2026-02-12 16:47:12 -06:00
• b4a69a13ba build(deps): bump the per-dependency group (#585) dependabot[bot] 2026-02-12 09:53:36 -06:00
• e83a47497a build(deps): bump the per-dependency group (#586) dependabot[bot] 2026-02-12 09:53:00 -06:00
• 241c1d445b build(deps-dev): bump the per-dependency group (#583) dependabot[bot] 2026-02-12 09:46:33 -06:00
• 4054d1b6b6 build(deps): bump the per-dependency group with 12 updates (#593) dependabot[bot] 2026-02-12 06:30:19 -06:00
• 8f7ca44bdf chore(dependabot): expand coverage and pin workflows (#579) Anand Krishnamoorthi 2026-02-11 17:43:48 -06:00
• 96360fa9d8 fix(bindings): add SafeHandleWrapper + memory growth checks; bump 0.9.1 (#571) regorus-v0.9.1 Anand Krishnamoorthi 2026-02-09 23:52:05 +05:30
• 455d2aa588 chore(nuget): Add support for macosx (#553) Anand Krishnamoorthi 2026-02-03 00:09:52 +05:30
• 0e5fe9b9ac feat: add tests for number semantics (#555) Elijah Koulaxis 2026-01-31 03:57:51 +02:00
• 0e9e34a519 chore: Gate exports using allocator-limits feature (#564) regorus-v0.9.0 Anand Krishnamoorthi 2026-01-30 23:56:29 +05:30
• 3f7a5496dc feat(bindings)!: add RVM/Program support across FFI and language bindings (#565) Anand Krishnamoorthi 2026-01-30 23:55:31 +05:30
• 0316ccd90c chore(release): publish vendored mimalloc crates (#563) Anand Krishnamoorthi 2026-01-30 09:03:02 +05:30
• 10eebfe54c test(rvm): Move vm execution limit tests to a separate test to avoid flakiness (#558) Anand Krishnamoorthi 2026-01-29 04:15:33 +05:30
• e688806ca0 chore: Keep regorus and binding versions in sync (#552) Anand Krishnamoorthi 2026-01-28 05:58:34 +05:30
• 394625d4bc feat!: add cooperative execution-time limits across engine, VM, and binding (#539) Anand Krishnamoorthi 2026-01-28 05:58:03 +05:30
• e68e852ee3 feat(xtask): consolidate CI workflows onto xtask helpers (#542) Anand Krishnamoorthi 2026-01-27 07:42:21 +05:30
• 2b1434b3ac fix(release): Fix release-plz dirty-tree errors from Ruby binstubs (#547) Anand Krishnamoorthi 2026-01-24 07:09:25 +05:30
• fd59bb5a91 feat(memory): Allocator-backed global memory limits (#544) Anand Krishnamoorthi 2026-01-24 07:08:54 +05:30
• 80686d6ed1 feat(ffi): unwind safety: shield FFI entrypoints with panic guard (#546) Anand Krishnamoorthi 2026-01-20 21:50:10 -06:00
• 9426b2ec02 fix: Imports without a name binding (#543) Anand Krishnamoorthi 2026-01-15 03:57:52 +05:30
• 740db8a0f5 chore: Harden RVM implementation (#537) Anand Krishnamoorthi 2026-01-14 06:07:31 +05:30
• d626f75421 Include all licenses in SPDX expression and LICENSE file (#540) Ben Beasley 2026-01-10 13:01:49 +00:00
• 5afbd96159 chore: Interpreter hardening (#536) Anand Krishnamoorthi 2025-12-30 18:21:09 -06:00
• 28891ef883 chore: Harden instructions and program (#535) Anand Krishnamoorthi 2025-12-30 18:20:07 -06:00
• 49958c2ece chore: Make clippy clean and harden helpers (#532) Anand Krishnamoorthi 2025-12-29 14:47:09 -06:00
• 08a5e00960 chore: Harden lexer bounds and span handling (#531) Anand Krishnamoorthi 2025-12-29 14:46:05 -06:00
• 1d71df30b6 chore: Fix lint errors in lookup.rs (#530) Anand Krishnamoorthi 2025-12-29 13:53:46 -06:00
• 249dcd0b43 chore: Add clippy lints (#529) Anand Krishnamoorthi 2025-12-23 15:59:34 -06:00
• 604591a0f7 Merge pull request #527 from anakrish/checked-indexing Anand Krishnamoorthi 2025-12-19 13:24:55 -06:00
• dbfb8e38a8 fix: Skip reordering in truncated queries. Anand Krishnamoorthi 2025-12-19 12:08:09 -06:00
• 273a80571e fix: apply expression ordering to schedule in a safe way Anand Krishnamoorthi 2025-12-19 11:21:39 -06:00
• 3f29eb2fa6 fix: Create ordered statements in a safe way Anand Krishnamoorthi 2025-12-19 11:19:31 -06:00
• 889a02ddd6 fix: Avoid unwrap when accesssing current module Anand Krishnamoorthi 2025-12-19 11:12:31 -06:00
• 70f63a0982 fix: Avoid unrap/expect in context management Anand Krishnamoorthi 2025-12-19 11:01:02 -06:00
• 6bc1249dc8 feat: Safeguard lookup use Anand Krishnamoorthi 2025-12-19 07:53:02 -06:00
• 5d0cf95332 feat: add recursion limit to parser Anand Krishnamoorthi 2025-12-18 12:26:19 -06:00
• fd4bb3081f feat: Safeguard against panics in parser Anand Krishnamoorthi 2025-12-18 11:01:12 -06:00
• 93a633750c feat: Guard against runtime panics in lexer Anand Krishnamoorthi 2025-12-18 10:31:00 -06:00
• 52b56f4214 Merge pull request #526 from anakrish/quick-fixes Anand Krishnamoorthi 2025-12-17 16:56:06 -06:00
• 8b84d4ce12 Merge pull request #525 from tjons/tjons/feat-implement-net-cidr-expand Anand Krishnamoorthi 2025-12-17 13:16:52 -06:00
• ecf95833f9 Merge pull request #519 from anakrish/opa-rvm-3 Anand Krishnamoorthi 2025-12-16 14:11:08 -06:00
• 9fa8036ce4 feat: Implement Rego else block compilation Anand Krishnamoorthi 2025-12-05 12:26:26 -06:00
• a232b13e50 feat: Else blocks in definitions Anand Krishnamoorthi 2025-12-05 11:40:43 -06:00
• e9a50bcfd5 test: skip test case which queries rule suffixes Anand Krishnamoorthi 2025-12-03 15:52:34 -06:00
• d0fa639bb8 feat: Reject with keyword usage Anand Krishnamoorthi 2025-12-03 15:22:12 -06:00