Commit graph

Select branches

Hide pull requests

agent-updates

arith

arith-gomory-ite

conflict-throttle

deb_magic_call

dev/jofleish/signing

dio

hidecuts

jfleisher/buildversion

jfleisher/devIntellitest

jfleisher/nightlyversion

master

poly

polysat

pyodide-ci

reassert-all-units

revert-7307-scoped_vector

rewrite-ite-arith

rs

sls

smtmus

synth

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

#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

#7617

#7618

#7619

#7620

#764

#779

#780

#789

#79

#796

#797

#800

#800

#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.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

• 1121815439 Standardize C++20 flag across different platforms in build script Nikolaj Bjorner 2024-09-22 21:45:10 +0100
• 1e580a7f12 update to c++20, remove debug output Nikolaj Bjorner 2024-09-22 21:30:44 +0100
• 96c1375786 #7391 Nikolaj Bjorner 2024-09-22 19:35:03 +0100
• a9f8ec1bcb updated handling of value initialization for bit-vectors Nikolaj Bjorner 2024-09-22 21:30:11 +0300
• ba5cec7704 additional rewrites for bv2int Nikolaj Bjorner 2024-09-22 21:29:12 +0300
• fa7fc8ef5e Refactor bv_rewriter functions using unified variable assignment and early break logic Nikolaj Bjorner 2024-09-22 13:04:49 +0300
• d66609ea14 fix #7389 Nikolaj Bjorner 2024-09-22 02:41:11 +0300
• aff8179643
  Julia now used the C API. Páll Haraldsson 2024-09-20 18:01:38 +0000
• ccef65205b
  C API now used by Julia. Páll Haraldsson 2024-09-20 17:58:04 +0000
