Commit Graph

Select branches

Hide Pull Requests

TOD_MODULE

add/feats

add/modules

add_concrete_stuff

analysis/TOD

analyze-with-mythx

any_name

arbitrary_storage

berndt_1

berndtz_experimental

better_bounds

bug/constructor-arguments

bug/instructions-out-of-bounds

bug/invalid-loop-pruning

bugfix/1840

call_depth

cfg_fix

check-delegatecall-after

check_existing_annotations

cli-code-coverage

concrete_ite_storage

config-change

constantinope-reentrancy-check

delegatecall_fix

dependabot/pip/markupsafe-lt-3.1.0

dependabot/pip/py-evm-0.10.1b2

dependabot/pip/z3-solver-gte-4.8.8.0-and-lte-4.13.3.0

dependency_prune_v2

develop

dynamic_timeout_presets

ether_refactor_2

ether_thief

ether_thief_fix

ether_transfer

external_calls

extract_concat_invariance

feat/docker-ci

feat/merge

feature/concretise_storage

feature/feat-eng

feature/ignore-regressions

feature/import-custom-modules

feature/regioned_storage

feature/summary

feature/tx_lists

feature/update_solcx

features/iprof_plugin

fix-balance-overflow

fix/boundedloops

fix/circleci-config

fix/constraints-after-issues

fix/dep_pruning

fix/iprof-ctrlc

fix/refactor

fix/signextend

fix/timeout

fix_integers

flashfck

function_lists

harvey_style_assertions

hashfixes

improvement/circleci-envs

improvement/udpate-circle-ci

integer_experimental

integer_fix

jinja-print-initial-state

master

metrics_plugin

model-balances

notify-unreachable-code

optimise/summaries

optimizer

origin_model

pending-opcodes

pr/894

readme

refactor/cli

remove/dos

remove_deprecated_taint

remove_pragma

req_violation

revert-1226-optimizer

revert_ether_thief

run-edelweiss-drone

setup-fix

specify-attacker-creator-address

split_storage

standard_actors

state_merge

storage/bugfix

storage/refactor

support_tx_sequences

ultimate_ether_thief

userassertions

vuln_edits

workshop-fixes

z3

#10

#100

#1000

#1002

#1003

#1004

#1006

#101

#1013

#1014

#1016

#1017

#102

#1022

#1024

#1025

#1026

#1027

#1028

#1029

#103

#1030

#1031

#1032

#1033

#1034

#1037

#1039

#104

#1040

#1041

#1042

#1043

#1044

#1045

#1047

#1052

#1054

#1056

#1057

#1058

#1059

#106

#1060

#1061

#1062

#1064

#1065

#1066

#1067

#1071

#1072

#1074

#1076

#1077

#1078

#1079

#1080

#1081

#1083

#1084

#1086

#1087

#1088

#1094

#1097

#1099

#1101

#1102

#1103

#1104

#1105

#1106

#1107

#1108

#1110

#1111

#1112

#1113

#1114

#1115

#1116

#1117

#1118

#1119

#112

#1120

#1121

#1123

#1124

#1125

#1126

#1127

#1128

#1129

#1131

#1133

#1134

#1136

#1137

#1139

#114

#1140

#1142

#1144

#1145

#1146

#1148

#1149

#1150

#1153

#1155

#1156

#1157

#1159

#1163

#1164

#1165

#1166

#1167

#1169

#117

#1170

#1171

#1172

#1173

#1174

#1175

#1177

#1178

#1180

#1181

#1184

#1185

#1186

#1188

#1189

#1190

#1191

#1192

#1193

#1194

#1195

#1196

#1197

#1198

#1199

#12

#120

#1200

#1202

#1203

#1205

#1211

#1213

#1215

#1216

#1218

#1219

#1220

#1221

#1223

#1224

#1225

#1226

#1227

#1229

#1230

#1231

#1233

#1234

#1237

#1239

#124

#1240

#1242

#1244

#1246

#1247

#1248

#1249

#125

#1250

#1251

#1252

#1253

#1257

#126

#1261

#1263

#1264

#1265

#1268

#1269

#127

#1272

#1274

#1275

#1276

#128

#1281

#1283

#1284

#1285

#1288

#1289

#1290

#1292

#1296

#1297

#13

#1301

#1302

#1305

#1306

#1307

#1308

#1310

#1314

#1315

#132

#1323

#1328

#1329

#1330

#1331

#1332

#1335

