Commit Graph

Select branches

Hide Pull Requests

arcz/rpc-cleanup

better-work-dist

catchMVarErrors

cov-wip-10-rebased-again

covDuringDeploy

dev-agents

dev-agents-2

dev-agents-3

dev-all-events

dev-allow-additional-slither-info

dev-corpus-prefill

dev-cov-exec-counts

dev-cov-exec-counts-notup-test

dev-debugger

dev-hashmap

dev-invariant-detection

dev-lazy-cov

dev-lcov-example

dev-linux-aarch64

dev-seq-stack

dev-stack

dev-storable

dev-sym-prop

dev-test-solc

dev-unlimited-test

docker-multi-platform

docker-multiplatform

elopez/windows-build

elopez/windows-build-refresh-2

fix-1224

fix-explore

fix-fetch-ui

fix-print-bytes-as-hex

foundry

ghc-9.8

hevm-0.50.5

hevm-0.51.0

hevm-concrete-exec

hevm-etch

init-config

leaks-ui

logReproducerFilename

m1-builds-github

main

master

nix-refactor-cross-builds

noRevertsToCorpus

perf-update-hevm

perf/assertion-test-checks

perf/corpus-selection

perf/coverage-edges

perf/integer-weighted-choice

perf/rts-sizing-and-coverage-cache

rappie/bugfix/shrinking-desync

removeRevert

removeReverts2

saveCoverageEarly3

simple-installer

simplifyExecTx

symexec

symexec3

test-fix-flaky

test-windows

upgrade-hevm

#1

#1000

#1002

#1003

#1004

#1006

#1007

#1008

#1009

#1011

#1013

#1017

#1019

#102

#1020

#1021

#1022

#1023

#1024

#1026

#1029

#103

#1030

#1031

#1032

#1033

#1034

#1035

#104

#1040

#1041

#1047

#1048

#1051

#1052

#1062

#1064

#1069

#107

#1070

#1071

#1073

#1074

#1075

#1077

#1079

#108

#1080

#1081

#1082

#1082

#1083

#1084

#1089

#109

#1090

#1093

#1093

#1096

#1098

#1099

#11

#110

#1100

#1100

#1108

#111

#1110

#1111

#1112

#1113

#1115

#1117

#1117

#1119

#112

#1120

#1121

#1122

#1125

#1125

#1127

#1127

#1131

#1132

#1133

#1136

#1137

#114

#1144

#1145

#1146

#1147

#1148

#1149

#115

#1150

#1151

#1152

#1153

#1154

#1155

#1156

#1157

#1158

#1159

#116

#1160

#1161

#1161

#1162

#1163

#1165

#1167

#1169

#117

#1173

#1174

#1175

#1177

#1178

#118

#1180

#1181

#1184

#1186

#1187

#1189

#119

#1190

#1192

#1194

#1195

#1196

#1197

#1200

#1201

#1202

#1203

#1204

#121

#1215

#1216

#1217

#122

#122

#1220

#1221

#1222

#1227

#1228

#123

#123

#1232

#1234

#1235

#1238

#1243

#1244

#1245

#125

#1250

#1251

#1255

#1256

#1257

#1258

#126

#1262

#1263

#1265

#1265

#1267

#1268

#1269

#127

#1271

#1272

#1273

#1274

#1275

#1277

#1278

#1279

#128

#1280

#1281

#1282

#1282

#1283

#1285

#1286

#1287

#1288

#1289

#129

#129

#1290

#1291

#1292

#1293

#1294

#1295

#1297

#1297

#1298

#13

#130

#1300

#1302

#1302

#1303

#1304

#1305

#1306

#1307

#1309

#131

#131

#1310

#1311

#1312

#1312

#1313

#1314

#1316

#1317

#1319

#1320

#1323

#1325

#1326

#1327

#1328

#1329

#133

#1330

#1331

#1333

#1334

#1335

#1336

#1339

#1340

#1341

#1342

#1343

#1344

#1345

#1346

#1348

#1349

#1350

#1352

#1353

#1355

#1356

#1357

#1358

#1359

#1360

#1362

#1363

#1364

#1365

#1366

#1367

#1368

#1369

#137

#1370

#1373

#1376

#1377

#1378

#1379

#1379

#1380

#1381

#1382

#1383

#1384

#1385

