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

• 1b0c964698 build(deps): refresh Cargo lockfiles dependabot/cargo/rust-dependencies-636a65966f github-actions[bot] 2026-07-30 02:37:30 +00:00
• cd110d08e3 build(deps): bump the rust-dependencies group across 5 directories with 2 updates dependabot[bot] 2026-07-30 02:37:05 +00:00
• 839510df56 fix: Prevent panic by Number::modulo (#773) main Jay Lorch 2026-07-27 12:06:42 -07:00
• e468255657 fix: Handle i64::MIN / -1 special case Jay Lorch 2026-07-27 10:22:28 -07:00
• 6608a9f05e ci(deps): bump the github-actions group across 1 directory with 11 updates (#763) dependabot[bot] 2026-07-24 18:19:20 -07:00
• 5b6e657e87 build(deps): bump the per-dependency group across 1 directory with 2 updates (#767) dependabot[bot] 2026-07-24 10:13:24 -05:00
• f00ec3a116 build(deps): bump the rust-dependencies group across 6 directories with 6 updates (#768) dependabot[bot] 2026-07-24 10:12:43 -05:00
• e8482f5abe Handle i32::MIN in Number::two_pow and Number::ten_pow (#771) Jay Lorch 2026-07-24 07:47:55 -07:00
• 8b844e4c53 fix(interpreter,rvm): resolve function calls through import aliases (#769) Michael Staib 2026-07-23 19:33:32 +02:00
• 4c183e931d feat: Support Verus verification (#759) Jay Lorch 2026-07-22 16:21:00 -07:00
• f98865fc98 chore(release): release regorus v0.11.0 (#766) regorus-v0.11.0 Anand Krishnamoorthi 2026-07-21 17:06:44 -05:00
• 20a954a635 chore(regorus): release v0.11.0 release-plz-2026-07-21T20-45-41Z github-actions[bot] 2026-07-21 20:45:42 +00:00
• 6ef5e74eb2 fix(rvm): assert every-quantifier results so failing cases don't pass (#765) Anand Krishnamoorthi 2026-07-21 15:43:42 -05:00
• 9a486c79bf fix: Deep-merge nested data documents in Engine::add_data (#760) Mark Birger 2026-07-21 22:18:00 +02:00
• 9838b25fb7 build(deps): bump the rust-dependencies group across 5 directories with 11 updates (#764) dependabot[bot] 2026-07-21 12:39:19 -05:00
• f0acc64195 feat(compiler): support registered host-await builtins for natural function call syntax (#667) Mark Birger 2026-06-29 18:17:25 +02:00
• 166ea727b8 build(deps): bump the per-dependency group across 1 directory with 3 updates (#728) dependabot[bot] 2026-06-26 15:40:34 -05:00
• 4c45ebfb61 build(deps): update maturin requirement (#683) dependabot[bot] 2026-06-26 13:57:44 -05:00
• 41e1303213 feat(value): introduce Set storage abstraction (#740) Anand Krishnamoorthi 2026-06-26 13:56:15 -05:00
• 9b42239327 Expand keyword-in-ref coverage for complex parser edge cases (interpreter + RVM) (#744) Copilot 2026-06-26 13:55:28 -05:00
• 9b6ad0bdac build(deps): bump org.apache.maven.plugins:maven-surefire-plugin (#732) dependabot[bot] 2026-06-26 10:40:39 -05:00
• c394725e41 build(deps): bump the rust-dependencies group across 5 directories with 4 updates (#754) dependabot[bot] 2026-06-26 10:34:57 -05:00
• 4b8874be9c bindings/python: bump PyO3 to 0.29.0 to remediate GHSA-36hh-v3qg-5jq4 (#752) Copilot 2026-06-24 12:32:03 -05:00
• 096c693155 build(deps): bump the rust-dependencies group across 5 directories with 6 updates (#750) dependabot[bot] 2026-06-23 11:11:31 -05:00
• 2bd0df7d02 Bump pyo3 to 0.29.0 in python binding copilot/fix-pyo3-out-of-bounds-read copilot-swe-agent[bot] 2026-06-23 15:10:44 +00:00
• 3f65685149 Update python binding to pyo3 0.29.0 copilot/fix-py03-missing-sync-bound copilot-swe-agent[bot] 2026-06-23 15:05:27 +00:00
• 444f172c21 Initial plan copilot-swe-agent[bot] 2026-06-23 15:01:39 +00:00
• ae9cae8d22 Initial plan copilot-swe-agent[bot] 2026-06-23 15:01:07 +00:00
• 6cf77bb5ea Clarify deferral comments and dynamic path docs copilot/fix-cyclic-references-behaviour copilot-swe-agent[bot] 2026-06-09 21:10:05 +00:00
• 6dc3a3e2dc Improve active-rule deferral matching docs and path checks copilot-swe-agent[bot] 2026-06-09 21:04:19 +00:00
• 838046ba60 Polish keyword-ref test expectations and validate coverage copilot/add-keywords-in-refs-capability copilot-swe-agent[bot] 2026-06-09 21:04:15 +00:00
• 9955662e7c Add complex keyword-in-ref test cases copilot-swe-agent[bot] 2026-06-09 21:01:36 +00:00
• e8f126d479 Refine module-evaluation deferral logic for active rules copilot-swe-agent[bot] 2026-06-09 19:18:20 +00:00
• bc2fcc1cee Fix import-driven cross-package lookup behavior in interpreter and RVM copilot-swe-agent[bot] 2026-06-09 19:15:12 +00:00
• c7216d8c66 Address review feedback: improve parse_ref_field doc comment and clean up test comment copilot-swe-agent[bot] 2026-06-09 17:25:26 +00:00
• c22f148778 Add keywords_in_refs: allow reserved keywords as dot-notation field names copilot-swe-agent[bot] 2026-06-09 17:16:27 +00:00
• e865f13102 Initial plan copilot-swe-agent[bot] 2026-06-09 17:05:19 +00:00
• ab162fcaec Initial plan copilot-swe-agent[bot] 2026-06-09 17:04:48 +00:00
• ed6ae465b0 refactor(value): migrate Value::Object to Object storage abstraction (#736) Anand Krishnamoorthi 2026-06-05 18:04:37 -05:00
• bd90453dd3 tests/opa: normalize path separators in folder filter on Windows (#742) Mark Birger 2026-06-05 23:00:24 +02:00
• 11940ddb04 Introduce Object storage abstraction (#735) Anand Krishnamoorthi 2026-06-04 12:31:15 -05:00
• 5b7010ba16 chore(rvm): add debug-mode invariant assertions (#737) Anand Krishnamoorthi 2026-06-04 12:28:47 -05:00
• ba7d29b134 build(deps): bump the rust-dependencies group across 5 directories with 5 updates (#734) dependabot[bot] 2026-05-28 14:58:40 -05:00
• acf7f7a25e chore: release (#731) regorus-v0.10.1 Anand Krishnamoorthi 2026-05-22 15:50:53 -05:00
• 4552b68e45 chore: release release-plz-2026-05-22T17-53-04Z github-actions[bot] 2026-05-22 17:53:06 +00:00
• 86b4a279fa fix(ffi): eliminate aliasing UB + add Azure Policy JSON compilation FFI (#727) Anand Krishnamoorthi 2026-05-22 12:50:16 -05:00
• 5467cd9e69 refactor(azure_policy): reduce AliasRegistry allocations via Rc sharing (#725) copilot/review-pull-727-deep-review Anand Krishnamoorthi 2026-05-18 17:55:34 -05:00
• dae3052781 fix(interpreter,rvm): correct partial object rule iteration and classification (#718) Copilot 2026-05-18 15:14:08 -05:00
• 3111bf58f2 perf(normalizer): use Rc<str> interning to reduce alias resolution allocations (#726) Anand Krishnamoorthi 2026-05-18 15:13:11 -05:00
• be3fde7706 fix(copilot): robust diff computation for cloud agent environments (#709) Anand Krishnamoorthi 2026-05-18 15:12:29 -05:00
• 639bfe3246 Fix deep-review findings for prepare/closed-handle safety copilot/add-clone-method-to-engine copilot-swe-agent[bot] 2026-05-15 12:04:40 +00:00
• 4cc82e2fda Address review nits after validation feedback copilot-swe-agent[bot] 2026-05-14 20:11:51 +00:00
• 196b6d68aa Fix target-aware prepare path and add regression test copilot-swe-agent[bot] 2026-05-14 20:07:11 +00:00
• d2c483e93e build(deps): bump the rust-dependencies group across 5 directories with 2 updates (#724) dependabot[bot] 2026-05-14 10:37:20 -05:00
• c65e844f63 Strengthen Java clone test coverage copilot-swe-agent[bot] 2026-05-14 13:18:27 +00:00
• 730e6de75a Extend prepare API/docs across bindings copilot-swe-agent[bot] 2026-05-14 13:13:43 +00:00
• 72515f6d4c Expose wasm engine clone and add prepare API copilot-swe-agent[bot] 2026-05-13 20:16:02 +00:00
• 839933c933 Initial plan copilot-swe-agent[bot] 2026-05-13 20:10:08 +00:00
• 093e50f0a1 build(deps): bump the rust-dependencies group across 5 directories with 4 updates (#717) dependabot[bot] 2026-05-07 06:42:34 -05:00
• eb6e156e8a fix: cover outer-scope bracket key handling copilot/fix-partial-set-rule-issue copilot-swe-agent[bot] 2026-05-07 03:08:59 +00:00
• 5ae1d8abf2 chore: clarify bracket-head rule semantics copilot-swe-agent[bot] 2026-05-06 22:31:09 +00:00
• 03c4275855 fix: classify constant-key bracket rules precisely copilot-swe-agent[bot] 2026-05-06 22:27:07 +00:00
• 78f226f957 fix: refine constant-key bracket rule handling copilot-swe-agent[bot] 2026-05-06 22:19:56 +00:00
• bec159a580 test: align VM ObjectSet collision expectations copilot-swe-agent[bot] 2026-05-06 19:38:42 +00:00
• 117671d959 fix: preserve all bindings for partial object iteration copilot-swe-agent[bot] 2026-05-06 19:34:41 +00:00
• 8617c79da5 Initial plan copilot-swe-agent[bot] 2026-05-06 19:25:36 +00:00
• 8be7511496 chore: release release-plz-2026-05-06T16-12-51Z github-actions[bot] 2026-05-06 16:12:53 +00:00
• 083907ced8 chore: release release-plz-2026-05-06T16-08-33Z github-actions[bot] 2026-05-06 16:08:34 +00:00
• fe24e07d42 chore: release release-plz-2026-05-06T16-00-25Z github-actions[bot] 2026-05-06 16:00:27 +00:00
• 47124623ab chore: bump version to 0.10.0 across all bindings (#710) regorus-v0.10.0 Anand Krishnamoorthi 2026-05-06 10:58:58 -05:00
• 88c7ef8228 feat(copilot): add multi-agent code review skills (#707) copilot/review-pr-708-findings copilot/review-pr-708-another-one copilot/review-pr-708-again copilot/review-pr-708 copilot/code-review-pr-708 Anand Krishnamoorthi 2026-05-04 15:20:45 -05:00
• 87f22a79ca fix: harden regex builtins with compiled-size limit (#705) Anand Krishnamoorthi 2026-05-04 15:20:29 -05:00
• c312e30372 build(deps): update all Rust dependencies and fix lockfile refresh workflow (#704) Anand Krishnamoorthi 2026-05-04 15:20:05 -05:00
• bbf7ad7854 build(deps): bump com.google.code.gson:gson (#702) dependabot[bot] 2026-04-30 15:46:05 -05:00
• 3c3cafcb90 ci(deps): bump the github-actions group across 1 directory with 5 updates (#690) dependabot[bot] 2026-04-30 15:45:19 -05:00
• b734e47c1c build(deps): bump the per-dependency group across 1 directory with 5 updates (#703) dependabot[bot] 2026-04-30 15:44:40 -05:00
• b148d64b2b Make git rev-parse in build.rs optional with graceful fallback (#701) Copilot 2026-04-30 15:43:55 -05:00
• 4c92fb4d92 feat(azure_policy): test runner, compiler fixes, and example program (#700) Anand Krishnamoorthi 2026-04-30 13:02:37 -05:00
• 7f42115b63 test(azure_policy): add foundation test cases (#698) Anand Krishnamoorthi 2026-04-28 11:03:39 -05:00
• afdb894d85 test(azure_policy): add end-to-end policy test cases (#699) Anand Krishnamoorthi 2026-04-27 18:04:50 -05:00
• b989888dab feat(azure-policy): implement effect compilation and metadata population (#691) Anand Krishnamoorthi 2026-04-27 11:31:26 -05:00
• 93b7428d24 feat: add Review Perspectives section to copilot-code-review-instructions.md copilot/add-github-copilot-configuration copilot-swe-agent[bot] 2026-04-25 22:11:51 +00:00
• 73ed93ed6f fix: narrow grep pattern to only match knowledge file table entries" copilot-swe-agent[bot] 2026-04-25 21:50:36 +00:00
• 29acccc407 feat: add copilot instructions, workflows, and architecture docs copilot-swe-agent[bot] 2026-04-25 21:21:33 +00:00
• 524aab5528 Add knowledge docs, agent definitions, and skill files copilot-swe-agent[bot] 2026-04-25 21:20:10 +00:00
• 3d16489ec6 Initial plan copilot-swe-agent[bot] 2026-04-25 20:50:21 +00:00
• ad82227ddb feat(azure-policy): implement count/count.where compilation (#688) Anand Krishnamoorthi 2026-04-23 11:53:43 -05:00
• f50a9744ff feat(azure-policy): implement condition, expression, field, and template dispatch compilation (#686) Anand Krishnamoorthi 2026-04-21 16:51:08 -05:00
• f727096a1d feat(azure-policy): add compiler skeleton with core types and stubs (#674) Anand Krishnamoorthi 2026-04-20 15:29:26 -05:00
• ce235356bc build: fix rand advisory and harden python CI caching (#675) Anand Krishnamoorthi 2026-04-13 17:55:44 -05:00
• 3d34021dea azure-policy parser: allow overriding the column-width limit (#673) Anand Krishnamoorthi 2026-04-10 18:23:02 -05:00
• 35521ce900 build(deps): bump the rust-dependencies group across 5 directories with 6 updates (#671) dependabot[bot] 2026-04-09 17:14:33 -05:00
• 478a88430e ci(deps): bump ruby/setup-ruby in the github-actions group (#670) dependabot[bot] 2026-04-09 16:42:04 -05:00
• b9eca934a8 build(csharp): prepare NuGet package for nuget.org publishing (#668) Anand Krishnamoorthi 2026-04-09 16:40:31 -05:00
• 4d35744c4f feat(rvm): implement Azure Policy condition evaluation (#661) Anand Krishnamoorthi 2026-04-07 19:04:24 -05:00
• 83ce8c3580 Fix RVM evaluation of default-only rules (#664) Mark Birger 2026-04-07 18:38:50 +02:00
• e5ac9a2734 feat(rvm): new instructions and loop semantics for Azure Policy support (#659) Anand Krishnamoorthi 2026-04-06 15:40:41 -05:00
• 5112ccf492 Verus verification verus2 Jay Lorch 2026-04-06 11:30:40 -07:00
• 8f740e2f6f feat(azure-policy): add policy rule and policy definition parsers (#660) Anand Krishnamoorthi 2026-04-06 11:36:24 -05:00
• 687be2850b feat: add Azure Policy constraint parser (#658) Anand Krishnamoorthi 2026-04-03 19:09:51 -05:00