Commit graph

Select branches

Hide pull requests

7677-potential-issue-in-arithmetic-optimization

argnd

arie

copilot/add-api-functions-finite-set

copilot/add-cmake-option-python-bindings

copilot/add-example-for-z3-parser-context

copilot/add-finite-set-constructors

copilot/add-finite-set-operators

copilot/add-finite-set-rewriter

copilot/add-finite-set-value-factory

copilot/add-implementation-finite-set-axioms

copilot/add-mklastindexof-method

copilot/add-rewrite-rules-finite-set-rewriter

copilot/add-string-operations-java-api

copilot/complete-finite-set-header

copilot/extend-api-support-finite-sets

copilot/fix-7941

copilot/fix-8720d50e-3ea8-4d98-8aed-98393b4b96aa

copilot/fix-dd97045b-5ca3-4f7b-8edf-c3764fc4e5fd

copilot/fix-finite-set-decl-plugin

copilot/fix-nuget-package-dll

copilot/implement-fresh-value-algorithm

copilot/implement-inverter-functions-finite-set-operators

copilot/rename-set-select-to-filter

copilot/update-api-z3-mk-datatype-sort

copilot/update-finite-set-check-function

copilot/update-finite-set-fully-interp

daily-backlog-burner-clang-format-6fb0b10f9edf9f15

daily-backlog-burner-fix-dylib-versioning-aad58f6ba3afa571

daily-backlog-burner-issue-templates-a5164506b19a6d1c

daily-backlog-burner/add-clang-format-b2c2bf893132649d

daily-perf-improver-699a33043be4ab3a

daily-test-coverage-improver-533b3200fa126ff4

daily-test-improver-array-peq-tests-4dee5e83be600bcf

daily-test-improver-ast-printer-tests-f01c21ee11444fc9

daily-test-improver-expr-context-simplifier-tests-92d84ac6eb401c41

dependabot/github_actions/actions/download-artifact-6

dependabot/github_actions/actions/setup-python-6

dependabot/github_actions/actions/upload-artifact-5

finite-sets

ilana

lws

master

nl2lin

par

parallel

perf/xxhash-optimization-8cab442e0c080529

poly

polysat

pyodide-ci

revert-7981-copilot/add-finite-set-value-factory

rs

smtmus

synth

unsound

upoly

xor

#1

#1

#1000

#1002

#1004

#1007

#1010

#1013

#1017

#1018

#1020

#1024

#1026

#1031

#1033

#1036

#1037

#104

#1040

#1040

#1049

#1050

#106

#1066

#1069

#107

#107

#1070

#1073

#1076

#108

#108

#1084

#1089

#1090

#1091

#1094

#1095

#1096

#1099

#11

#1104

#1105

#1110

#1111

#1114

#1115

#1117

#1119

#1126

#1129

#1131

#1136

#1138

#1142

#1144

#1145

#1146

#1147

#1158

#1162

#1166

#117

#1174

#1181

#1182

#1183

#1185

#1188

#1189

#12

#12

#1205

#1207

#1208

#1216

#1220

#1222

#1225

#1226

#1228

#1229

#1232

#1238

#1253

#1256

#1256

#1259

#126

#1262

#127

#127

#1270

#1271

#128

#1280

#1281

#1282

#1289

#130

#1300

#1301

#1307

#1307

#1312

#1315

#1323

#1324

#1325

#1336

#1337

#1338

#134

#1341

#1351

#1351

#1355

#1360

#1363

#1363

#1381

#1385

#1385

#1391

#1396

#1400

#1400

#1401

#1410

#1412

#1430

#1431

#1432

#1433

#1434

#1435

#1436

#1438

#1440

#1453

#146

#1462

#1464

#1464

#1465

#1466

#1467

#147

#147

#1472

#1473

#1474

#1478

#1479

#1480

#1482

#1483

#1485

#1486

#1487

#1494

#1495

#1497

#15

#1501

#1503

#1506

#1506

#1508

#1517

#1518

#1519

#152

#152

#1527

#1528

#1537

#1541

#1542

#1546

#155

#155

#1552

#1552

#1556

#1557

#1559

#1560

#1562

#1565

#1588

#1591

#1596

#1597

#16

#1606

#1610

#1611

#1612

#1613

#1624

#1630

#1631

#1635

#164

#1640

#1641

#1642

#1646

#1650

#1651

#1656

#166

#1660

#1660

#1666

#1669