#1336

#1337

#1338

#1339

#1340

#1341

#1342

#1343

#1344

#1345

#1346

#1347

#1348

#135

#1350

#1351

#1352

#1353

#1354

#1355

#1356

#1357

#1358

#1359

#136

#136

#1363

#1365

#1366

#1367

#1368

#1369

#137

#137

#1370

#1372

#1377

#1380

#1381

#1388

#1389

#1391

#1392

#1393

#1394

#1396

#1397

#1398

#1399

#14

#1400

#1403

#1404

#1405

#1406

#141

#1410

#1411

#1413

#1415

#1417

#1418

#1419

#1420

#1421

#1425

#1426

#1428

#1430

#1433

#1436

#1437

#1438

#1439

#1443

#1444

#1445

#1447

#1450

#1451

#1454

#146

#1460

#1463

#1469

#147

#1471

#1473

#1474

#148

#148

#1480

#1483

#1488

#1489

#149

#1490

#1491

#1492

#1497

#1498

#1499

#150

#1501

#1503

#1504

#1506

#1507

#151

#1510

#1511

#1511

#1513

#1514

#1516

#1518

#1520

#1520

#1526

#153

#1532

#1533

#1534

#1537

#154

#1541

#1542

#1543

#1544

#1545

#1547

#1548

#1549

#1550

#1551

#1555

#1556

#1557

#1558

#1559

#1560

#1562

#1563

#1564

#1567

#1569

#157

#1570

#1571

#1573

#1574

#1576

#1577

#1578

#1581

#1582

#1584

#1585

#1586

#1587

#1591

#1593

#1594

#1595

#1597

#1600

#1602

#1606

#1607

#1608

#161

#1610

#1611

#1613

#1614

#1615

#1616

#1617

#1619

#162

#1620

#1622

#1625

#1628

#163

#163

#1630

#1631

#1632

#1633

#1635

#1637

#1639

#164

#1641

#1642

#1644

#1646

#1647

#1648

#165

#1651

#1652

#1654

#1655

#1658

#1660

#1661

#1662

#1663

#1664

#1665

#1668

#1669

#1670

#1674

#1675

#1677

#1679

#168

#1680

#1681

#1683

#1687

#1688

#1691

#1691

#1694

#1698

#17

#1700

#1703

#1704

#1705

#1706

#1707

#1709

#1710

#1711

#1714

#1718

#1720

#1721

#1723

#1725

#1726

#1727

#1729

#173

#1730

#1731

#1733

#1737

#1738

#1739

#174

#174

#1740

#1741

#1743

#1744

#1745

#1749

#1750

#1751

#1754

#1757

#1758

#1758

#1760

#1761

#1762

#1763

#1764

#1765

#1767

#1768

#1770

#1771

#1774

#1775

#1776

#1779

#178

#1781

#1783

#1784

#1785

#1786

#1787

#1789

#1792

#1793

#1794

#1795

#1796

#1798

#1799

#1800

#1801

#1802

#1803

#1805

#1807

#181

#1811

#1812

#1814

#1817

#1818

#182

#1820

#1821

#1822

#1823

#1824

#1826

#1827

#1828

#1830

#1831

#1832

#1833

#1835

#1836

#184

#1841

#1843

#1844

#1845

#1846

#1848

#1849

#1852

#1854

#1855

#1857

#1860

#1863

#1864

#1865

#1866

#1867

#1868

#1869

#1870

#1871

#1872

#1873

#1874

#1875

#1876

#1877

#1878

#1879

#188

#1880

#1881

#1881

#1882

#1882

#1883

#1884

#1884

#1885

#1885

#1887

#1887

#1889

#1889

#192

#194

#196

#198

#2

#2

#20

#205

#206

#210

#211

#212

#216

#217

#218

#22

#229

#229

#23

#230

#233

#235

#236

#242

#246

#247

#250

#252

#254

#254

#255

#258

#260

#261

#262

#273

#275

#275

#280

#282

#283

#283

#284

#287

#288

#293

#296

#299

#30

#300

#301

#304

#307

#308

#310

#311

#312

#313

#316

#317

#322

#322

#323

#324

#326

#328

#33

#331

#332

#333

#334

#335

#336

#338

#339

#342

#343

#344

#345

#347

#348

#35

#354

#355

#357

#358

#359

#361

#365

#365

#366

#368

#37

#372

#374

#375

#378

#379

#380

#381

#382

#383