#1385

#1386

#1387

#1388

#1389

#1392

#1393

#1394

#1395

#1396

#1399

#140

#1400

#1401

#1402

#1403

#1404

#1405

#1406

#1407

#1408

#1409

#1409

#141

#1410

#1410

#1411

#1412

#1414

#1415

#1416

#1417

#1418

#1419

#142

#1420

#1421

#1422

#1423

#1425

#1426

#1426

#1427

#1428

#1429

#1431

#1432

#1433

#1435

#1436

#1437

#1438

#1438

#1439

#1440

#1441

#1442

#1443

#1444

#1445

#1446

#1447

#1448

#1448

#1450

#1451

#1453

#1454

#1455

#1456

#1457

#1458

#1460

#1461

#1464

#1464

#1466

#1467

#1469

#1470

#1472

#1473

#1475

#1477

#1478

#1479

#148

#1481

#1482

#1483

#1484

#1487

#1488

#1491

#1492

#1493

#1494

#1495

#1496

#1498

#1499

#150

#1500

#1501

#1502

#1502

#1503

#1504

#1506

#1507

#1508

#1509

#151

#1511

#1512

#1514

#1515

#1516

#1517

#1519

#1520

#1521

#1522

#1523

#1523

#1524

#1525

#1526

#1527

#1528

#1529

#153

#1531

#1532

#1533

#1534

#1535

#1536

#1538

#1538

#1539

#154

#1540

#1541

#1542

#1543

#1544

#1545

#1546

#1547

#1548

#1548

#1549

#1550

#1552

#1553

#1554

#1557

#1558

#1559

#1560

#1560

#1561

#1562

#1563

#1564

#1564

#1565

#1566

#1567

#1568

#1569

#157

#1570

#1571

#1572

#1573

#1574

#1575

#1576

#1577

#1578

#1578

#1579

#158

#1580

#1581

#1582

#1583

#1584

#1585

#1586

#1587

#1588

#1589

#1591

#1592

#1595

#1596

#1597

#1598

#1599

#1603

#1604

#1605

#1606

#1607

#1608

#1609

#1609

#1610

#1611

#1613

#1614

#1614

#1615

#1615

#1617

#1617

#1618

#1618

#1619

#162

#1620

#1621

#1622

#1622

#1628

#1631

#1631

#1632

#1633

#1634

#1635

#1636

#1637

#1638

#1639

#165

#166

#168

#169

#170

#172

#174

#175

#177

#178

#179

#181

#182

#185

#186

#188

#192

#193

#196

#197

#199

#2

#20

#200

#201

#202

#204

#209

#211

#212

#213

#215

#217

#219

#221

#222

#223

#224

#227

#228

#230

#231

#233

#235

#236

#237

#238

#239

#24

#240

#241

#242

#246

#249

#25

#250

#251

#252

#254

#257

#258

#259

#262

#264

#265

#266

#27

#270

#271

#272

#276

#279

#28

#280

#281

#282

#283

#284

#285

#29

#290

#292

#293

#295

#297

#298

#299

#3

#300

#301

#303

#305

#306

#307

#309

#31

#31

#310

#312

#315

#316

#317

#319

#32

#320

#321

#323

#324

#33

#330

#331

#333

#335

#336

#339

#34

#340

#344

#345

#346

#347

#348

#349

#350

#351

#352

#353

#355

#356

#357

#360

#364

#366

#367

#368

#369

#37

#370

#372

#373

#374

#375

#376

#377

#378

#379

#38

#381

#383

#384

#385

#386

#388

#389

#39

#39

#390

#391

#392

#393

#394

#395

#396

#398

#399

#4

#400

#402

#403

#404

#405

#406

#409

#41

#410

#414

#417

#418

#419

#42

#420

#422

#423

#426

#430

#431

#437

#438

#44

#44

#441

#443

#445

#447

#448

#450

#451

#452

#454

#455

#456

#457

#458

#465

#466

#468

#469

#470

#48

#48

#49

#5

#50

#502

#503

#506

#507

#510

#511

#512

#513

#515

#516

#517

#518

#52

#523

#526

#527

#53

#532

#535

#536

#537

#538

#54

#54

#540

#541

#543

#544

#545

#546

#548

#549

#55

#55

#550

#552

#554

#558

#561

#562

#564

#565