#1669

#1671

#1671

#1673

#1679

#1684

#1686

#1687

#169

#1691

#1692

#1693

#1697

#170

#170

#1700

#1701

#1705

#1706

#1706

#1707

#1708

#1708

#1709

#1710

#1715

#1716

#172

#172

#1721

#1723

#1724

#1727

#1728

#1728

#173

#173

#1731

#1731

#1732

#1737

#1738

#1740

#1743

#1744

#1747

#1748

#1748

#1750

#1751

#1751

#1756

#1758

#1771

#1773

#1774

#1775

#1777

#1779

#1781

#1790

#1792

#1796

#1797

#1799

#18

#1809

#1815

#1818

#1823

#1826

#1829

#1834

#1837

#1838

#1839

#1840

#1840

#1843

#1845

#1848

#1849

#1849

#1850

#1852

#1853

#1854

#1855

#1856

#1857

#1858

#1859

#1860

#1861

#1862

#1863

#1865

#1867

#1869

#1873

#1876

#1877

#1878

#188

#188

#1880

#1881

#1883

#1884

#1886

#1887

#1888

#1893

#1894

#1902

#1906

#1915

#1918

#1930

#1931

#1935

#1938

#1939

#1942

#1947

#1949

#1950

#1951

#1952

#1954

#1955

#1960

#1963

#1964

#1967

#1969

#1972

#1973

#1974

#1975

#1976

#1977

#1982

#1983

#1986

#1990

#1991

#1992

#1993

#1995

#1996

#1997

#1998

#1999

#2

#2

#2001

#2002

#2003

#2004

#2005

#2008

#2010

#2011

#2012

#2013

#2014

#2015

#2016

#2017

#2020

#2021

#2024

#2025

#2026

#2032

#2033

#2034

#2049

#2050

#2051

#2052

#2056

#2062

#2064

#2065

#2066

#2073

#2084

#2088

#21

#2103

#2105

#2121

#2124

#2132

#2133

#2143

#2146

#2147

#2148

#2150

#2163

#2166

#2167

#2170

#218

#2180

#2181

#2183

#2189

#2192

#2193

#2204

#2206

#2224

#2227

#2229

#2233

#2264

#2275

#2280

#2281

#2283

#2292

#2294

#23

#2311

#2312

#2313

#2315

#2329

#2330

#2334

#2335

#2338

#2339

#234

#2345

#235

#2356

#236

#2368

#238

#2382

#2383

#2389

#2393

#2399

#24

#24

#242

#242

#2428

#2438

#244

#2454

#2455

#2459

#246

#2462

#2463

#2464

#2465

#2472

#2475

#2477

#2482

#2485

#2486

#2488

#2490

#2492

#2493

#2494

#2495

#2496

#2499

#2528

#2529

#253

#2538

#2540

#2541

#2545

#255

#2550

#2554

#256

#2568

#2594

#26

#2600

#261

#2611

#2614

#2620

#2627

#2628

#2634

#2635

#2638

#2639

#2645

#2648

#2651

#2655

#2660

#2661

#267

#2677

#268

#2683

#270

#271

#2710

#2719

#272

#273

#2730

#2731

#2732

#2738

#2739

#274

#2745

#2746

#275

#275

#2754

#276

#2769

#2786

#280

#282

#283

#2834

#2839

#284

#284

#2846

#285

#2853

#2858

#286

#2862

#2864

#287

#2876

#2880

#2881

#289

#2893

#2895

#2899

#2907

#2931

#2940

#2942

#2947

#295

#296

#2964

#2971

#2972

#298

#2987

#2988

#299

#2997

#2999

#3002

#3007

#3008

#303

#3032

#3048

#305

#3050

#3059

#306

#306

#309

#3091

#3093

#3094

#3095

#3097

#310

#3102

#3112

#3117

#3117

#3139

#321

#3228

#329

#33

#33

#3321

#334

#3368

#338

#3394

#340

#344

#3445

#346

#347

#349

#3498

#350

#350

#351

#3541

#355

#356

#357

#3596

#3617

#362

#363

#3671

#3687

#37

#3706

#373

#374

#3745

#375

#378

#379

#380

#3818

#3821

#3823

#385

#3851

#3875

#389

#389

#390

#390

#3900

#394

#3946

#3950

#396

#3965

#398

#4

#4

#401

#4011

#4043

#4056

#4059

#4068

#4070

#4072

#4075

#408