#384

#384

#385

#386

#388

#390

#391

#392

#392

#396

#404

#407

#408

#41

#410

#412

#414

#415

#416

#418

#418

#419

#420

#421

#428

#429

#430

#431

#433

#434

#437

#438

#439

#441

#443

#444

#445

#450

#451

#452

#455

#461

#462

#463

#465

#466

#468

#469

#472

#475

#476

#477

#48

#480

#480

#481

#483

#485

#485

#486

#489

#492

#494

#495

#498

#499

#50

#501

#502

#503

#507

#511

#512

#514

#519

#522

#522

#525

#53

#530

#534

#536

#538

#542

#544

#545

#547

#547

#549

#551

#552

#552

#553

#554

#555

#557

#558

#559

#560

#561

#567

#568

#569

#571

#573

#578

#579

#581

#581

#582

#583

#585

#587

#588

#589

#59

#591

#592

#593

#594

#595

#596

#598

#600

#602

#603

#606

#608

#609

#61

#610

#611

#612

#613

#615

#617

#618

#619

#62

#62

#620

#621

#622

#623

#624

#625

#626

#627

#629

#631

#632

#635

#636

#637

#638

#639

#641

#642

#644

#646

#647

#648

#649

#650

#653

#654

#655

#656

#657

#658

#659

#660

#664

#666

#667

#669

#677

#678

#683

#686

#687

#688

#694

#695

#696

#697

#698

#699

#7

#700

#702

#703

#704

#707

#708

#709

#711

#712

#713

#715

#716

#717

#718

#719

#72

#722

#723

#724

#727

#728

#729

#730

#731

#732

#735

#739

#743

#746

#747

#748

#749

#750

#751

#752

#753

#754

#755

#756

#757

#758

#760

#761

#762

#764

#766

#767

#768

#773

#774

#775

#777

#778

#779

#780

#784

#785

#786

#787

#788

#79

#792

#797

#80

#802

#803

#806

#807

#81

#811

#813

#815

#817

#818

#819

#821

#822

#824

#825

#826

#828

#831

#832

#833

#834

#835

#837

#838

#840

#845

#848

#849

#850

#851

#852

#853

#854

#855

#856

#859

#862

#863

#868

#869

#870

#871

#872

#88

#880

#881

#882

#884

#885

#887

#888

#889

#890

#893

#894

#897

#900

#901

#902

#903

#904

#905

#906

#907

#908

#909

#910

#911

#912

#913

#917

#918

#919

#921

#923

#924

#925

#927

#928

#93

#930

#933

#938

#94

#943

#945

#946

#948

#949

#95

#950

#951

#953

#958

#96

#962

#963

#969

#97

#971

#973

#975

#977

#979

#980

#981

#982

#983

#984

#985

#986

#989

#99

#990

#991

#994

#997

#998

0.16.5

0.20.5

0.20.6

0.21.18

0.3.4

0.3.8

0.3.9

0.5.2

0.5.7

0.5.9

0.8.6

laser-merge

v0.15.9

v0.16.18

v0.16.19

v0.16.20

v0.16.21

v0.16.22

v0.16.23

v0.16.24

v0.16.25

v0.16.26

v0.16.27

v0.16.29

v0.16.6

v0.17.0

v0.17.1

v0.17.12

v0.17.15

v0.17.2

v0.17.3

v0.17.4

v0.17.5

v0.17.6

v0.17.7

v0.17.8

v0.17.9

v0.18.0

v0.18.1

v0.18.10

v0.18.11

v0.18.12

v0.18.13

v0.18.2

v0.18.3

v0.18.4

v0.18.5

v0.18.6

v0.18.7

v0.18.8

v0.18.9

v0.19.0

v0.19.10

v0.19.11

v0.19.4

v0.19.5

v0.19.6

v0.19.7

v0.19.8

v0.19.9

v0.20.0

v0.20.1

v0.20.2

v0.20.3

v0.20.4

v0.20.5

v0.20.6

v0.20.7

v0.20.8

v0.20.9

v0.21.10

v0.21.11

v0.21.12

v0.21.14

v0.21.15

v0.21.16

v0.21.17

v0.21.18

v0.21.19

v0.21.2

v0.21.20

v0.21.21

v0.21.22

v0.21.23

v0.21.3

v0.21.4

v0.21.5

v0.21.6

v0.21.7

v0.21.8

v0.21.9

v0.22.0

v0.22.1

