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

• d3fd0a3a78 all, any deprecated functions (#35) Anand Krishnamoorthi 2023-11-04 13:22:40 -07:00
• 9ca55bcdf8 all, any deprecated functions (#34) Anand Krishnamoorthi 2023-11-02 20:27:40 -07:00
• c53d002347 Improvements (#33) Anand Krishnamoorthi 2023-11-01 21:57:06 -07:00
• 6228eaab4a Order query expression results (#32) Anand Krishnamoorthi 2023-10-31 13:26:33 -07:00
• 519cce5b33 Scheduling of statements in user queries (#31) Anand Krishnamoorthi 2023-10-31 10:52:51 -07:00
• 7a3d5e7e02 eval, lex, parse commands (#30) Anand Krishnamoorthi 2023-10-30 21:45:43 -07:00
• 63ecc44a48 eval_user_query for OPA style results (#29) Anand Krishnamoorthi 2023-10-30 10:44:02 -07:00
• 800e594d52 Arity for builtins (#28) Anand Krishnamoorthi 2023-10-24 10:11:50 -07:00
• 951bb6b14c Handle chained _ (#27) Anand Krishnamoorthi 2023-10-17 19:32:42 -07:00
• 2436467fbd Minimize PR 22 (#26) Anand Krishnamoorthi 2023-10-09 14:27:31 -07:00
• 2ba718ba72 improve errors location (#23) eric-therond 2023-09-27 18:41:30 +02:00
• b7420aceba Fix clippy warning (#25) Anand Krishnamoorthi 2023-09-27 08:40:36 -07:00
• 8a9652b8d2 negation of an undefined value should return true (#21) eric-therond 2023-06-29 18:44:19 +02:00
• 796da46ae8 Ensure that scopes are cleaned up correctly upon error. (#20) Anand Krishnamoorthi 2023-06-23 08:57:47 -07:00
• e08d13df53 fix bitwise.and and add tests (#19) eric-therond 2023-06-22 20:27:58 +02:00
• 910ef32ffb support of or-functions (#18) eric-therond 2023-06-16 18:30:17 +02:00
• 7789de41b6 Statement Scheduler Implementation Anand Krishnamoorthi 2023-03-08 08:58:21 -08:00
• 6738eeed3c Remove unnecessary lifetime Anand Krishnamoorthi 2023-03-07 07:53:25 -08:00
• cba0af0d3f json.filter, object.filter, object.get, object.keys, object.remove Anand Krishnamoorthi 2023-03-07 07:26:49 -08:00
• 6b637e9151 conversion::to_number builtin Anand Krishnamoorthi 2023-03-04 06:17:30 -08:00
• 112623c762 tracing::trace builtin Anand Krishnamoorthi 2023-03-04 05:27:31 -08:00
• 81f6199642 bitwise builtins Anand Krishnamoorthi 2023-03-04 04:38:34 -08:00
• ec695bd22e debugging::print builtin Anand Krishnamoorthi 2023-03-04 04:34:10 -08:00
• c5ea737200 Partial sprintf implementation. Anand Krishnamoorthi 2023-03-03 05:13:52 -08:00
• ea47de919c All string functions except sprintf. TODO: Add tests Anand Krishnamoorthi 2023-03-01 08:32:25 -08:00
• f9897085cf More string functions without tests Anand Krishnamoorthi 2023-02-28 07:59:47 -08:00
• 3c3cd312fc More string functions Anand Krishnamoorthi 2023-02-28 01:19:44 -08:00
• 27c5afd8ee strings: concat and contains Anand Krishnamoorthi 2023-02-27 23:53:20 -08:00
• 89e26e37a2 string concat (WIP) Anand Krishnamoorthi 2023-02-27 19:10:06 -08:00
• e93b33ea05 Support build on non Linux platforms Anand Krishnamoorthi 2023-02-28 23:49:05 -08:00
• 608f1592e8 Prepare for upstreaming Anand Krishnamoorthi 2023-02-27 19:28:45 -08:00
• 32028a311e Test for multi-assign Anand Krishnamoorthi 2023-02-26 22:24:22 -08:00
• 8e0ddbcff2 Support dependencies between vars defined in same statement Anand Krishnamoorthi 2023-02-26 07:26:54 -08:00
• 34eee1f17f Statement scheduler (WIP) Anand Krishnamoorthi 2023-02-26 00:40:16 -08:00
• 0ae24110cb Print small-form table of files without 100% coverage. Anand Krishnamoorthi 2023-02-22 07:42:22 -08:00
• 379d4631a5 Code tweaks to improve coverage Anand Krishnamoorthi 2023-02-22 05:26:30 -08:00
• 31e1c63281 Tests for aggregates builtins Anand Krishnamoorthi 2023-02-22 04:39:07 -08:00
• 6b87e99fb9 Tests for numbers builtins Anand Krishnamoorthi 2023-02-21 23:30:28 -08:00
• 17257f9f1d Tests for arrays builtins Anand Krishnamoorthi 2023-02-21 23:00:39 -08:00
• c4ae2d4cc2 Tests for types functions Anand Krishnamoorthi 2023-02-21 20:46:11 -08:00
• ae3866b1ab Destructuring of arrays and objects in some-in expressions Anand Krishnamoorthi 2023-02-21 07:19:05 -08:00
• cf4fbdbb90 some .. in implementation Anand Krishnamoorthi 2023-02-20 09:39:39 -08:00
• eded43bdc6 Fix key, value in membership and some-in Anand Krishnamoorthi 2023-02-20 07:57:30 -08:00
• 3549931342 refactor Anand Krishnamoorthi 2023-02-18 17:22:16 -08:00
• d84096024d Arrays and Aggregates Anand Krishnamoorthi 2023-02-18 05:04:35 -08:00
• 351483d100 Implement every statement (#4) Anand Krishnamoorthi 2023-02-20 06:30:40 +05:30
• 2a1924efa5 Set loop index variable if not "_" (#3) Anand Krishnamoorthi 2023-02-19 10:56:42 +05:30
• 267b76e4d3 Allow comprehensions in default value. (#2) Anand Krishnamoorthi 2023-02-18 17:14:59 +05:30
• 12c3d26476 Lock down numbers Anand Krishnamoorthi 2023-02-18 01:13:25 -08:00
• a8a1d4b820 mod function Anand Krishnamoorthi 2023-02-16 21:53:36 -08:00
• b30fc2599c Builtin functions for numbers (WIP) Anand Krishnamoorthi 2023-02-13 03:33:40 -08:00
• 24911e6807 Merge pull request #7 from anakrish/main Ming-Wei Shih 2023-02-13 13:23:00 -08:00
• 53030c4ada Implement comparison operators. Formalize semantics. Anand Krishnamoorthi 2023-02-12 17:09:23 -08:00
• fd5140a5a8 Rework assign operations (#6) Ming-Wei Shih 2023-02-10 17:07:04 -08:00
• 1001afbb28 Merge pull request #5 from anakrish/main Ming-Wei Shih 2023-02-10 08:32:18 -08:00
• 3a3bbcdb7d Locked down supported values in default rule. Anand Krishnamoorthi 2023-02-10 06:09:39 -08:00
• c92707433e Improvements to github workflow (#4) Anand Krishnamoorthi 2023-02-10 11:16:09 +05:30
• dc0720b32a Merge pull request #3 from anakrish/main Anand Krishnamoorthi 2023-02-10 10:08:33 +05:30
• 980a5d4772 Update name to regorus Anand Krishnamoorthi 2023-02-09 20:33:39 -08:00
• 4c3df24a09 Update rust.yml Ming-Wei Shih 2023-02-09 14:41:00 -08:00
• db0a4607a9 Add simple git action Ming-Wei Shih 2023-02-09 14:37:22 -08:00
• 67ae4066d5 Merge pull request #2 from mingweishih/update_license Ming-Wei Shih 2023-02-09 11:42:20 -08:00
• b2aca43e64 Add missing config.toml Ming-Wei Shih 2023-02-09 19:36:34 +00:00
• c0972ad2ba Update license to MIT Ming-Wei Shih 2023-02-09 19:26:54 +00:00
• 8218053c24 Merge pull request #1 from anakrish/main Ming-Wei Shih 2023-02-09 11:11:05 -08:00
• cb0b3a1790 Code from github.com/anakrish/rego-rs Anand Krishnamoorthi 2023-02-09 10:56:54 -08:00
• 8f67aeecb0 SUPPORT.md committed Microsoft Open Source 2023-02-09 10:46:51 -08:00
• 3eb0fe3897 SECURITY.md committed Microsoft Open Source 2023-02-09 10:46:50 -08:00
• 746f815a89 README.md committed Microsoft Open Source 2023-02-09 10:46:49 -08:00
• bab1c5f60a LICENSE committed Microsoft Open Source 2023-02-09 10:46:48 -08:00
• 73f9005860 CODE_OF_CONDUCT.md committed Microsoft Open Source 2023-02-09 10:46:48 -08:00
• d49a85c3cd Initial commit microsoft-github-operations[bot] 2023-02-09 18:46:42 +00:00