#409

#4092

#4094

#4101

#412

#413

#414

#4157

#4160

#4170

#4184

#4198

#4199

#4205

#4206

#4207

#4215

#4247

#4248

#4249

#4253

#4254

#427

#4274

#4276

#4277

#4278

#4298

#4312

#4313

#4319

#4320

#4321

#4325

#4329

#4331

#4333

#4341

#4342

#4356

#4358

#4360

#4361

#4368

#437

#4381

#4382

#4384

#4385

#4386

#4397

#4399

#441

#4413

#4415

#4420

#444

#4440

#4443

#446

#4462

#4464

#4468

#4472

#4477

#4482

#4484

#4487

#4488

#449

#4490

#4492

#4495

#4496

#4499

#4501

#4504

#4505

#4506

#4509

#4514

#4516

#4517

#4528

#4529

#453

#4535

#4545

#4550

#4551

#4556

#4558

#4560

#4562

#4585

#459

#459

#4595

#4596

#4597

#4598

#4599

#4602

#4603

#4605

#461

#4610

#4611

#4612

#4617

#4619

#4620

#4621

#4629

#4636

#4638

#4647

#4650

#4654

#4656

#4657

#4658

#4659

#466

#4663

#4666

#4667

#467

#4674

#4676

#468

#4681

#4682

#4684

#4685

#4692

#4693

#4695

#4698

#470

#470

#4703

#4705

#4707

#4709

#471

#4710

#4714

#4719

#4722

#4723

#4729

#4733

#4739

#4741

#4748

#4751

#4753

#4755

#4757

#4759

#4760

#4761

#4771

#4782

#4785

#4803

#4818

#483

#4832

#4833

#484

#4846

#4850

#4857

#486

#4864

#487

#4878

#4887

#49

#49

#490

#4906

#4911

#4915

#4917

#4954

#4958

#4959

#4960

#4976

#498

#4981

#499

#4996

#500

#500

#5001

#5003

#5004

#5005

#5008

#5015

#5021

#503

#5038

#5039

#504

#5040

#505

#5055

#506

#5079

#5081

#5082

#5091

#5097

#5098

#5104

#5105

#5116

#5118

#5120

#5128

#513

#5130

#5155

#5156

#516

#5163

#5165

#5169

#517

#5170

#5171

#5172

#5173

#5174

#5175

#5176

#5177

#5180

#5182

#5183

#5184

#5185

#5186

#5187

#5188

#5189

#519

#5190

#5191

#5192

#5194

#5195

#5198

#5199

#5200

#5201

#5202

#5203

#5209

#521

#5214

#5217

#5218

#5220

#5221

#5222

#5227

#5228

#523

#5230

#5231

#5234

#5240

#5241

#5242

#5246

#525

#5251

#526

#5265

#5268

#527

#5275

#528

#5288

#529

#529

#5290

#5291

#5292

#5293

#5295

#531

#5310

#5311

#5322

#5326

#5327

#5332

#5348

#5351

#5353

#5355

#5360

#5364

#5366

#5368

#5369

#537

#537

#5370

#5371

#5372

#5383

#5385

#5386

#5387

#5389

#539

#540

#5411

#5413

#5416

#5431

#5440

#5442

#5444

#545

#5451

#5453

#5458

#5459

#5463

#5466

#5475

#5477

#5483

#5489

#5496

#55

#550

#5512

#5513

#5514

#552

#5520

#5521

#5524

#5525

#5529

#553

#553

#5534

#5536

#554

#5540

#5547

#5549

#5550

#5555

#5567

#5569

#5585

#5587

#5588

#5600

#5601

#5602

#5607

#5616

#5617

#5618

#5620

#5622

#5625

#5626

#5628

#5631

#5632

#5633

#5634

#5640

#5654

#566

#5669

#568

#5690

#5695

#5696

#5697

#5703

#5709

#5717

#5721

#5723

#5724

#5728

#5729

#5730

#5731

#5739

#575

#5756

#576

#5760

#5762

#5782

#5787

#580

#5821

#583

#5832

#5835

#5839

#5843

#5844

#5845

#5854

#5859

#5864

#5868

#5878

#5879

#5881

#5884

#5888

#5892

#5893

#5897

#5898

#5901

#5901

#5902

#5905

#5916

#5921

#5923

#5944

#5947

#5951

#5956

#5960

#5963

#5964

#5966

#597

#5971

#5972

#5974

#5975