v0.22.10

v0.22.11

v0.22.12

v0.22.13

v0.22.14

v0.22.15

v0.22.16

v0.22.17

v0.22.18

v0.22.19

v0.22.2

v0.22.20

v0.22.21

v0.22.22

v0.22.23

v0.22.24

v0.22.25

v0.22.26

v0.22.27

v0.22.28

v0.22.29

v0.22.3

v0.22.30

v0.22.31

v0.22.32

v0.22.33

v0.22.34

v0.22.35

v0.22.36

v0.22.37

v0.22.38

v0.22.39

v0.22.4

v0.22.40

v0.22.41

v0.22.42

v0.22.43

v0.22.5

v0.22.6

v0.22.7

v0.22.8

v0.22.9

v0.23.0

v0.23.1

v0.23.10

v0.23.11

v0.23.12

v0.23.13

v0.23.15

v0.23.16

v0.23.17

v0.23.18

v0.23.19

v0.23.2

v0.23.20

v0.23.21

v0.23.22

v0.23.23

v0.23.24

v0.23.25

v0.23.3

v0.23.4

v0.23.5

v0.23.6

v0.23.7

v0.23.8

v0.23.9

v0.24.0

v0.24.1

v0.24.2

v0.24.3

v0.24.4

v0.24.5

v0.24.6

v0.24.7

v0.24.8

v0.6.17

v0.6.28

Mono Color