• 0c48a50d59 Add support for initializing variable values in solver and optimize contexts in Z3 Nikolaj Bjorner 2024-09-19 22:44:16 +0300
• 5c8164fa96 add USE_MALLOC_USEABLE_SIZE option Remy Wang 2024-09-19 14:30:45 -0700
• 342dccdc02 correctly process cancellation in gomory cuts Lev Nachmanson 2024-09-19 14:11:27 -0700
• b99c4a47a4 Add override specifiers to methods in set_initial_value_cmd class for clarity and consistency Nikolaj Bjorner 2024-09-19 15:11:59 +0300
• 8349ee0069 Add support for const array in all logics as per issue #7383 Nikolaj Bjorner 2024-09-19 11:44:18 +0300
• 4896edfb04 Add tracking of values size in scoped_state push method in opt_context Nikolaj Bjorner 2024-09-19 11:27:17 +0300
• 77724bf7e0 Add cmake option for malloc_usable_size. Remy Wang 2024-09-18 10:28:25 -0700
• a3f35b6830 Add command to set initial value hints for solver in various components Nikolaj Bjorner 2024-09-18 17:48:03 +0300
• 1c163dbad2 remove output Nikolaj Bjorner 2024-09-18 16:41:00 +0300
• 0f896503a9 Add initial value setting API for solver and optimize contexts and update related function signatures Nikolaj Bjorner 2024-09-18 16:18:47 +0300
• 48712b4f60 Add initial value setting for variables in Z3 API, solver, and optimize modules Nikolaj Bjorner 2024-09-18 16:13:15 +0300
• 0ba306e7b3 y Nikolaj Bjorner 2024-09-17 12:27:13 +0300
• 99a9a4af03 fix #7372 Nikolaj Bjorner 2024-09-12 10:37:50 -0700
• 1ace3d0cf3 fix #7372 Nikolaj Bjorner 2024-09-12 10:37:19 -0700
• 45c0bda6e2 Add TODO list for enhancements in sls_euf_plugin.cpp Nikolaj Bjorner 2024-09-11 22:43:05 -0700
• c9bd8d59ac Refactor handling of term registration and enhance distinct handling in sls_euf_plugin Nikolaj Bjorner 2024-09-08 19:26:51 -0700
• 633ea63a62 remove extra file Nikolaj Bjorner 2024-09-08 17:57:17 -0700
• 554b325124 replace user plugin by euf plugin Nikolaj Bjorner 2024-09-08 17:56:57 -0700
• b7be589577 Remove model value and user sort plugins from SLS theory Nikolaj Bjorner 2024-09-08 17:55:51 -0700
• dda5dd7ccf Add support for handling 'distinct' expressions in SLS context and user sort plugin Nikolaj Bjorner 2024-09-08 13:54:04 -0700
• a24b94828c Enhance array plugin with early termination and propagation verification, and improve euf and user sort plugins with propagation adjustments and debugging enhancements Nikolaj Bjorner 2024-09-08 13:31:02 -0700
• 25c19b61dd Refactor array_plugin in sls to improve handling of select expressions with multiple arguments Nikolaj Bjorner 2024-09-07 15:12:39 -0700
• 2f2559d670 Add array, model value, and user sort plugins to SLS module with enhancements in array propagation logic Nikolaj Bjorner 2024-09-07 14:54:53 -0700
• f9ec6b45c4 Add array plugin support and update bv_eval in ast_sls module Nikolaj Bjorner 2024-09-06 16:48:16 -0700
• 1d3891f8d6 Refactor sls bv evaluation and fix logic checks for bit operations Nikolaj Bjorner 2024-09-06 01:06:52 -0700
• fe7dcb0394 fixes to new value propagation Nikolaj Bjorner 2024-09-05 17:58:47 -0700
• 33364c3f85 Remove redundant return statement in sls_bv_fixed.cpp Nikolaj Bjorner 2024-09-05 15:42:46 -0700
• cc77ff5c28 Add early return after setting fixed subterms in sls_bv_fixed.cpp Nikolaj Bjorner 2024-09-05 15:37:00 -0700
• acd6f1d0ef Remove commented verbose output in sls_bv_plugin.cpp during repair process Nikolaj Bjorner 2024-09-05 14:58:29 -0700
• 0308a92ea6 Refactor verbose logging and fix logic in range adjustment functions in sls bv modules Nikolaj Bjorner 2024-09-05 12:19:42 -0700
• 02393c3a5a Enhance bv_eval with use_current, lookahead strategies, and randomization improvements in SLS module Nikolaj Bjorner 2024-09-04 14:33:04 -0700
• 8061765574 remove default destructors & some default constructors Another ~700 KB reduction in binary size Nuno Lopes 2024-09-04 22:30:23 +0100
• 0837e3b8e8
  Fix nightly (#7365) Audrey Dutcher 2024-09-03 16:11:42 -0700
• 5237e7def2 Adjust memory reallocation to consider SIZE_T_ALIGN in memory_manager Nikolaj Bjorner 2024-09-03 11:17:47 -0700
• 3d79b20cea Fix nightly Audrey Dutcher 2024-09-02 12:22:13 -0700
• ffa53fee36 Refactor SLS engine and evaluator components for bit-vector specifics and adjust memory manager alignment Nikolaj Bjorner 2024-09-02 17:54:29 -0700
• 2d3f92a2e6 Rename SLS engine related files to reflect their specific use for bit-vectors Nikolaj Bjorner 2024-09-02 17:52:05 -0700
• 6086a30c07 Add reference URL to GenAI script file for auto Git commit guide Nikolaj Bjorner 2024-09-02 17:15:49 -0700
• db4176adf4 #6902 Nikolaj Bjorner 2024-09-02 17:01:25 -0700
• a8486d6019 Refactor alignment of member variables in bv_plugin of sls namespace Nikolaj Bjorner 2024-09-02 16:36:58 -0700
• ef58376c14 replace a few old-school constructors for a 0.5% reduction in code size don't waste those 128 KB! Nuno Lopes 2024-09-02 16:13:46 +0100
• 8319832d20 Remove bv_sls_eval.cpp as part of code cleanup and refactoring Nikolaj Bjorner 2024-09-01 16:54:28 -0700
• 027dd9cfd8 Add initial implementation of bit-vector SLS evaluation module in bv_sls_eval.cpp Nikolaj Bjorner 2024-09-01 16:53:44 -0700
• 27e3d28cfc fixing conca Nikolaj Bjorner 2024-09-01 16:34:35 -0700
• 39eaf62040 Remove typename from member declarations in bv_fixed class Nikolaj Bjorner 2024-08-31 17:40:49 -0700
• a3eb2ff58d revert update to vector for testing #6902 Nikolaj Bjorner 2024-08-30 17:43:15 -0700
• 6b66e81897 Refactor bv_sls files to sls_bv with namespace and class name adjustments Nikolaj Bjorner 2024-08-30 17:41:50 -0700
• 27702ba09c Rename source files for consistency in src/ast/sls directory Nikolaj Bjorner 2024-08-30 17:35:39 -0700
• a1bcf136a6 fix build Nikolaj Bjorner 2024-08-30 17:34:54 -0700
• 01a419546f #7362 Nikolaj Bjorner 2024-08-30 14:35:37 -0700
• 9a87bb1097 #7362 Nikolaj Bjorner 2024-08-30 14:30:14 -0700
• d0da02695c Remove verbose logging in register_term function of sls_basic_plugin and fix formatting in sls_context Nikolaj Bjorner 2024-08-30 11:58:50 -0700
• 46d602e5de update gitignore to prepare for genaiscript Nikolaj Bjorner 2024-08-30 11:52:01 -0700
• 7be2c3ae1e Enhance bv_sls_eval with improved repair and logging, refine is_bv_predicate in sls_bv_plugin Nikolaj Bjorner 2024-08-30 11:50:12 -0700
• dba9670411 Remove m_num_pelis member from stats struct in sls_context Nikolaj Bjorner 2024-08-29 17:15:28 -0700
• 84b2c2185c Update nightly.yaml for Azure Pipelines Nikolaj Bjorner 2024-08-29 17:10:36 -0700
• 6312ab2184 Add m_num_pelis counter to stats in sls_context Nikolaj Bjorner 2024-08-29 15:29:42 -0700
• 323003aed9 Add .env to gitignore to prevent environment files from being tracked Nikolaj Bjorner 2024-08-29 15:28:54 -0700
• e31881ba30 peli Nikolaj Bjorner 2024-08-29 15:25:35 -0700
• 5f9eb8917b gcm Nikolaj Bjorner 2024-08-29 15:10:35 -0700
• dcdb7c4506 wheelhouse Nikolaj Bjorner 2024-08-29 11:34:47 -0700
• 96417d4d47
  Update nightly.yaml Nikolaj Bjorner 2024-08-29 10:43:31 -0700
• 59853d070b
  Update nightly.yaml Nikolaj Bjorner 2024-08-29 10:41:03 -0700
• c79477a939 update nightly Nikolaj Bjorner 2024-08-28 17:41:49 -0700
• 43a5b3dde0 logging and fixes Nikolaj Bjorner 2024-08-28 15:45:29 -0700
• ea93f073ad
  Update azure-pipelines.yml Nikolaj Bjorner 2024-08-28 15:41:18 -0700
• cd89867320 add back auditwheel Nikolaj Bjorner 2024-08-28 14:10:16 -0700
• ea417bbf92
  Update README.md Nikolaj Bjorner 2024-08-28 10:32:07 -0700
• 954dddbfb3 retain pip install build, remove audit Nikolaj Bjorner 2024-08-28 09:44:28 -0700
• 5360656440 fix expected Nikolaj Bjorner 2024-08-28 09:40:51 -0700
• 0bf3eeb807
  Bump docker/build-push-action from 6.6.1 to 6.7.0 (#7350) dependabot[bot] 2024-08-28 09:32:00 -0700
• f6dbaee6ce adding to nightly Nikolaj Bjorner 2024-08-27 17:17:53 -0700
• e1f1d677ff
  New python packaging and tests (#7356) Audrey Dutcher 2024-08-27 17:12:31 -0700
• 677b5b4196 fixes to handling signed operators Nikolaj Bjorner 2024-08-27 14:00:26 -0700
• b1f7965697 fix mul inverse Nikolaj Bjorner 2024-08-27 13:40:09 -0700
• 793400447d Modify azure CI to utilize new python packaging Audrey Dutcher 2024-07-22 23:13:19 -0700
• 9becca135f Simplify/modernize python packaging Audrey Dutcher 2024-07-22 21:33:12 -0700
• ed0ffc1b49 fixes to mul Nikolaj Bjorner 2024-08-27 11:58:18 -0700
• 4146e938e8 na Nikolaj Bjorner 2024-08-27 11:45:27 -0700
• 3bcd98b653 include bounds checks in set random Nikolaj Bjorner 2024-08-27 10:59:27 -0700
• 7699ce56db fixing repair Nikolaj Bjorner 2024-08-27 10:39:15 -0700
• 6b0a10637c reserve for multiplication Nikolaj Bjorner 2024-08-27 10:06:10 -0700
• a0ae5c8d5e fixup repairs Nikolaj Bjorner 2024-08-27 04:30:18 -0700
• 6488e33915 fixes to fixed Nikolaj Bjorner 2024-08-26 18:42:32 -0700
• 9fcddc5774 fixes to bv Nikolaj Bjorner 2024-08-26 17:51:14 -0700
• 349ebd0a5b #7344 Nikolaj Bjorner 2024-08-26 14:22:28 -0700
• 84da614de3 make gcc linting happy Nikolaj Bjorner 2024-08-26 11:40:01 -0700
• b84b4e7f9a fix attribute order Nikolaj Bjorner 2024-08-26 11:38:27 -0700
• 49ba3bc12f address compiler warnings gcc-13 Nikolaj Bjorner 2024-08-26 11:32:37 -0700
• dc752913a6
  Avoid broken stack by mbp_arrays Kirill A. Korinsky 2024-08-26 20:17:14 +0200
• eb555ee0a7 use std::pow Nikolaj Bjorner 2024-08-26 10:32:42 -0700