#57

#570

#571

#572

#576

#58

#581

#584

#59

#590

#593

#594

#596

#597

#6

#600

#602

#603

#604

#605

#606

#608

#611

#612

#615

#618

#619

#620

#621

#622

#623

#624

#627

#628

#629

#635

#638

#639

#640

#641

#643

#644

#645

#650

#655

#657

#659

#660

#661

#662

#663

#664

#665

#666

#667

#67

#670

#674

#675

#677

#678

#679

#68

#680

#681

#683

#686

#687

#688

#69

#691

#695

#696

#697

#699

#70

#700

#701

#702

#703

#704

#705

#706

#707

#709

#71

#711

#712

#716

#717

#718

#722

#725

#726

#728

#73

#731

#733

#736

#737

#74

#740

#741

#742

#743

#744

#745

#746

#747

#75

#750

#751

#752

#756

#758

#76

#760

#761

#768

#769

#77

#771

#772

#773

#775

#776

#78

#79

#790

#791

#792

#794

#795

#799

#80

#80

#806

#807

#81

#816

#82

#823

#825

#826

#827

#828

#829

#83

#830

#832

#835

#837

#843

#846

#847

#848

#850

#851

#852

#853

#854

#855

#856

#857

#858

#86

#866

#87

#871

#872

#874

#878

#88

#884

#89

#891

#892

#893

#894

#895

#896

#897

#898

#90

#900

#901

#903

#906

#908

#91

#911

#912

#914

#915

#917

#919

#92

#920

#922

#924

#925

#926

#927

#928

#929

#93

#932

#933

#934

#935

#937

#942

#943

#944

#946

#948

#949

#950

#951

#952

#954

#955

#956

#957

#958

#961

#962

#963

#965

#966

#967

#968

#969

#970

#971

#972

#973

#974

#976

#977

#978

#98

#983

#986

#988

#989

#990

#991

#993

#994

#995

#996

#997

1.0.0.0

1.1.0.0

a850fb2

aa472a1

d934170

e395687

v1.2.0.0

v1.3.0.0

v1.4.0.0

v1.4.0.1

v1.5.0

v1.5.1

v1.6.0

v1.6.1

v1.7.0

v1.7.1

v1.7.2

v1.7.3

v2.0.0

v2.0.0-b1

v2.0.0-b2

v2.0.1

v2.0.2

v2.0.3

v2.0.4

v2.0.5

v2.1.0

v2.1.1

v2.2.0

v2.2.1

v2.2.2

v2.2.3

v2.2.4

v2.2.5

v2.2.6

v2.2.7

v2.3.0

v2.3.0-RC1

v2.3.0-RC2

v2.3.1

v2.3.2

v2.3.2-agents-preview-1

v2.3.3

Mono Color