• ce8469f3a4 Remove from requirements norhh 2022-07-12 15:04:32 +0100
• 795f7534fc Black norhh 2022-07-12 15:03:16 +0100
• 1f25f09a95 Merge branch 'develop' of github.com:ConsenSys/mythril into support/get-set norhh 2022-07-12 15:03:02 +0100
• 2f27510b83 Add cython norhh 2022-07-12 14:54:00 +0100
• 229b607fe5
  Deepcopy storage load and store sets (#1648) Nikhil Parasaram 2022-07-12 14:51:09 +0100
• 17a3dab690 Move cytoolz up the dependency list #1648 norhh 2022-07-12 14:17:41 +0100
• 178f50c273 Move cytoolz up the dependency list norhh 2022-07-12 14:00:39 +0100
• f0ccdf33cf Merge branch 'support/get-set' of github.com:ConsenSys/mythril into support/get-set norhh 2022-07-12 13:37:08 +0100
• 1e8dee22c7 Restrict cytoolz norhh 2022-07-12 13:36:37 +0100
• 332583384d
  Merge branch 'develop' into support/get-set Nikhil Parasaram 2022-07-12 13:16:56 +0100
• 0ab3820981 Support get/set norhh 2022-07-12 13:11:59 +0100
• 06426c64f6
  Mythril v0.23.4 v0.23.4 Nikhil Parasaram 2022-07-10 20:55:02 +0100
• 13829d77f4
  Add a get set for summaries (#1647) Nikhil Parasaram 2022-07-10 16:10:58 +0100
• ae2d5d0e26 Merge branch 'develop' of github.com:ConsenSys/mythril into remove/sha3 #1647 norhh 2022-07-10 15:49:23 +0100
• 2dcf0d8249 Add a get set for summaries norhh 2022-07-10 15:48:11 +0100
• 15d7dc989d
  Support py36 through py39 (#1646) Nikhil Parasaram 2022-07-10 15:21:22 +0100
• ff462e4b9d Update tox #1646 norhh 2022-07-10 15:01:48 +0100
• 97b314ef65 Remove usage of cytoolz norhh 2022-07-10 14:58:44 +0100
• 9cc13f512b Support py36 through py39 norhh 2022-07-10 14:52:48 +0100
• 591af8a319
  Use latest blake2bpy, Fix version extraction (#1644) Nikhil Parasaram 2022-07-06 20:37:43 +0100
• b98f687be8 restrict eth-hash #1644 norhh 2022-07-06 20:27:31 +0100
• e03c1bb668 Fix requirements norhh 2022-07-06 20:16:12 +0100
• 7aae1a6ed1 Fix requirements norhh 2022-07-06 20:14:04 +0100
• 6771b9d6bb Fix requirements norhh 2022-07-06 20:11:55 +0100
• cf4ec67728 Handle setup.py norhh 2022-07-06 20:02:17 +0100
• c3e86375a3 Handle setup.py norhh 2022-07-06 20:00:57 +0100
• 8386f8cf3f Handle setup.py norhh 2022-07-06 19:58:02 +0100
• 090396bf96 Fix setup.py norhh 2022-07-06 19:43:05 +0100
• c21f9f1278 Use latest blake2bpy, Fix version extraction norhh 2022-07-06 19:32:34 +0100
• d9521dc667
  Mythril v0.23.3 v0.23.3 Nikhil Parasaram 2022-06-20 19:01:50 +0100
• 6e2a6e1316
  Fix issues with Bitvec (#1642) Nikhil Parasaram 2022-06-20 08:35:42 +0100
• fcc999b3fe Resolve merge conflicts #1642 norhh 2022-06-20 08:11:28 +0100
• d913f6d581 Fix issues with Bitvec norhh 2022-06-20 08:10:00 +0100
• 635a37afa5
  Fix Bitvec issue (#1641) Nikhil Parasaram 2022-06-16 02:00:12 +0100
• 0bb18bf6db Fix Bitvec issue #1641 norhh 2022-06-16 01:44:40 +0100
• c869a2bf27
  Typo: External Calls now states correctly SWC-107 (#1639) Christian 2022-06-14 10:32:49 +0200
• b8d9b8cd10
  Typo: External Calls now states correctly SWC-107 #1639 Christian 2022-06-14 09:08:29 +0200
• ca0edd6208
  Handle CRLF line endings (#1637) Nikhil Parasaram 2022-05-30 17:07:07 +0100
• 33924526f7 Add new line at the end of file #1637 norhh 2022-05-30 16:53:12 +0100
• 44cb29b4fa Handle CRLF line endings norhh 2022-05-30 16:51:03 +0100
• c65340a328
  Mythril v0.23.2 v0.23.2 Nikhil Parasaram 2022-05-30 11:19:14 +0100
• e5fd33def6
  Fix loop bound and other instruction performance issues (#1635) Nikhil Parasaram 2022-05-26 19:09:38 +0100
• 7f6022fc58
  Merge branch 'develop' into fix/1634 #1635 Nikhil Parasaram 2022-05-26 18:58:52 +0100
• 8d8d135e00 Increase loop bound norhh 2022-05-26 18:42:30 +0100
• a9f064c43b Remove unused variable norhh 2022-05-26 18:41:47 +0100
• 15451cdef6 Fix loop bound and other instruction performance issues norhh 2022-05-26 18:38:51 +0100
• 949a9820ad
  Fix caching for exceptions module (#1633) Nikhil Parasaram 2022-05-24 22:20:31 +0100
• a7bc8d1fa0 Fix caching for exceptions module #1633 norhh 2022-05-24 22:01:33 +0100
• 32d2bd676e
  Correct comment (#1632) 72521 2022-05-24 03:50:33 +0800
• d811f1daa9
  Update bitvec_helper.py #1632 72521 2022-05-24 02:06:22 +0800
• b2f20a3de9
  Correct comment 72521 2022-05-23 04:33:58 +0800
• 0c2e136819
  Mythril v0.23.1 v0.23.1 Nikhil Parasaram 2022-05-19 10:31:54 +0100
• b8749f887f
  Fix misc issues (#1631) Nikhil Parasaram 2022-05-19 10:19:56 +0100
• 83add0d2d6 Fix misc issues #1631 norhh 2022-05-19 10:09:29 +0100
• e9c5f6a897
  Use a more precise modeling of return data (#1630) Nikhil Parasaram 2022-05-16 14:24:44 +0100
• aba7f8e1eb Fix issues #1630 norhh 2022-05-16 14:14:14 +0100
• 8b8266606a Merge branch 'bugfix/1629' of github.com:ConsenSys/mythril into bugfix/1629 norhh 2022-05-16 13:49:33 +0100
• 28242d2b5b Fix issues with lists norhh 2022-05-16 13:49:06 +0100
• 21341e9ac0
  Merge branch 'develop' into bugfix/1629 Nikhil Parasaram 2022-05-16 13:26:43 +0100
• debc992e08 Use a more precise modeling of return data norhh 2022-05-16 13:25:06 +0100
• c236dde7d8
  remove depth for jump (#1628) Nikhil Parasaram 2022-05-16 06:53:57 +0100
• 93899b2bd6 remove depth for jump #1628 norhh 2022-05-16 06:38:51 +0100
• e195ad720d Use hashlib over ancient hash modules hashfixes norhh 2022-05-10 12:54:46 +0100
• 6b34febd5e
  Use int argument (#1625) Nikhil Parasaram 2022-05-10 10:09:47 +0100
• 5e7dbb6411 Use int argument #1625 norhh 2022-05-10 09:55:26 +0100
• 4adafd27ac
  fixed module links in documentation (#1622) Zach Obront 2022-04-29 05:53:31 -0500
• 848f745e77 fixed module links in documentation #1622 Zach Obront 2022-04-28 13:01:52 -0500
• 1cc7706f5c
  Mythril v0.23.0 v0.23.0 Nikhil Parasaram 2022-04-22 16:45:56 +0100
• 120d7d23ec
  Fix issue with PluginSkipState (#1620) Nikhil Parasaram 2022-04-22 16:16:58 +0100
• ec85779e31 Update black #1620 norhh 2022-04-22 16:00:47 +0100
• b90b50cee2 Fix issue with PluginSkipState norhh 2022-04-22 15:52:54 +0100
• 015ded62f9 Merge branch 'develop' of github.com:ConsenSys/mythril into fix/int norhh 2022-04-22 15:52:24 +0100
• 4ba3c10e39
  dead link (#1616) shafu.eth 2022-04-18 20:16:08 +0200
• 651a17c647
  Fix issue with cache during summaries (#1619) Nikhil Parasaram 2022-04-18 19:15:51 +0100
• e984122571 Merge branch 'fix/int' of github.com:ConsenSys/mythril into fix/int #1619 norhh 2022-04-18 19:05:49 +0100
• a764fa837a Fix safe functions norhh 2022-04-18 19:05:15 +0100
• a54224b5ce
  Merge branch 'develop' into fix/int Nikhil Parasaram 2022-04-18 18:54:31 +0100
• 998bef03ce Fix cache issue norhh 2022-04-18 18:53:47 +0100
• dfaa9382ec
  Fix misc issues related to summaries (#1617) Nikhil Parasaram 2022-04-14 13:59:21 +0100
• 4a4ce012c8 Merge branch 'develop' of github.com:ConsenSys/mythril into fix/int #1617 norhh 2022-04-14 13:41:44 +0100
• fa66f9a37a Fix misc issues with summaries norhh 2022-04-14 13:40:52 +0100
• 43ec69bad4
  dead link #1616 shafu.eth 2022-04-07 23:17:31 +0200
• 38313273e5
  Use better issue annotations for search (#1615) Nikhil Parasaram 2022-04-04 05:25:09 +0100
• c74860afc2 Fix merge conflicts #1615 norhh 2022-04-04 05:15:57 +0100
• d06156f47b Use IssueAnnotations norhh 2022-04-04 05:14:14 +0100
• dfcf5d2cc0
  Mythril v0.22.43 v0.22.43 Nikhil Parasaram 2022-04-03 14:06:27 +0100
• 77fdbc81e3
  use more secure approach to call docker (#1614) JoranHonig 2022-04-01 16:07:24 +0200
• 60861a08c1
  use more secure approach to call docker #1614 feat/docker-ci JoranHonig 2022-04-01 14:15:48 +0200
• 50e1ded4ab
  Check versions before using integer module (#1613) Nikhil Parasaram 2022-03-28 00:32:13 +0100
• 860ba5a3ad Check versions before using integer module #1613 norhh 2022-03-28 00:21:30 +0100
• 042cc68025
  Remove logging (#1611) Nikhil Parasaram 2022-03-25 10:27:22 +0000
• 4090c67b6f remove comment #1611 norhh 2022-03-25 10:18:26 +0000
• c261861725 Merge norhh 2022-03-25 10:15:12 +0000
• ee04631b87 Merge norhh 2022-03-25 10:02:08 +0000
• 6141aa6ee3 Use log.info norhh 2022-03-25 10:00:21 +0000
• 46b26678e1
  Fix caching of issues across modules (#1610) Nikhil Parasaram 2022-03-25 09:37:49 +0000
• c0c392ab55 Fix caching of issues across modules #1610 norhh 2022-03-25 09:10:06 +0000
• 9ac8090b7a Fix caching of issues across modules norhh 2022-03-25 09:07:40 +0000
• 1b26ce839a
  Mythril v0.22.42 v0.22.42 Nikhil Parasaram 2022-03-23 17:23:58 +0000
• ae0fd06e47
  Unrestrict z3 to 4.8.15.0 (#1608) Nikhil Parasaram 2022-03-23 05:43:20 +0000