#5976

#5977

#5978

#5979

#598

#5982

#5992

#5994

#5996

#5997

#600

#6000

#6003

#601

#601

#6010

#6025

#6026

#6029

#603

#6035

#6037

#6048

#606

#6063

#6064

#6065

#6066

#6067

#6068

#6069

#6072

#6073

#6074

#6075

#6077

#608

#6086

#6093

#6096

#6099

#6101

#6102

#6103

#6118

#6120

#6125

#6136

#6139

#6146

#6148

#6150

#6152

#6156

#6161

#6162

#6166

#6175

#618

#618

#6185

#6186

#6186

#6188

#6189

#6191

#6192

#6195

#6198

#6199

#6202

#6203

#6204

#6207

#6209

#621

#621

#6210

#6211

#6216

#6217

#6219

#622

#6220

#6221

#6222

#6223

#6224

#6225

#6226

#6227

#6231

#6232

#6233

#6234

#6235

#6236

#6238

#6239

#6242

#6245

#6246

#6247

#6249

#6251

#6252

#6253

#6254

#6256

#6257

#6261

#6266

#6269

#627

#627

#6277

#6278

#6280

#6284

#6287

#6290

#6291

#6297

#630

#630

#6306

#6307

#6312

#6318

#6321

#6325

#6327

#6329

#6332

#6345

#6353

#6358

#6360

#6361

#6362

#6378

#6381

#639

#6393

#6402

#6405

#6406

#641

#6411

#6412

#6419

#6420

#6422

#6424

#6434

#6435

#6448

#6449

#645

#6458

#646

#6468

#6472

#648

#6483

#6489

#6497

#6509

#6514

#6516

#6526

#6527

#6528

#6529

#6533

#6534

#6540

#6541

#6549

#6562

#6567

#6569

#6576

#6596

#6597

#6608

#661

#6612

#6613

#6618

#6619

#6623

#6625

#6626

#6627

#6628

#6639

#6653

#6656

#6663

#6673

#6678

#6707

#6712

#6715

#6720

#6723

#6733

#6739

#675

#6750

#6755

#6756

#6759

#6765

#6771

#6772

#6773

#6774

#6779

#6780

#6786

#6791

#6795

#6797

#6803

#6814

#6816

#6820

#6829

#6831

#6833

#6834

#6840

#6841

#6844

#6845

#6846

#6859

#6862

#6863

#6864

#6867

#6875

#6878

#6879

#6883

#6884

#6887

#6888

#6895

#6896

#6905

#6906

#6909

#6910

#6911

#6929

#6931

#6932

#6938

#6939

#6940

#6948

#6949

#695

#6954

#6960

#6961

#6963

#6966

#6968

#6973

#6975

#6976

#6979

#6980

#6985

#6992

#6993

#6999

#700

#7002

#7008

#7013

#7014

#7015

#7016

#7019

#7021

#7022

#7025

#7028

#7030

#7034

#7039

#7042

#7043

#7044

#7045

#7051

#7052

#7054

#7057

#7058

#7059

#7060

#7063

#7065

#7066

#7067

#7068

#7069

#7071

#7075

#7077

#708

#7088

#7095

#7097

#7099

#710

#710

#7108

#7115

#7116

#7118

#7119

#713

#713

#7131

#7133

#7136

#7137

#7138

#7139

#7140

#7145

#7147

#7148

#7149

#715

#715

#7150

#7152

#7153

#7155

#7157

#7159

#7163

#7169

#7170

#7171

#7173

#7184

#7192

#7200

#722

#7226

#7227

#7230

#7235

#7244

#7251

#7254

#7257

#7261

#7265

#7269

#7271

#728

#7280

#7288

#7289

#729

#7293

#7294

#7296

#7297

#7298

#7299

#73

#730

#7300

#7301

#7303

#7304

#7307

#7308

#7312

#7313

#7316

#7317

#7320

#7322

#7323

#7324

#7327

#7328

#7333

#7337

#7338

#7339

#735

#7350

#7351

#7353

#7354

#7356

#736

#7365

#737

#7384

#7387

#7388

#739

#7396

#74

#7400

#7401

#7408

#741

#7412

#742

#7422

#7423

#7426

#7428

#7429

#7437

#7439

#7442

#7452

#746

#7462

#7469

#747

#7471

#7473

#7477

#7479

#7480

#7481

#7495

#7496

#7497

#7498

#75

#750

#7503

