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

• a514e8da83 fix: Implement RVM set ops correctly Anand Krishnamoorthi 2025-12-03 14:38:17 -06:00
• 252ae0e312 Merge pull request #516 from anakrish/rvm-opa-2 Anand Krishnamoorthi 2025-12-16 11:28:36 -06:00
• ce85e0102d fix: use debug build in pre-commit hook Anand Krishnamoorthi 2025-12-16 09:54:40 -06:00
• a8f5ac6117 fix: Run pre-commit tests in debug mode Anand Krishnamoorthi 2025-12-16 09:40:19 -06:00
• 632f64b2ce fix: remove non-existent feature use in git push hook Anand Krishnamoorthi 2025-12-16 09:36:24 -06:00
• c41f289b19 feat: implement net.cidr_expand builtin tjons 2025-12-16 06:05:32 -05:00
• 2a75b3b0b6 Merge pull request #524 from hkrutzer/fix-underflow Anand Krishnamoorthi 2025-12-15 14:37:11 -06:00
• 3962b3c38d fix: Integer underflow in lexer error message formatting Hans Krutzer 2025-12-13 11:37:00 +01:00
• d4b7d1ff6c Merge pull request #522 from microsoft/dependabot/cargo/criterion-0.8.1 Anand Krishnamoorthi 2025-12-10 06:38:27 -06:00
• d6cd738822 Merge pull request #523 from dpokluda/jetbrains-gitignore-support Anand Krishnamoorthi 2025-12-08 17:13:56 -06:00
• 36e75d3e49 Add support for JetBrains IDEs gitignore David Pokluda 2025-12-08 14:17:20 -08:00
• befe131048 build(deps): bump criterion from 0.7.0 to 0.8.1 dependabot[bot] 2025-12-08 02:07:45 +00:00
• bedf667adc feat: Handle literal comparisons that use = and comprehensions without loops Anand Krishnamoorthi 2025-12-03 12:59:58 -06:00
• 8269968c4a feat: Handle computed reference roots in RVM compiler Anand Krishnamoorthi 2025-12-03 11:00:57 -06:00
• e3d23766ae feat: Ensure RVM caches deterministic builtins Anand Krishnamoorthi 2025-12-03 10:45:29 -06:00
• 1d627f3798 Merge pull request #515 from anakrish/rvm-opa-1 Anand Krishnamoorthi 2025-12-03 13:33:04 -06:00
• b7b3d3ec87 feat: Soft-assert mode for builtin out-params under not Anand Krishnamoorthi 2025-12-02 15:06:23 -06:00
• 30bd134a0b fix: Handle builtin out-parameter calls in RVM compiler Anand Krishnamoorthi 2025-12-02 13:29:12 -06:00
• 5aefd51cb6 feat: Add span information to compiler errors Anand Krishnamoorthi 2025-12-02 12:29:15 -06:00
• e060e43a6c test: OPA RVM validation (#514) Anand Krishnamoorthi 2025-12-02 13:26:38 -06:00
• 12c083e29e test: Add RVM compiler testing to ACI tests (#509) Anand Krishnamoorthi 2025-12-01 16:58:44 -06:00
• a8a3a9809b feat!: Use num-bigint for large numbers (#500) Anand Krishnamoorthi 2025-12-01 13:25:02 -06:00
• 14deaaa5b6 Re-enable wasm-pack test after upstream issue fix (#508) Copilot 2025-11-25 12:03:16 -06:00
• 209a534b7c Initial plan copilot/avoid-use-of-anyhow copilot-swe-agent[bot] 2025-11-25 00:43:19 +00:00
• ed360879a6 build(deps): bump prettydiff from 0.8.1 to 0.9.0 (#502) dependabot[bot] 2025-11-24 15:02:35 -06:00
• 4988bda647 build(deps): bump indexmap from 2.12.0 to 2.12.1 (#503) dependabot[bot] 2025-11-24 12:16:12 -06:00
• 92b9ec8fa8 build(deps): bump clap from 4.5.52 to 4.5.53 (#505) dependabot[bot] 2025-11-24 12:15:17 -06:00
• a3a20a1235 feat!: Rego -> RVM Compiler and extensive testsuite (#506) Anand Krishnamoorthi 2025-11-24 12:08:37 -06:00
• 688e6128d4 feat: Detect incorrect multi-threaded use from c based ffi (#499) Anand Krishnamoorthi 2025-11-17 14:21:13 -06:00
• ad8c543fb5 feat: Add Azure RBAC condition parser (#496) Anand Krishnamoorthi 2025-11-17 14:15:35 -06:00
• 49bd3c22f3 feat!: add Rego Virtual Machine (RVM) implementation (#495) Anand Krishnamoorthi 2025-11-14 11:43:19 -06:00
• 6dc505c88b build: Add xtask automation for binding version management (#491) Anand Krishnamoorthi 2025-10-28 16:10:54 -05:00
• 091bbb2e5c feat: Optimize C# binding interop (#488) Anand Krishnamoorthi 2025-10-27 12:35:40 -05:00
• 1e4ff952e6 feat!: Introduce structured destructuring plans for bindings (#485) Anand Krishnamoorthi 2025-10-21 15:57:49 -05:00
• 25a7ddad0a build(deps): bump clap from 4.5.45 to 4.5.49 (#487) dependabot[bot] 2025-10-20 09:26:05 -05:00
• 5d8387f4d9 feat(hoist): pre-compute loop hoisting metadata at compilation time (#483) Anand Krishnamoorthi 2025-10-08 11:11:30 -05:00
• 9604fe86f1 Bump the version of the C# bindings (#482) Denis Komissarov 2025-09-30 13:31:46 -07:00
• ac388684bc fix: CodeQL reported printf format specifier issues (#480) Anand Krishnamoorthi 2025-09-25 18:45:20 -05:00
• 57f2e7703c ci: Add CodeQl workflow (#478) Anand Krishnamoorthi 2025-09-23 04:31:19 +05:30
• 4ec9e76440 Set input in with_document too when reuse engine (#474) Kirill Zabelin 2025-09-08 14:37:46 +02:00
• 1b0c2d4072 feat: Implement net.cidr_contains builtin (#471) Tyler Schade 2025-09-05 16:21:41 -04:00
• 85753aaf37 feat: Implement efficient node lookup table using node indices (#463) Anand Krishnamoorthi 2025-08-26 15:01:45 -05:00
• c43c94559a feat: modernize GitHub Actions with security hardening and centralized Rust toolchain (#470) Anand Krishnamoorthi 2025-08-26 12:42:02 -05:00
• 2a0b4ae6b5 feat! Mimalloc as the default allocator (#434) Anand Krishnamoorthi 2025-08-25 15:01:38 -05:00
• 6c5338228b Update release-plz GitHub workflow (#466) regorus-v0.5.0 Burak Varlı 2025-08-22 18:04:12 +01:00
• d561531613 feat: add multi-threaded evaluation benchmark suite with comprehensive C# implementation (#457) Anand Krishnamoorthi 2025-08-22 11:40:39 -05:00
• a53c7c8192 fix: Use license instead of license-file in Cargo.toml (#464) Burak Varlı 2025-08-22 15:29:28 +01:00
• 5c71debcb9 Bump the nuget group with 1 update (#462) dependabot[bot] 2025-08-20 05:54:13 -05:00
• cc917ea75d feat: Complete target system with C# bindings and resource inference (#458) Anand Krishnamoorthi 2025-08-19 20:23:43 -05:00
• 3c33d31d08 build(deps): bump clap from 4.5.43 to 4.5.45 (#459) dependabot[bot] 2025-08-18 06:40:36 -05:00
• 965daa0a46 build(deps): bump dashmap from 5.5.3 to 6.1.0 (#460) dependabot[bot] 2025-08-18 05:03:37 -05:00
• db718654b5 feat: Add Schema Registry and Validation Framework (#456) Anand Krishnamoorthi 2025-08-14 15:59:30 -05:00
• 77f8544868 feat: Type System (#452) Anand Krishnamoorthi 2025-08-11 15:40:45 -05:00
• 2fcd5e3eb9 build(deps): bump clap from 4.5.42 to 4.5.43 (#454) dependabot[bot] 2025-08-11 07:07:53 -05:00
• 30f0d4e781 build(deps): bump criterion from 0.6.0 to 0.7.0 (#455) dependabot[bot] 2025-08-11 06:34:50 -05:00
• de6aa2bcd1 fix: Fix broken build (#453) Anand Krishnamoorthi 2025-08-07 12:52:09 -05:00
• dbba57f499 perf: Optimize clone (#443) Anand Krishnamoorthi 2025-08-06 20:50:47 -05:00
• a8384da070 feat: implement net.cidr_is_valid builtin (#422) Tyler Schade 2025-08-06 06:17:10 -04:00
• c5b2b0df97 build: Run format and clippy during C# binding build (#451) Denis Komissarov 2025-08-04 17:57:38 -07:00
• fc09802bfb deps: Update dependencies across all Cargo.toml files and ignore .sln files (#450) Anand Krishnamoorthi 2025-08-04 19:56:27 -05:00
• 9fce2ccc00 feat: Implement methods to get package names and parameters (#425) Denis Komissarov 2025-08-04 13:02:22 -07:00
• 3b802c14cb fix: Fix install of regorus_ffi C++ bindings (#449) Milian Wolff 2025-08-04 16:40:52 +02:00
• 90b4ec6823 fix: Tweak release-plz config to handle dirty files. (#433) Anand Krishnamoorthi 2025-07-09 11:27:12 -05:00
• 9487defa20 chore: Regorus v0.5.0 release (#432) Anand Krishnamoorthi 2025-07-08 16:40:06 -05:00
• 48d2064c14 ci: Update release-plz action to v0.5.108 (#431) Anand Krishnamoorthi 2025-07-08 14:22:49 -05:00
• a29bfeeb4f Early return for 'some in' statement (#427) Kirill Zabelin 2025-07-08 20:47:06 +02:00
• 0a9864f3ec fix: emit import warning to stderr (#430) Anand Krishnamoorthi 2025-07-08 12:23:54 -05:00
• 9cba07b778 fix: Fix mut_from_ref clippy warning (#428) Anand Krishnamoorthi 2025-07-08 11:48:13 -05:00
• 168b2a9c88 build: Support manually generating C# bindings via Github action and add a README (#423) Denis Komissarov 2025-07-03 10:31:32 -07:00
• 8ee1cf3298 fix: Clippy warnings (#424) Anand Krishnamoorthi 2025-07-02 20:04:27 -05:00
• 444b2970a1 feat!: Indexes for nodes in the AST (#414) Anand Krishnamoorthi 2025-06-20 15:09:07 -05:00
• 620f8a4547 Make the bindings/cpp CMake project installable (#416) Milian Wolff 2025-06-02 18:45:22 +02:00
• c631d44154 build(deps): bump clap from 4.5.38 to 4.5.39 (#415) dependabot[bot] 2025-06-02 08:59:41 -05:00
• 39f10326cc build(deps): Update criterion and other deps (#412) Anand Krishnamoorthi 2025-05-23 14:00:14 -05:00
• 60ac4a7a7c Basic benchmarking setup with Criterion (#408) Burak Varlı 2025-05-14 17:41:06 +02:00
• 5caac47b38 Default to Rego v1 in regorus parse (#407) Burak Varlı 2025-05-14 16:28:18 +02:00
• 2f6c39753c build(deps): bump clap from 4.5.37 to 4.5.38 (#406) dependabot[bot] 2025-05-12 10:33:03 -05:00
• 130f9685fd feat: Updates for Policy Framework (#405) Anand Krishnamoorthi 2025-04-30 15:33:40 -05:00
• b11007a1be fix: Disallow else blocks for set rules (#403) Anand Krishnamoorthi 2025-04-29 11:14:37 -05:00
• 6719456468 build: Update dependencies (#401) Anand Krishnamoorthi 2025-04-29 11:06:05 -05:00
• 962c0cc459 Add C# test examples (#397) Anthony Martin 2025-04-23 09:01:51 -04:00
• 9e43bd9878 fix!: Remove cryptographic builtins (#396) Anand Krishnamoorthi 2025-04-16 12:24:19 -07:00
• 0c789ba125 Add C# test examples ant/cs_test_example Anthony Martin 2025-04-16 09:17:52 -04:00
• 667cb0d90f build(deps): bump clap from 4.5.35 to 4.5.36 (#395) dependabot[bot] 2025-04-15 08:33:41 -07:00
• f46ab5b697 fix!: Fix glob.match behavior in presence of : (#390) azure-policy Anand Krishnamoorthi 2025-04-09 11:11:57 -07:00
• 757edcc8fb build: Python binding portability (#388) Anand Krishnamoorthi 2025-04-07 13:18:01 -07:00
• 77cdac0fef build(deps): bump clap from 4.5.34 to 4.5.35 (#389) dependabot[bot] 2025-04-06 21:14:33 -07:00
• ab93c07773 fix: C# EvalRule (#387) Anand Krishnamoorthi 2025-04-04 15:44:16 -07:00
• 2749e820c4 build(deps): bump pyo3 (#386) dependabot[bot] 2025-04-02 07:13:48 -07:00
• a164f342bf build: Use VersionPrefix and VersionSuffix (#385) Anand Krishnamoorthi 2025-03-31 18:24:59 -07:00
• c28bde3f56 build: Check-in Cargo.lock files and lockdown .net (#384) Anand Krishnamoorthi 2025-03-31 07:55:47 -07:00
• 2858b63cd4 feat: Regorus nuget package (#383) Anand Krishnamoorthi 2025-03-25 11:31:13 -07:00
• c7bf460bc1 chore: release (#382) regorus-v0.4.0 Anand Krishnamoorthi 2025-03-14 14:56:25 -07:00
• 4d2b205ef4 fix!: Update ruby json dependency (#381) Anand Krishnamoorthi 2025-03-14 13:31:12 -07:00
• 4f7b9a4292 fix!: Remove ring dependency (#380) Anand Krishnamoorthi 2025-03-14 10:49:57 -07:00
• 4a2df93ae2 fix!: Remove sha1 dependency (#379) Anand Krishnamoorthi 2025-03-13 12:34:11 -07:00
• c6a5f1d852 build: Specify optimization flags (#378) Anand Krishnamoorthi 2025-03-10 17:50:31 -07:00
• 2901481c51 chore: release (#376) regorus-v0.3.0 Anand Krishnamoorthi 2025-03-10 12:33:59 -07:00
• c963e477a3 feat: Update to OPA v1.2.0 (#373) Anand Krishnamoorthi 2025-03-10 11:56:01 -07:00
• cbd772623a build(deps): update pyo3 requirement from 0.23.5 to 0.24.0 (#375) dependabot[bot] 2025-03-09 20:25:44 -07:00