• 5adfc83986 Update hevm with arithmetic abstraction and execution optimizations (#1639) master Gustavo Grieco 2026-10-08 21:31:16 +02:00
• 272e2f59f4 build(deps): bump msys2/setup-msys2 (#1638) dependabot[bot] 2026-10-08 13:40:40 -03:00
• f7881f6785 Reject fixed seeds with campaign timeouts (#1637) Gustavo Grieco 2026-10-08 15:26:48 +02:00
• fe7417a41d sample properties in exploration mode dev-sym-prop gustavo-grieco 2026-03-14 21:37:49 +01:00
• 0636891f3f fix gustavo-grieco 2026-03-14 19:30:20 +01:00
• 282fad7932 correct senders gustavo-grieco 2026-03-14 17:53:16 +01:00
• 6dae5bbc7a fix gustavo-grieco 2026-03-14 16:50:28 +01:00
• 271ea77fd8 fix gustavo-grieco 2026-03-14 16:39:24 +01:00
• 3ccd4c39f0 better logging gustavo-grieco 2026-03-14 16:34:15 +01:00
• 72abc8bbbe fixes gustavo-grieco 2026-03-14 14:52:43 +01:00
• 2fe49b968d fixes gustavo-grieco 2026-03-14 14:49:44 +01:00
• a4bc56b5f2 fixes gustavo-grieco 2026-03-14 14:48:07 +01:00
• ac262c92ea better status messages gustavo-grieco 2026-03-14 14:14:58 +01:00
• fe36d8d6ed extend to assertions gustavo-grieco 2026-03-14 13:48:17 +01:00
• a017ebfd87 allow to properly use symbolic execution in property mode gustavo-grieco 2026-03-14 10:09:05 +01:00
• 2a5137074d JSON output: encode string/bytes/array/tuple call arguments as structured JSON (#1636) Martin MonperrusandClaude Sonnet 5.5 2026-10-05 16:04:37 +02:00
• b0348b68bc build(deps): bump the gh-actions group with 2 updates (#1635) dependabot[bot] 2026-10-05 09:22:45 -03:00
• f015341ace perf(corpus): select from prefix sums, defer fillers, force only new entries perf/corpus-selection Emilio López 2026-09-02 00:35:52 -03:00
• 7bb5a4af2c docs(random): keep the comments lean perf/integer-weighted-choice Emilio López 2026-09-03 11:51:28 -03:00
• 31948a5952 perf(random): pick weighted choices with one bounded draw and a subtract scan Emilio López 2026-09-02 09:22:14 -03:00
• d52770bb83 perf(random): decide weighted choices with Integer arithmetic instead of Rational Emilio López 2026-09-01 19:01:27 -03:00
• 238fe584ea fix(replay): preserve assertion event classification perf/assertion-test-checks Emilio López 2026-09-29 17:25:39 -03:00
• 89f176fd9d docs(test): keep the hasEventNamed and hasPanic comments lean Emilio López 2026-09-03 11:51:28 -03:00
• 3a47b6d1e7 refactor(test): hide the cached assertion selector behind record fields Emilio López 2026-09-02 14:37:45 -03:00
• d0a2ba4f07 perf(test): check assertion events by name instead of rendering them Emilio López 2026-09-01 18:04:20 -03:00
• f88ed829f9 perf(test): precompute assertion test selectors Emilio López 2026-09-01 17:54:08 -03:00
• 0f544b974f refactor(exec): give Echidna.Exec an explicit export list perf/rts-sizing-and-coverage-cache Emilio López 2026-09-08 16:29:35 -03:00
• e022bae08c refactor(exec): hoist addCoverage and lookupCoverage to the top level Emilio López 2026-09-08 16:28:05 -03:00
• 6e3adc2604 perf(rts): size the RTS capabilities to the campaign's worker count Emilio López 2026-09-01 17:13:32 -03:00
• f73edb47ce perf(exec): cache the coverage vector lookup across EVM steps Emilio López 2026-09-01 17:13:17 -03:00
• 5403657dbf test: drive the MCP server the way its clients do (#1608) 3 people 2026-09-29 17:10:51 -03:00
• e6baf93926 Replace the Server-Sent Events server with an MCP server (#1607) Emilio Lópezandgustavo-grieco 2026-09-29 13:27:59 -03:00
• 0a6ec5bdfc Concrete sequence replay with a JSON report (#1606) Emilio Lópezandgustavo-grieco 2026-09-29 11:23:24 -03:00
• 3fdf4a2c20 build(deps): bump the gh-actions group across 1 directory with 3 updates (#1634) dependabot[bot] 2026-09-27 15:44:17 -03:00
• ddb680b574 build(deps): bump the gh-actions group across 1 directory with 2 updates (#1628) dependabot[bot] 2026-09-10 11:51:22 -03:00
• 3a084a4111 Prioritized and injected transaction sequences (#1605) Emilio Lópezandgustavo-grieco 2026-09-10 10:33:57 -03:00
• caddd5c468 feat(coverage): optional jump-edge coverage for novelty perf/coverage-edges Emilio López 2026-09-10 09:10:28 -03:00
• 5d4a1575d9 feat(coverage): report per-line execution and failed-execution counts Emilio López 2026-09-09 23:55:32 -03:00
• ed447ac176 feat(coverage): per-line hit counts, kept per agent and committed per transaction Emilio López 2026-09-09 23:38:26 -03:00
• b963213d56 fix(coverage): key creation-code coverage by creation codehash Emilio López 2026-09-09 20:40:32 -03:00
• 62b665bc7a perf(coverage): count unique instructions incrementally Emilio López 2026-09-09 20:27:00 -03:00
• eb2bc9cf92 perf(coverage): store coverage as two atomic words per pc Emilio López 2026-09-09 20:09:18 -03:00
• e139c23045 feat(coverage): add lock-free atomic primitives for the coverage arrays Emilio López 2026-09-09 19:50:10 -03:00
• 53e1094966 refactor(coverage): give every agent an explicit coverage slot Emilio López 2026-09-09 19:47:13 -03:00
• 8f3a12ef11 refactor(config): make coverage a plain Bool instead of a vestigial Maybe Emilio López 2026-09-09 19:36:49 -03:00
• f8bc61b0e7 docs(random): keep the comments lean Emilio López 2026-09-03 11:51:28 -03:00
• 346c2f1fd4 perf(random): pick weighted choices with one bounded draw and a subtract scan Emilio López 2026-09-02 09:22:14 -03:00
• 5cfbb15026 perf(random): decide weighted choices with Integer arithmetic instead of Rational Emilio López 2026-09-01 19:01:27 -03:00
• 8264ac46d6 docs(test): keep the hasEventNamed and hasPanic comments lean Emilio López 2026-09-03 11:51:28 -03:00
• 33265d6c20 refactor(test): hide the cached assertion selector behind record fields Emilio López 2026-09-02 14:37:45 -03:00
• 718162ac8d perf(test): check assertion events by name instead of rendering them Emilio López 2026-09-01 18:04:20 -03:00
• fe122beac8 perf(test): precompute assertion test selectors Emilio López 2026-09-01 17:54:08 -03:00
• 917809a0c8 refactor(exec): give Echidna.Exec an explicit export list Emilio López 2026-09-08 16:29:35 -03:00
• 8aa8ed98fa refactor(exec): hoist addCoverage and lookupCoverage to the top level Emilio López 2026-09-08 16:28:05 -03:00
• 681e7c207b perf(rts): size the RTS capabilities to the campaign's worker count Emilio López 2026-09-01 17:13:32 -03:00
• e495add7b8 perf(exec): cache the coverage vector lookup across EVM steps Emilio López 2026-09-01 17:13:17 -03:00
• da5bca781d build: compile hevm with -O2 in the nix and stack release builds perf-update-hevm Emilio López 2026-09-02 23:42:13 -03:00
• c80740f5c9 perf: only record keccak preimages when symbolic execution will use them Emilio López 2026-09-02 18:52:20 -03:00
• 23c3cac13b Update hevm to 62c16d10d41d04218a18d09e7494bba2dc564e9c Emilio López 2026-09-08 14:42:43 -03:00
• 947f59c72d tests: extreme: bump limit to 20000 test-fix-flaky Emilio López 2026-09-08 17:21:13 -03:00
• 0ea96cb952 Sequence generation fixes (#1620) Emilio López 2026-09-04 17:32:41 -03:00
• cff8760d4b build(deps): bump the gh-actions group with 2 updates (#1611) dependabot[bot] 2026-09-01 15:39:42 -03:00
• e53ab731e2 fix: deflake values/rconstants.sol test (#1613) Emilio López 2026-09-01 15:29:58 -03:00
• 620fcdb414 Inter-worker message bus and per-function call sampling (#1604) Emilio Lópezandgustavo-grieco 2026-08-31 07:29:51 -03:00
• 3521b37a88 test(coverage): make boolean corpus count deterministic (#1610) DefiAudit 2026-08-27 13:12:52 +00:00
• c195ffe97c Use broadcast TChan for campaign events (#1576) Emilio López 2026-08-25 03:19:23 -03:00
• a2c0a92a6f Library auto-linking support through crytic-compile (#1389) Emilio López 2026-08-24 18:11:26 -03:00
• 3e02a8af92 refactor: replace runWorker dispatch with an Agent sum type (#1603) Emilio Lópezandgustavo-grieco 2026-08-14 15:36:23 -03:00
• d87e720342 Small standalone fixes: coverage attribution, generic log events (#1599) Emilio Lópezandgustavo-grieco 2026-08-14 14:54:20 -03:00
• 07282dac29 refactor: decompose campaign execution by worker (#1596) Gustavo GriecoandEmilio López 2026-08-14 18:02:21 +02:00
• 4530f6f838 Merge remote-tracking branch 'refactor/agent-typeclass' into dev-agents-2 dev-agents-3 Emilio López 2026-08-13 20:54:12 -03:00
• cd8b7b364c refactor: stop passing the symbolic worker a corpus it discards Emilio López 2026-08-13 20:29:04 -03:00
• 4ed9ffc6e0 refactor: make Agent a sum type instead of a typeclass Emilio López 2026-08-13 20:04:29 -03:00
• dadd07186a fix: count verified tests as a success in the exit code Emilio López 2026-08-13 19:33:14 -03:00
• 7254dfc167 refactor: retire Echidna.Campaign, move isSuccessful to Types.Test Emilio Lópezandgustavo-grieco 2026-08-13 19:27:03 -03:00
• c79e321ca8 refactor: replace runWorker dispatch with an Agent typeclass Emilio Lópezandgustavo-grieco 2026-08-13 18:46:00 -03:00
• f60933f041 fix(worker): avoid hlint false positive on record-dot access Emilio López 2026-08-13 18:28:06 -03:00
• 41525a2fee chore: gitignore Python artifacts Emilio Lópezandgustavo-grieco 2026-08-13 18:09:11 -03:00
• ee25351e52 fix(tests): return the flag from flags.sol set0/set1 Emilio Lópezandgustavo-grieco 2026-08-13 18:09:11 -03:00
• 9cd01a2311 feat: add generic log events Emilio Lópezandgustavo-grieco 2026-08-13 18:09:05 -03:00
• cf099b6210 feat: name the function that found new coverage Emilio Lópezandgustavo-grieco 2026-08-13 18:08:50 -03:00
• 3afcb8b795 build(deps): bump haskell-actions/setup from 2.11.0 to 2.12.0 in the gh-actions group (#1598) dependabot[bot]andEmilio López 2026-08-12 19:56:51 -03:00
• 0da0cbfde9 Merge remote-tracking branch 'origin/refactor/campaign-decomposition' into dev-agents dev-agents-2 Emilio López 2026-08-12 19:51:07 -03:00
• 9d3ce25e25 refactor: share one shrinkable predicate between the workers Emilio López 2026-08-12 18:18:14 -03:00
• e33a84e0f6 refactor: reuse initialWorkerState, name the stopOnFail predicate Emilio López 2026-08-12 18:13:28 -03:00
• c83ffe3eba refactor: put spawnListener next to listenerLoop, share the shrink loop Emilio López 2026-08-12 17:56:51 -03:00
• 07628630d3 refactor: move the worker modules under Echidna.Worker Emilio López 2026-08-12 17:53:45 -03:00
• 1f4f55bb70 refactor: extract worker-agnostic test-set ops into Echidna.Test.State Emilio López 2026-08-12 17:52:27 -03:00
• 4507445cb0 refactor: move MonadThrow (RandT) orphan to its own module Emilio López 2026-08-12 17:18:21 -03:00
• 5b58fce17d refactor: move listenerLoop to Echidna.Worker Emilio López 2026-08-12 16:47:45 -03:00
• 2759df1887 Merge remote-tracking branch 'origin/master' into refactor/campaign-decomposition Emilio López 2026-08-12 14:58:45 -03:00
• ee5c6d0472 refactor: narrow exports of decomposed campaign modules Emilio López 2026-08-12 14:30:15 -03:00
• 2bfa64ef6c fix: handle verification and Foundry campaign modes (#1595) Gustavo GriecoandClaude Opus 5 2026-08-11 23:24:34 +02:00
• 5fd668155c Merge pull request #1597 from crytic/dependabot/github_actions/gh-actions-e57353e2b8 Emilio López 2026-08-10 16:33:00 -03:00
• c0eff0589c build(deps): bump the gh-actions group across 1 directory with 5 updates dependabot[bot] 2026-08-05 21:35:31 +00:00
• de4c2f2b66 refactor: decompose campaign execution gustavo-grieco 2026-08-05 16:27:56 +02:00
• fd838fda7e test: use explicit verification mode for symbolic assertions gustavo-grieco 2026-08-05 16:38:07 +02:00
• 55092421ba fix: respect sequence length in Foundry filtering gustavo-grieco 2026-08-05 16:02:08 +02:00
• 7053fba0f4 feat: add explicit verification test mode gustavo-grieco 2026-08-05 16:00:02 +02:00
• 28c12a6b08 Merge remote-tracking branch 'origin/master' into dev-agents dev-agents gustavo-grieco 2026-08-05 15:20:37 +02:00