#7504

#7506

#7508

#7514

#7516

#7519

#752

#7529

#7530

#7531

#7533

#7534

#7535

#7537

#7540

#7545

#7547

#7548

#7551

#7553

#7557

#7565

#757

#7576

#7577

#7579

#7587

#759

#7597

#7598

#7599

#76

#760

#7608

#761

#7610

#7612

#7613

#7614

#7615

#7617

#7618

#7619

#7620

#7628

#7631

#764

#7645

#7646

#7649

#7651

#7652

#7653

#7654

#7656

#7657

#7660

#7662

#7666

#7672

#7681

#7686

#7688

#7689

#7691

#7693

#7695

#7696

#7698

#7701

#7703

#7704

#7705

#7706

#7708

#7710

#7711

#7712

#7713

#7714

#7716

#7717

#7719

#7721

#7726

#7729

#7734

#7737

#7741

#7748

#7751

#7752

#7755

#7756

#7758

#7759

#7761

#7764

#7766

#7768

#7769

#7771

#7773

#7774

#7775

#7777

#7778

#7780

#7782

#7783

#7785

#7787

#7788

#779

#7790

#7793

#7794

#7795

#780

#7802

#7803

#7804

#7807

#7808

#7809

#7810

#7811

#7812

#7813

#7814

#7815

#7819

#7820

#7821

#7823

#7824

#7827

#7829

#7830

#7831

#7832

#7833

#7834

#7835

#7836

#7838

#7839

#7840

#7844

#7845

#7846

#7847

#7848

#7849

#7851

#7852

#7854

#7856

#7858

#7860

#7862

#7863

#7865

#7866

#7868

#7870

#7871

#7877

#7878

#7879

#7880

#7881

#7882

#7885

#7886

#7887

#7887

#7888

#7889

#789

#7890

#7892

#7894

#7896

#7898

#7899

#79

#7900

#7901

#7902

#7904

#7905

#7906

#7907

#7908

#7908

#7909

#7910

#7911

#7912

#7914

#7915

#7916

#7917

#7918

#7919

#7920

#7921

#7922

#7923

#7924

#7925

#7926

#7927

#7927

#7928

#7929

#7930

#7931

#7932

#7935

#7938

#7939

#7942

#7945

#7947

#7954

#7955

#7959

#796

#7960

#7961

#7963

#7966

#7967

#7968

#7969

#797

#7971

#7972

#7973

#7974

#7975

#7976

#7977

#7978

#7979

#7980

#7981

#7982

#7984

#7985

#7986

#7987

#7988

#7989

#7993

#7994

#7995

#7996

#7997

#7998

#7999

#800

#800

#8002

#8003

#8004

#8005

#8006

#8007

#8008

#8011

#8012

#8013

#8020

#8021

#8025

#8026

#8027

#8028

#8028

#8029

#8031

#8032

#8032

#8033

#8033

#8034

#8034

#8037

#805

#81

#829

#833

#833

#838

#838

#841

#849

#85

#853

#854

#857

#857

#869

#87

#87

#881

#882

#885

#907

#908

#910

#92

#921

#922

#923

#924

#925

#926

#927

#936

#937

#938

#94

#94

#940

#940

#941

#942

#954

#954

#969

#969

#97

#980

#981

#982

#982

#983

#984

#988

#992

#993

#995

#999

Nightly

Z3-4.8.5

last-pure-pure

last-pure-unstable

z3-4.1.1

z3-4.10.0

z3-4.10.1

z3-4.10.2

z3-4.11.0

z3-4.11.2

z3-4.12.0

z3-4.12.1

z3-4.12.2

z3-4.12.3

z3-4.12.4

z3-4.12.5

z3-4.12.6

z3-4.13.0

z3-4.13.2

z3-4.13.3

z3-4.13.4

z3-4.14.0

z3-4.14.1

z3-4.15.0

z3-4.15.1

z3-4.15.2

z3-4.15.3

z3-4.15.4

z3-4.3.0

z3-4.3.1

z3-4.3.2

z3-4.4.0

z3-4.4.1

z3-4.5.0

z3-4.6.0

z3-4.7.1

z3-4.8.1

z3-4.8.10

z3-4.8.11

z3-4.8.12

z3-4.8.13

z3-4.8.14

z3-4.8.15

z3-4.8.16

z3-4.8.17

z3-4.8.3

z3-4.8.4

z3-4.8.6

z3-4.8.7

z3-4.8.8

z3-4.8.9

z3-4.9.0

z3-4.9.1

Mono Color

• 04cb59fd74 include FS logic finite-sets Nikolaj Bjorner 2025-11-21 13:14:53 -08:00
• d6a4c9199b remve add_zero_assumption from pcs() unsound Lev Nachmanson 2025-11-21 07:09:43 -10:00
• ed84b14e6c fixing coi bug arie Nikolaj Bjorner 2025-11-20 17:55:37 -08:00
• 7b265ba162 fix poly model bug Nikolaj Bjorner 2025-11-20 14:24:08 -08:00
• b8fb10ecc6 improve logging Lev Nachmanson 2025-11-20 10:51:39 -10:00
• b3f7d16606 fix memory leaks and handling of non-integer term coefficients Nikolaj Bjorner 2025-11-20 11:59:12 -08:00
• 2578218b6f add new option for adding tangent lemmas for integer monomials Nikolaj Bjorner 2025-11-20 11:30:07 -08:00
• fc96f827a1 updates Nikolaj Bjorner 2025-11-20 10:32:51 -08:00
• d9499fb00b Add Z3_parser_context examples for C and C++ copilot/add-example-for-z3-parser-context copilot-swe-agent[bot] 2025-11-20 17:49:58 +00:00
• 52b7df22cb Initial plan copilot-swe-agent[bot] 2025-11-20 16:59:44 +00:00
• 7443b6e874 handle the case with no roots in add_zero_assumption Lev Nachmanson 2025-11-19 17:48:17 -10:00
• 79fdb4755a improve log_lemma Lev Nachmanson 2025-11-19 12:42:12 -10:00
• 823800541e updates Nikolaj Bjorner 2025-11-19 14:02:27 -08:00
• 0ffbed6afd
  Merge 8e8799dbd3 into 62cd39729f Don Syme 2025-11-19 13:33:11 -08:00
• 88c8a0080e
  Merge 7652d5a3e4 into 62cd39729f Don Syme 2025-11-19 11:28:51 -08:00
• 5d316a51d1 enable bound tracking Nikolaj Bjorner 2025-11-19 10:53:42 -08:00
• 5de01e5d1d add stubs for bounds refinement Nikolaj Bjorner 2025-11-19 10:42:28 -08:00
• 955d441332 log for smtrat Lev Nachmanson 2025-11-18 17:08:44 -10:00
• 64ea6fa2c3 use indexed root expressions id add_zero_assumption Lev Nachmanson 2025-11-18 16:35:27 -10:00
• 179601ffac testing model repair Nikolaj Bjorner 2025-11-18 14:14:54 -08:00
• 43465accc6 add coefficients from the elim_vanishing to m_todo Lev Nachmanson 2025-11-18 10:28:25 -10:00
• 5d77885339 remove unused method Lev Nachmanson 2025-11-18 08:30:46 -10:00
• 9cd6f443a3
  Merge 7c51accb30 into 62cd39729f Don Syme 2025-11-18 02:38:07 -08:00
• 4df7ee67f5 updated sketch Nikolaj Bjorner 2025-11-17 22:06:29 -08:00
• 92bc39dab5 add toggle to use polynomial translation Nikolaj Bjorner 2025-11-17 20:52:34 -08:00
• 33709d3abb add toggle to use polynomial translation Nikolaj Bjorner 2025-11-17 17:28:28 -08:00
• fd988118bd
  Merge e22c951280 into 62cd39729f dependabot[bot] 2025-11-17 22:04:02 +00:00
• e22c951280
  Bump actions/upload-artifact from 4 to 5 dependabot/github_actions/actions/upload-artifact-5 dependabot[bot] 2025-11-17 22:03:59 +00:00
• 461801d7d0
  Merge f168326d77 into 62cd39729f dependabot[bot] 2025-11-17 22:03:53 +00:00
• f168326d77
  Bump actions/setup-python from 5 to 6 dependabot/github_actions/actions/setup-python-6 dependabot[bot] 2025-11-17 22:03:50 +00:00
• aea0f489d5
  Merge 36c40deba8 into 62cd39729f dependabot[bot] 2025-11-17 22:03:48 +00:00
• 36c40deba8
  Bump actions/download-artifact from 4 to 6 dependabot/github_actions/actions/download-artifact-6 dependabot[bot] 2025-11-17 22:03:46 +00:00
• 2eca05e59a fix crash Nikolaj Bjorner 2025-11-17 09:57:17 -08:00
• 12df8f593e reshuffle if conditions Nikolaj Bjorner 2025-11-16 17:24:31 -08:00
• e9905c05b1 fix crash Nikolaj Bjorner 2025-11-16 17:21:23 -08:00
• abbbc3c530
  Small bugfix in compute_sibling_resolvent (#8031) parallel Ilana Shapiro 2025-11-16 17:00:17 -08:00
• 3f773d1265
  Delete sweep_results_QF_RDL_abz5_1200.csv Nikolaj Bjorner 2025-11-16 16:59:53 -08:00
• 711572e73c fix crash on arie branch Nikolaj Bjorner 2025-11-16 16:58:33 -08:00
• bcb976ba1a t Lev Nachmanson 2025-11-16 13:52:28 -10:00
• 210b8d2b31 small bugfix in searchtree? Ilana Shapiro 2025-11-16 14:30:50 -08:00
• e05a3eaf5d merge Ilana Shapiro 2025-11-16 14:29:17 -08:00
• b835bd4c92 self-contained tracking of values Nikolaj Bjorner 2025-11-16 12:55:58 -08:00
• 04fc752d3b
  Merge 74501e2c48 into 62cd39729f Copilot 2025-11-16 20:07:47 +00:00
• 62cd39729f
  Fix NuGet package missing Microsoft.Z3.dll due to inverted replace() logic (#8029) master Copilot 2025-11-16 11:46:16 -08:00
• 74501e2c48 Disable executable and test builds when not building libz3 core copilot/add-cmake-option-python-bindings copilot-swe-agent[bot] 2025-11-16 18:43:49 +00:00
• d65415b31a Fix CMake export issues when building only Python bindings copilot-swe-agent[bot] 2025-11-16 18:38:33 +00:00
• a864fbdf27 Add documentation and improve code comments copilot/fix-nuget-package-dll copilot-swe-agent[bot] 2025-11-16 18:22:29 +00:00
• 9419c9a897 Fix NuGet packaging and add GitHub Actions workflow copilot-swe-agent[bot] 2025-11-16 18:20:00 +00:00
• 1b8e687cb7 Add CMake option to build only Python bindings without rebuilding libz3 copilot-swe-agent[bot] 2025-11-16 18:16:03 +00:00
• 9521872daf Initial plan copilot-swe-agent[bot] 2025-11-16 18:14:35 +00:00
• 87155eee9f Initial plan copilot-swe-agent[bot] 2025-11-16 18:10:31 +00:00
• 59eec25102 fix #8024 Nikolaj Bjorner 2025-11-16 10:08:21 -08:00
• 81211254eb strengthen filter for unknown by checking relevancy of parents #8022 Nikolaj Bjorner 2025-11-15 17:14:00 -08:00
• bf6ff56fd6 update package lock Nikolaj Bjorner 2025-11-15 16:56:18 -08:00
• bd2ead977e add back statistics to smt-parallel Nikolaj Bjorner 2025-11-15 16:49:13 -08:00
• 5690be8cfc
  Make rcf is_rational and is_rational_function operations handle zero (#8025) Josh Berdine 2025-11-16 00:36:32 +00:00
• 28b31cfe91
  Add Z3_fpa_is_numeral to the API (#8026) Josh Berdine 2025-11-16 00:21:08 +00:00
• 43525481f0
  Add check that argument of Z3_is_algebraic_number is_expr (#8027) Josh Berdine 2025-11-16 00:19:39 +00:00
• 6d19c045d8 fix infinite loop in update function Nikolaj Bjorner 2025-11-15 15:47:33 -08:00
• 410f003beb fix build Nikolaj Bjorner 2025-11-15 15:06:18 -08:00
• dc2a7dc170 t Lev Nachmanson 2025-11-15 12:31:05 -10:00
• f347c24e04 fixes Nikolaj Bjorner 2025-11-15 13:09:25 -08:00
• 072f1deccc update Nikolaj Bjorner 2025-11-14 16:37:00 -08:00
• d081321384 add substitution and division Nikolaj Bjorner 2025-11-14 16:26:10 -08:00
• ef39dc5f92 Add check that argument of Z3_is_algebraic_number is_expr Josh Berdine 2025-04-11 11:54:33 +01:00
• 08f2d87c56 Add Z3_fpa_is_numeral to the API Josh Berdine 2025-04-10 10:38:44 +01:00
• b9466587b1 Make rcf is_rational and is_rational_function operations handle zero Josh Berdine 2025-09-02 12:10:08 +01:00
• b443d4590b t Lev Nachmanson 2025-11-14 08:36:09 -10:00
• ea82ef2eed setup for rdl parameters Nikolaj Bjorner 2025-11-14 10:18:33 -08:00
• 71cdbf7b72 t Lev Nachmanson 2025-11-13 19:48:09 -10:00
• d0e139f2b3 t Lev Nachmanson 2025-11-13 19:43:58 -10:00
• eba6a66e6f t Lev Nachmanson 2025-11-13 19:24:31 -10:00
• 6e37a3c5b8 t Lev Nachmanson 2025-11-13 19:17:24 -10:00
• e56db378f0 t Lev Nachmanson 2025-11-13 18:57:09 -10:00
• a0e0aa8a83 t Lev Nachmanson 2025-11-13 18:54:34 -10:00
• cb83dedbd2 t Lev Nachmanson 2025-11-13 18:40:43 -10:00
• b8efb77c0c t Lev Nachmanson 2025-11-13 18:38:42 -10:00
• 111aa44dc5 t Lev Nachmanson 2025-11-13 17:19:35 -10:00
• 90e0c2a880 better state Lev Nachmanson 2025-11-13 14:52:42 -10:00
• 80bfbe66e9
  remove ocamlfind destdir directory check PerfectLaugh 2025-11-14 08:13:33 +08:00
• ae4f555b8f add results of exhaustive param testing for QF_RDL_abz5_1200 Ilana Shapiro 2025-11-13 15:53:26 -08:00
• f55bdd923a remove mul saturate Nikolaj Bjorner 2025-11-13 15:43:44 -08:00
• 5ea25dcf60 v2 running Nikolaj Bjorner 2025-11-13 13:59:12 -08:00
• fb70046741
  setting up param tuning experiments for QF_RDL example (#8020) Ilana Shapiro 2025-11-13 13:20:01 -08:00
• fb46bca5db Merge branch 'param-tuning' of https://github.com/ilanashapiro/z3 into param-tuning Ilana Shapiro 2025-11-13 13:14:52 -08:00
• 4ec832c590 fix bug about param protocol iteration only happening once, and add new user param to toggle for only running param tuning thread without parallel solving (just to test if it's finding good settings) Ilana Shapiro 2025-11-13 13:14:45 -08:00
• 988cb0f034
  Merge branch 'Z3Prover:master' into param-tuning Ilana Shapiro 2025-11-12 21:28:37 -08:00
• c7084e9998 revamp stellensatz to use polynomals Nikolaj Bjorner 2025-11-12 20:21:42 -08:00
• ee54513184 add bash scripts to run param experiments on an QF_RDL example to get datapoints Ilana Shapiro 2025-11-12 17:02:11 -08:00
• 21b36868b5 revamping stellensatz Nikolaj Bjorner 2025-11-12 10:13:09 -08:00
• 602d69daf9 add some toggle-able params to smt_parallel_params.pyg for doing the param tuning experiments on QF_RDL. set up this logic in the smt_parallel files Ilana Shapiro 2025-11-11 22:08:07 -08:00
• b8f5e1d646 small rewrite update Nikolaj Bjorner 2025-11-10 15:01:30 -08:00
• c5b2347fda unsound lemma Lev Nachmanson 2025-11-09 18:46:11 -10:00
• 9f848847c7 remove debug out from euf-completion Nikolaj Bjorner 2025-11-07 08:06:13 -08:00
• f4c5e14b6b add fold-unfold simplification Nikolaj Bjorner 2025-11-07 08:04:41 -08:00
• 5d36f53cd3 add rewrite to eliminate quot-rem tautologies Nikolaj Bjorner 2025-11-07 08:04:03 -08:00
• a3ec6a0f1b add delayed diseq check Nikolaj Bjorner 2025-11-07 08:03:37 -08:00
• 78844a05e9 Merge branch 'parallel' of https://github.com/Z3Prover/z3 into param-tuning Ilana Shapiro 2025-11-05 09:15:15 -08:00
• 11fb5c7dc4 comment out parameter check Nikolaj Bjorner 2025-11-04 16:11:58 -08:00
• df816cab07
  Add finite set API support for C# and Java bindings (#8003) Copilot 2025-11-04 15:57:55 -08:00