Commit Graph

Select branches

Hide Pull Requests

audit-v4.9

audit-v5.0

audit-v5.1

audit-v5.2

audit-v5.3

audit/2023-03

audit/2023-06

audit/2023-07-10

audit/2023-07-24

audit/2023-08-01

audit/2023-08-07

audit/M-01

chore/remove-symlink-when-using-dirname

docs-org

docs-v2.x

docs-v3.x

docs-v4.x

docs-v5.x

eof

formal-verification

frangio-patch-1

frangio-patch-2

fv/ERC20Votes

fv/Governor

master

next-v5.0

release-v2.3.0

release-v2.4.0

release-v2.5.0

release-v3.0.0

release-v3.1.0

release-v3.2.0

release-v3.2.0-solc-0.7

release-v3.3

release-v3.3-solc-0.7

release-v3.4

release-v3.4-solc-0.7

release-v4.0

release-v4.1

release-v4.2

release-v4.3

release-v4.4

release-v4.5

release-v4.6

release-v4.7

release-v4.8

release-v4.9

release-v5.0

release-v5.1

release-v5.2

release-v5.3

release-v5.4

renovate/lock-file-maintenance

renovate/npm-undici-vulnerability

renovate/solhint-6.x

solc-0.6

solc-0.7

test/linearization

transient/access-manager-execution-id

typo-fixes

update/certora-7.3.0

#100

#1001

#1002

#1004

#1006

#1007

#1008

#1009

#101

#1010

#1014

#1016

#1016

#1017

#1019

#102

#1020

#1020

#1022

#1022

#1023

#1024

#1024

#1025

#1025

#1028

#1028

#1030

#1031

#1033

#1034

#1034

#1035

#1037

#1039

#1040

#1040

#1041

#1042

#1043

#1045

#1046

#1046

#1047

#1050

#1052

#1052

#1053

#1054

#1057

#106

#1060

#1061

#1063

#1068

#1069

#1069

#1070

#1071

#1071

#1072

#1072

#1074

#1079

#1080

#1082

#1083

#1084

#1086

#1087

#1087

#1088

#1089

#1094

#1095

#1095

#110

#1100

#1100

#1101

#1105

#1107

#1109

#1109

#111

#111

#1112

#1113

#1114

#1116

#1117

#1118

#1118

#1119

#112

#1121

#1121

#1122

#1123

#1125

#1128

#113

#1130

#1130

#1131

#1133

#1134

#1137

#1138

#1139

#114

#1140

#1141

#1142

#1143

#1144

#1149

#1151

#1153

#1154

#1155

#1156

#1158

#1158

#1160

#1161

#1166

#1168

#1169

#1170

#1171

#1173

#118

#1181

#1183

#1185

#1186

#1187

#1188

#119

#1190

#1193

#1195

#1197

#1198

#1199

#1207

#1210

#1210

#1213

#1216

#1218

#1219

#122

#1225

#1226

#1226

#1228

#1229

#123

#1230

#1231

#1233

#1233

#1235

#1236

#1237

#1238

#1242

#1243

#1244

#1244

#1246

#1247

#1248

#1249

#1252

#1253

#1254

#1256

#1257

#1258

#1261

#1262

#1263

#1264

#1265

#1266

#1266

#1267

#1268

#1269

#127

#1270

#1271

#1274

#1275

#1276

#1277

#1279

#1280

#1281

#1282

#1283

#1284

#1285

#1286

#1286

#1287

#1288

#1289

#129

#129

#1291

#1293

#1294

#1295

#1296

#1297

#1298

#1299

#1300

#1301

#1302

#1303

#1304

#1305

#1306

#1307

#1309

#1310

#1311

#1313

#1316

#1317

#1317

#1318

#1319

#132

#1321

#1323

#1324

#1325

#1325

#1329

#133

#1331

#1332

#1334

#1335

#1335

#1338

#1343

#1344

#1349

#135

#135

#1350

#1351

#1359

#136

#1360

#1361

#1363

#1364

#1365

#1367

#1368

#1369

#137

#1370

#1373

#1374

#1375

#1376

#1377

#1378

#1379

#1380

#1381

#1382

#1385

#1389

#1389

#139

#1390

#1395

#1397

#1398

#14

#140

#1400

#1401

#1403

#1406

#1407

#1408

#1409

#1410

#1417

#1418

#1421

#1422

#1423

#1424

#1425

#1426

#1427

#1428

#1429

#1430

#1431

#1432

#1433

#1434

#1435

#1437

#1438

#1439

#144

#1440

#1441

#1442

#1443

#1444

#1445

#1446

#1447

#1448

#1449

#1450

#1451

#1452

#1453

#1455

#146

#1467

#1468

#1469

#147

#1470

#1471

#1472

#1473

#1474

#1475

#1476

#1477

#1481

#1482

#1484

#1485

#149

#1491

#1492

#1496

#150

#1501

#1503

#1507

#1508

#151

#1510

#1511

#1513

#1514

#1517

#1521

#1522

#1523

#1524

#1525

#1526

#1527

#1528

#1529

#1530

#1532

#1533

#1534

#1535

#1537

#1539

#154

#154

#1540

#1543

#1544

#1549

#155

#1550

#1551

#1553

#1555

#1556

#1559

#156

#1561

#1564

#1565

#1567

#1568

#1570

#1571

#1572

#1574

#1575

#1578

#158

#1580

#1581

#1583

#1586

#1588

#1589

#1590

#1591

#1592

#1598

#1599

#160

#1600

#1601

#1603

#1606

#1608

#1609

#1610

#1611

#1613

#1616

#1617

#1618

#162

#1620

#1622

#1623

#1624

#1628

#1629

#1630

#1633

#1635

#1636

#1637

#1638

#1639

#1640

#1641

#1642

#1645

#1646

#1647

#1649

#165

#165

#1650

#1652

#1653

#1655

#1658

#1659

#166

#1662

#1663

#1664

#1665

#1666

#167

#1670

#1671

#1672

#1675

#1677

#1678

#1680

#1681

#1683

#1684

#1686

#1689

#169

#1693

#1694

#1695

#1696

#1698

#1699

#170

#1700

#1702

#1703

#1704

#1706

#1707

#1708

#171

#1710

#1712

#1713

#1714

#1715

#1717

#1718

#1719

#1720

#1721

#1722

#1723

#1724

#1725

#1729

#173

#1732

#1733

#1734

#1735

#1737

#1739

#174

#1741

#1742

#1744

#1746

#1747

#1748

#1751

#1752

#1754

#1755

#176

#1760

#1764

#1768

#177

#177

#1770

#1773

#1776

#1777

#1778

#1779

#178

#1780

#1781

#1784

#1785

#1786

#1787

#1788

#1789

#1791

#1792

#1793

#1794

#1796

#1797

#1798

#1799

#18

#180

#1801

#1802

#1803

#1804

#1808

#181

#1811

#1815

#1816

#1818

#1819

#182

#182

#1820

#1821

#1822

#1823

#1825

#1826

#1828

#1829

#183

#1830

#1831

#1832

#1834

#1835

#1836

#1837

#1838

#184

#1840

#1841

#1842

#1844

#1847

#1848

#185

#1857

#186

#186

#1860

#1862

#1863

#1864

#1865

#1866

#1867

#1868

#187

#1873

#1875

#1877

#1878

#1879

#188

#1880

#1881

#1884

#1885

#1886

#1887

#1888

#1889

#1890

#1891

#1892

#1895

#1896

#1898

#1899

#19

#19

#190

#1900

#1901

#1903

#1904

#1906

#1907

#1908

#1910

#1911

#1912

#1913

#1914

#1915

#1916

#1917

#1919

#192

#1920

#1923

#1924

#1926

#1927

#1927

#1929

#193

#1931

#1932

#1933

#1934

#1935

#1936

#1937

#1938

#1939

#1942

#1943

#1944

#1945

#1946

#1947

#1948

#195

#1950

#1953

#1954

#1956

#1957

#1958

#1959

#1960

#1961

#1962

#1963

#1964

#1965

#1968

#1969

#1970

#1971

#1972

#1973

#1974

#1975

#1976

#1977

#1981

#1982

#1983

#1986

#1987

#1988

#1989

#1990

#1992

#1996

#1997

#1998

#1999

#20

#2000

#2001

#2004

#2005

#2007

#2008

#2009

#2010

#2011

#2012

#2013

#2014

#2015

#2017

#2018

#2019

#2020

#2021

#2022

#2023

#2025

#2026

#2027

#2029

#203

#2031

#2033

#2035

#2037

#2038

#2040

#2042

#2045

#2046

#2048

#2049

#205

#205

#2050

#2051

#2052

#2053

#2055

#2056

#2057

#2058

#2059

#206

#2061

#2062

#2063

#2064

#2065

#2066

#2069

#2070

#2072

#2074

#2075

#2077

#2078

#2079

#208

#208

#2080

#2081

#2085

#2087

#2088

#2089

#2091

#2093

#2094

#2095

#2096

#2097

#2098

#2099

#210

#2100

#2101

#2103

#2104

#2105

#2107

#2109

#2110

#2112

#2113

#2114

#2115

#2116

#2117

#2119

#212

#2120

#2122

#2123

#2124

#2125

#2126

#2127

#2128

#2129

#2130

#2132

#2133

#2134

#2135

#2136

#2137

#2138

#214

#2141

#2143

#2144

#2145

#2148

#2149

#2150

#2151

#2152

#2153

#2155

#2157

#2158

#2158

#2159

#216

#2160

#2161

#2162

#2164

#2167

#2168

#2169

#2170

#2171

#2172

#2173

#2174

#2177

#2178

#218

#2182

#2183

#2184

#2185

#2186

#2188

#219

#2191

#2192

#2194

#2195

#2196

#2198

#2199

#22

#220

#220

#2200

#2201

#2202

#2204

#2205

#221

#2211

#2212

#2213

#2214

#2216

#2218

#222

#2220

#2221

#2222

#2223

#2224

#2225

#2228

#2229

#223

#2233

#2235

#2237

#2238

#224

#224

#2241

#2243

#2244

#2245

#2246

#2247

#2248

#2249

#225

#2250

#2251

#2254

#2255

#2257

#2261

#2262

#2263

#2264

#2266

#2267

#2268

#2269

#227

#2270

#2273

#2274

#2274

#2275

#2276

#2279

#228

#228

#2280

#2282

#2287

#2289

#229

#229

#2290

#2291

#2292

#2294

#2296

#2297

#2298

#2300

#2303

#2304

#2305

#2307

#2309

#231

#2311

#2312

#2313

#2314

#2315

#2316

#2317

#2319

#2324

#2325

#2326

#2327

#2328

#2329

#233

#233

#2330

#2331

#2332

#2333

#2334

#2335

#2336

#2337

#2338

#234

#234

#2340

#2341

#2343

#2344

#2345

#2346

#2347

#2348

#2349

#2352

#2354

#2356

#2357

#2358

#2359

#236

#236

#2360

#2362

#2363

#2364

#2365

#2367

#237

#2370

#2371

#2372

#2376

#2378

#2379

#238

#2380

#2381

#2382

#2383

#2384

#2385

#2386

#2387

#2388

#2389

#2392

#2393

#2394

#2395

#2396

#2397

#2398

#2399

#24

#240

#2401

#2403

#2405

#2406

#2407

#2408

#241

#241

#2411

#2412

#2415

#2416

#2418

#2419

#242

#2420

#2424

#2427

#2428

#243

#243

#2430

#2431

#2435

#2438

#2439

#2440

#2442

#2443

#2444

#2445

#2446

#2447

#2449

#2450

#2451

#2452

#2453

#2453

#2454

#2456

#2458

#2459

#2462

#2464

#2466

#2467

#2468

#2469

#2470

#2471

#2472

#2473

#2477

#2480

#2481

#2482

#2483

#2485

#2486

#2487

#2488

#2490

#2491

#2492

#2493

#2494

#2495

#2496

#2497

#2498

#2499

#25

#250

#2500

#2501

#2502

#2503

#2504

#2505

#2506

#2508

#2510

#2511

#2512

#2516

#2517

#2518

#2521

#2522

#2524

#2525

#2528

#2531

#2532

#2533

#2542

#2543

#2546

#2547

#2548

#2551

#2552

#2553

#2555

#2556

#2557

#256

#2560

#2561

#2562

#2565

#2568

#257

#2571

#2572

#2573

#2575

#2576

#2578

#2579

#258

#2581

#2582

#2583

#2585

#2586

#2588

#2591

#2592

#2593

#2596

#2597

#2599

#26

#260

#2603

#2604

#2605

#2606

#2607

#2608

#2609

#2612

#2618

#2619

#2623

#2624

#2625

#2626

#2627

#2629

#263

#2630

#2631

#2632

#2633

#2635

#2636

#264

#264

#2640

#2643

#2644

#2645

#2646

#2647

#2648

#265

#265

#2651

#2653

#2654

#2655

#2656

#2658

#266

#266

#2660

#2661

#2662

#2662

#2664

#2666

#2667

#2669

#267

#267

#2670

#2672

#2673

#2675

#2678

#2679

#268

#268

#2681

#2682

#2683

#2685

#2686

#2687

#269

#2690

#2691

#2692

#2692

#2694

#2695

#2696

#2697

#2699

#27

#2702

#2704

#2706

#2707

#271

#271

#2710

#2711

#2712

#2713

#2714

#2715

#2716

#2717

#2718

#2719

#272

#2720

#2721

#2722

#2723

#2724

#2725

#2727

#2729

#273

#2732

#2733

#2736

#2737

#2738

#2739

#2741

#2742

#2744

#2748

#2749

#2751

#2752

#2754

#2755

#2757

#2763

#2764

#2765

#2766

#2767

#2768

#277

#2772

#2774

#2775

#2778

#2779

#2781

#2782

#2787

#2788

#279

#279

#2791

#2794

#2795

#2796

#2797

#2798

#280

#2800

#2801

#2802

#2803

#2805

#2806

#2809

#281

#2810

#2811

#2812

#2814

#2815

#2816

#2819

#282

#2821

#2823

#2824

#2827

#283

#2830

#2831

#2833

#2834

#2835

#2837

#2838

#2841

#2842

#2843

#2846

#2849

#285

#2851

#2852

#2854

#2855

#2856

#2857

#2857

#2858

#286

#286

#2860

#2863

#2865

#287

#2870

#2872

#2874

#2874

#2879

#288

#2881

#2883

#2884

#2887

#289

#2890

#2890

#2891

#2892

#2893

#2893

#2894

#2894

#2898

#29

#29

#290

#2904

#2908

#2908

#2910

#2912

#2915

#2917

#2918

#2919

#292

#2922

#2924

#2925

#2925

#2926

#2931

#2932

#2934

#2935

#2944

#2946

#2948

#2951

#2952

#2955

#2956

#2957

#296

#2960

#2962

#2967

#2967

#2968

#2968

#2969

#2971

#2973

#2974

#2975

#2976

#2977

#2984

#2986

#2988

#299

#299

#2992

#2993

#2994

#2996

#2997

#2998

#300

#3003

#3005

#3006

#3009

#3010

#3011

#3012

#3014

#3015

#3016

#3017

#3021

#3022

#3025

#3027

#3032

#3033

#3034

#3035

#3036

#3037

#3039

#304

#3043

#3046

#3047

#305

#3051

#3053

#3053

#3054

#3054

#3056

#3058

#3060

#3061

#3063

#3067

#3072

#3073

#3075

#3078

#3079

#308

#3080

#3085

#3086

#3089

#3090

#3094

#3096

#3096

#3098

#31

#3100

#3101

#3102

#3103

#3104

#3105

#3109

#311

#3110

#3111

#3112

#3113

#3114

#3115

#3117

#312

#3121

#3122

#3124

#3127

#3128

#3130

#3133

#3134

#3135

#3136

#3137

#3138

#3139

#314

#3144

#3146

#3147

#315

#3150

#3151

#3153

#3156

#316

#3161

#3162

#3165

#3166

#3167

#3168

#317

#317

#3170

#3171

#3172

#3175

#3176

#3177

#3178

#3179

#318

#3180

#3181

#3182

#3183

#3186

#3188

#3191

#3192

#3193

#3194

#3195

#3196

#3197

#320

#3200

#3203

#3207

#3209

#321

#321

#3210

#3212

#3213

#3215

#3218

#3219

#3220

#3223

#3224

#3225

#3226

#3227

#3228

#3229

#323

#3230

#3232

#3234

#3236

#3240

#3241

#3242

#3243

#3245

#3246

#3248

#325

#3250

#3251

#3252

#3253

#3254

#3255

#3257

#3259

#3260

#3261

#3264

#3265

#3267

#3268

#327

#3272

#3274

#3275

#3276

#3277

#3278

#3279

#328

#3280

#3281

#3282

#3284

#3287

#329

#3293

#3294

#3295

#3298

#3299

#33

#33

#330

#3303

#3305

#3306

#3307

#3308

#3309

#3311

#3313

#3314

#3317

#3319

#3320

#3322

#3324

#3325

#3326

#3327

#3328

#3329

#333

#3330

#3333

#3335

#3335

#3337

#3338

#3339

#334

#3340

#3340

#3341

#3343

#3344

#3345

#3347

#3348

#3349

#3350

#3351

#3352

#3356

#3358

#3364

#3365

#3373

#338

#3380

#3381

#3382

#3384

#3386

#3387

#339

#3390

#3390

#3392

#3394

#3397

#3398

#3399

#34

#34

#340

#3403

#3407

#3408

#341

#3411

#3412

#3413

#3414

#3416

#3418

#3419

#342

#3421

#3424

#3428

#3429

#3430

#3431

#3432

#3433

#3434

#3437

#3437

#3438

#3440

#3442

#3444

#3445

#3446

#3447

#3448

#345

#3450

#3451

#3452

#3453

#3455

#3456

#3458

#3459

#3461

#3465

#3466

#3467

#3468

#3469

#347

#347

#3470

#3471

#3472

#3475

#3478

#3479

#348

#3480

#3481

#3482

#3483

#3487

#3489

#3493

#3496

#3497

#3498

#35

#35

#3501

#3503

#3504

#3505

#3506

#3508

#3509

#3510

#3513

#3515

#3516

#3517

#3518

#3519

#3520

#3522

#3523

#3524

#3525

#3526

#3527

#3528

#3529

#353

#3530

#3531

#3532

#3533

#3534

#3537

#3538

#3539

#3540

#3541

#3542

#3543

#3545

#3547

#3548

#3551

#3552

#3553

#3557

#3561

#3563

#3565

#3567

#3569

#357

#3572

#3573

#3574

#3574

#3576

#3577

#3578

#3579

#3580

#3581

#3582

#3582

#3586

#3587

#3588

#3589

#3591

#3592

#3593

#3594

#3595

#3596

#3597

#3598

#36

#36

#3600

#3603

#3604

#3605

#3607

#3608

#3609

#361

#361

#3610

#3611

#3613

#3616

#3617

#3619

#362

#3620

#3621

#3626

#3627

#363

#3630

#3632

#3635

#3636

#3637

#3638

#3639

#364

#3640

#3643

#3645

#3646

#3647

#3649

#3650

#3651

#3652

#3653

#3654

#3654

#3660

#3662

#3665

#3666

#3667

#3668

#3669

#3670

#3671

#3672

#3673

#3674

#3676

#3677

#3679

#368

#3681

#3682

#3683

#3684

#3685

#3687

#3688

#369

#3690

#3691

#3692

#3695

#3698

#3699

#3702

#3703

#3704

#3705

#3707

#3708

#3710

#3712

#3713

#3714

#3715

#3716

#3717

#3718

#3719

#3722

#3725

#3726

#3728

#3729

#373

#3730

#3731

#3732

#3733

#3734

#3737

#3738

#374

#3741

#3744

#3745

#3746

#3747

#3748

#3751

#3752

#3753

#3755

#3755

#3756

#376

#3760

#3761

#3762

#3763

#3764

#3765

#3767

#3768

#3769

#377

#3770

#3771

#3773

#3774

#3778

#3779

#378

#378

#3781

#3782

#3785

#3786

#3787

#3788

#3789

#379

#3792

#3793

#3794

#3795

#3796

#3797

#3798

#3799

#380

#3801

#3802

#3804

#3805

#3806

#3807

#3809

#381

#381

#3810

#3811

#3812

#3815

#3816

#3817

#3820

#3822

#3824

#3827

#3831

#3832

#3834

#3836

#3838

#3839

#384

#3840

#3841

#3844

#3845

#3846

#3846

#3847

#3848

#3848

#3849

#3850

#3851

#3852

#3853

#3854

#3855

#386

#3860

#3861

#3863

#3864

#3867

#3869

#3872

#3873

#3873

#3875

#3876

#3878

#3878

#3879

#388

#3880

#3885

#3887

#3889

#389

#3891

#3893

#3894

#3897

#3898

#3899

#39

#390

#390

#3900

#3901

#3902

#3903

#3904

#3908

#3909

#391

#3913

#3914

#3915

#3916

#3917

#392

#3920

#3921

#3925

#3930

#3932

#3933

#3934

#3935

#3935

#3937

#3939

#394

#3941

#3943

#3945

#3946

#3948

#3949

#395

#3951

#3952

#3953

#3954

#3955

#3956

#3957

#3958

#3959

#3960

#3961

#3962

#3964

#3965

#3966

#3967

#3969

#3970

#3971

#3972

#3973

#3976

#3977

#3978

#3979

#398

#3980

#3981

#3982

#3983

#3984

#3986

#3986

#3987

#3988

#3989

#3990

#3992

#3993

#3994

#3998

#4000

#4001

#4002

#4003

#4004

#4007

#4008

#4009

#4010

#4012

#4013

#4014

#4015

#4017

#4018

#402

#402

#4021

#4022

#4023

#4024

#4028

#4029

#403

#4030

#4034

#4036

#4037

#4038

#4039

#404

#4040

#4040

#4041

#4043

#4045

#4046

#4047

#4048

#405

#4050

#4051

#4053

#4054

#4055

#4056

#4058

#406

#4060

#4062

#4063

#4064

#4065

#4066

#4067

#4068

#4069

#407

#4070

#4070

#4072

#4073

#4074

#4077

#4078

#4079

#4080

#4081

#4082

#4083

#4084

#4085

#4088

#4089

#4090

#4091

#4092

#4093

#4094

#4095

#4097

#4098

#4099

#410

#410

#4100

#4101

#4102

#4103

#4104

#4106

#4106

#4108

#4109

#411

#4110

#4112

#4114

#4116

#4117

#4118

#4119

#412

#412

#4121

#4123

#4125

#4127

#4128

#4129

#413

#4132

#4133

#4134

#4138

#4139

#4140

#4141

#4142

#4142

#4143

#4144

#4145

#4146

#4147

#415

#4150

#4152

#4154

#4156

#4157

#4158

#4159

#416

#4160

#4161

#4163

#4165

#4166

#4167

#4168

#4169

#417

#4170

#4171

#4173

#4174

#4175

#4176

#4177

#4178

#4179

#4180

#4181

#4182

#4183

#4184

#4188

#4191

#4195

#4196

#4197

#4198

#4198

#4199

#42

#420

#4200

#4202

#4203

#4206

#4208

#4210

#4211

#4212

#4213

#4218

#4219

#4220

#4222

#4223

#4224

#4225

#4227

#4228

#4229

#423

#423

#4230

#4231

#4232

#4235

#4236

#4238

#4239

#424

#4241

#4243

#4244

#4245

#4249

#4250

#4253

#4256

#4258

#426

#426

#4260

#4261

#4262

#4263

#4265

#4266

#4266

#4267

#4268

#4269

#4271

#4271

#4272

#4273

#4274

#4275

#4276

#4279

#428

#4280

#4281

#4282

#4283

#4284

#4285

#4288

#4289

#4290

#4292

#4293

#4294

#4296

#4297

#4299

#43

#430

#4300

#4301

#4302

#4303

#4304

#4306

#4309

#4310

#4310

#4311

#4311

#4312

#4313

#4313

#4314

#4315

#4317

#4320

#4321

#4324

#4325

#4326

#4327

#4329

#4330

#4335

#4336

#4339

#4340

#4345

#4346

#4348

#4352

#4353

#4354

#4356

#4357

#4358

#4359

#4360

#4362

#4363

#4364

#4365

#4366

#4367

#4369

#4370

#4371

#4372

#4373

#4374

#4376

#4377

#4378

#4379

#4381

#4382

#4384

#4386

#4389

#439

#4391

#4393

#4396

#4398

#4399

#440

#4400

#4401

#4401

#4403

#4405

#4406

#4407

#4409

#4410

#4411

#4412

#4414

#4415

#4415

#4416

#4417

#4418

#4419

#4420

#4420

#4421

#4423

#4424

#4426

#4428

#4430

#4431

#4432

#4433

#4434

#4435

#4436

#4437

#4438

#4440

#4442

#4443

#445

#4450

#4452

#4454

#4455

#4456

#4456

#4458

#446

#446

#4460

#4462

#4468

#4469

#447

#4471

#4472

#4473

#4475

#4476

#4478

#4478

#448

#4480

#4481

#4482

#4483

#4484

#4486

#4487

#4489

#4492

#4494

#4495

#4497

#4498

#4499

#450

#4502

#4504

#4508

#4509

#451

#451

#4512

#4513

#4516

#4518

#4519

#452

#452

#4520

#4522

#4523

#4525

#4526

#4527

#4528

#453

#453

#4530

#4531

#4532

#4534

#4535

#4538

#4539

#454

#4540

#4542

#4543

#4543

#4544

#4544

#4545

#4546

#4549

#4549

#455

#455

#4550

#4551

#4552

#4553

#4554

#4555

#4556

#4557

#4558

#4559

#456

#456

#4560

#4561

#4562

#4563

#4564

#4565

#4566

#4568

#4569

#457

#4570

#4571

#4572

#4573

#4574

#4575

#4576

#4577

#4578

#4580

#4581

#4582

#4584

#4585

#4586

#4588

#4589

#4590

#4591

#4592

#4593

#4595

#4597

#4599

#46

#460

#4600

#4601

#4603

#4604

#4605

#4606

#4608

#4609

#4610

#4611

#4612

#4613

#4614

#4615

#4615

#4616

#4618

#462

#462

#4620

#4621

#4623

#4624

#4625

#4627

#4628

#4630

#4631

#4632

#4634

#4635

#4636

#4637

#4639

#4640

#4642

#4643

#4644

#4645

#4646

#4648

#4649

#465

#465

#4651

#4651

#4652

#4653

#4654

#4655

#4657

#4659

#466

#4660

#4661

#4662

#4663

#4664

#4665

#4666

#4667

#4669

#467

#467

#4674

#4675

#4676

#4677

#4678

#4679

#468

#468

#4680

#4681

#4683

#4684

#4684

#4686

#4687

#4688

#4689

#469

#4691

#4693

#4694

#4697

#470

#470

#4702

#4707

#4708

#471

#471

#4710

#4715

#4716

#4718

#472

#472

#4721

#4722

#4723

#4724

#4725

#4726

#4727

#4728

#473

#473

#4730

#4731

#4732

#4733

#4734

#4735

#4736

#4737

#4738

#4739

#4740

#4741

#4741

#4742

#4743

#4746

#4748

#4749

#475

#4750

#4751

#4752

#4754

#4755

#4756

#4757

#476

#4760

#4762

#4763

#4764

#4765

#4766

#4768

#4769

#477

#4770

#4771

#4772

#4773

#4775

#4776

#4778

#478

#4780

#4781

#4784

#4785

#4786

#4787

#4789

#4790

#4792

#4793

#4794

#4795

#4797

#4798

#4799

#48

#480

#480

#4801

#4802

#4803

#4804

#4805

#4808

#4812

#4813

#4815

#4816

#4817

#4819

#482

#4820

#4822

#4823

#4824

#4826

#4827

#4829

#483

#483

#4830

#4832

#4833

#4834

#4835

#4836

#4837

#4838

#4839

#484

#484

#4841

#4842

#4843

#4845

#4846

#4847

#4848

#4851

#4852

#4853

#4854

#4859

#4861

#4862

#4863

#4865

#4866

#4868

#4869

#4869

#487

#4870

#4872

#4876

#4877

#4878

#4879

#4881

#4883

#4884

#4885

#4885

#4887

#4889

#489

#489

#4890

#4891

#4893

#4895

#4897

#4899

#49

#490

#4901

#4902

#4903

#4904

#4905

#4906

#4907

#491

#491

#4912

#4913

#4915

#492

#4920

#4922

#4924

#4926

#4927

#4928

#4929

#493

#493

#4930

#4931

#4932

#4934

#4935

#4936

#4937

#4938

#4939

#4940

#4941

#4942

#4944

#4949

#495

#4951

#4952

#4953

#4955

#4956

#4957

#4960

#4962

#4964

#4965

#4968

#4969

#497

#4970

#4972

#4975

#4976

#4978

#4979

#4980

#4981

#4983

#4984

#4985

#4986

#4987

#4988

#499

#4990

#4991

#4992

#4994

#4996

#4999

#5004

#5005

#5007

#5008

#5010

#5012

#5014

#5017

#5018

#5019

#5020

#5021

#5026

#5029

#503

#5030

#5031

#5033

#5034

#5035

#5036

#5037

#5038

#504

#5041

#5043

#5044

#5045

#5048

#5049

#505

#5050

#5051

#5052

#5054

#5055

#5056

#5057

#5058

#506

#5060

#5065

#5066

#5067

#5068

#5069

#5070

#5071

#5072

#5074

#5076

#5077

#5078

#5078

#5080

#5081

#5083

#5084

#5086

#5088

#5089

#509

#509

#5090

#5091

#5094

#5094

#5095

#5095

#5096

#5097

#5098

#5099

#51

#510

#5100

#5101

#5102

#5103

#5104

#5105

#5105

#5107

#5108

#5109

#5115

#5117

#5118

#5119

#5121

#5123

#5124

#5126

#5128

#5129

#5130

#5130

#5131

#5133

#5134

#5134

#5135

#5136

#5139

#5140

#5141

#5142

#5144

#5145

#5147

#5148

#515

#5151

#5154

#5155

#5156

#5159

#516

#516

#5160

#5164

#5166

#5168

#5169

#5170

#5171

#5172

#5173

#5174

#5175

#5176

#5177

#5178

#5179

#518

#5180

#5181

#5182

#5186

#5189

#519

#519

#5190

#5191

#5192

#5193

#5194

#5195

#5196

#5198

#5199

#5200

#5204

#5205

#5206

#5208

#5211

#5213

#5214

#5215

#5217

#5218

#522

#5220

#5222

#5225

#5226

#5227

#5228

#5229

#523

#5230

#5232

#5233

#5234

#5235

#5236

#5237

#5238

#5239

#524

#524

#5240

#5242

#5243

#5244

#5247

#5247

#5248

#525

#525

#5250

#5252

#5254

#5255

#5258

#5259

#526

#5262

#5264

#5265

#5266

#5267

#5268

#5269

#527

#527

#5270

#5271

#5272

#5273

#5274

#5275

#5276

#5277

#5278

#5279

#528

#528

#5280

#5281

#5282

#5284

#5286

#5286

#5290

#5293

#5294

#5296

#5297

#5298

#5299

#5300

#5302

#5303

#5304

#5305

#5306

#5307

#5308

#5309

#531

#531

#5310

#5311

#5312

#5313

#5314

#5315

#5316

#5317

#5318

#5319

#5321

#5322

#5323

#5324

#5325

#5326

#5327

#5329

#5330

#5331

#5332

#5333

#5334

#5335

#5336

#5337

#5338

#5339

#5340

#5341

#5342

#5343

#5344

#5345

#5347

#5348

#5349

#535

#535

#5350

#5351

#5352

#5353

#5354

#5355

#5356

#5357

#5358

#5359

#5361

#5362

#5364

#5365

#5366

#5367

#5368

#5369

#537

#537

#5370

#5371

#5372

#5373

#5373

#5374

#5376

#5377

#5379

#538

#538

#5380

#5381

#5382

#5383

#5384

#5385

#5386

#5387

#5388

#5389

#5390

#5391

#5392

#5393

#5394

#5396

#5396

#5397

#5400

#5400

#5401

#5402

#5403

#5404

#5406

#5407

#5408

#5409

#5410

#5412

#5413

#5415

#5416

#5417

#5418

#5419

#542

#5420

#5422

#5423

#5424

#5425

#5427

#5428

#5429

#543

#543

#5430

#5431

#5432

#5434

#5435

#5436

#5437

#5438

#5439

#544

#5440

#5441

#5442

#5443

#5444

#5445

#5446

#5447

#5448

#5449

#5450

#5451

#5453

#5455

#5456

#5457

#5458

#5459

#5460

#5461

#5462

#5463

#5464

#5465

#5466

#5468

#5469

#5471

#5472

#5473

#5474

#5475

#5476

#5477

#5478

#5479

#5480

#5481

#5482

#5483

#5484

#5485

#5486

#5487

#5488

#5489

#5490

#5492

#5493

#5494

#5496

#5497

#5497

#5499

#5500

#5501

#5502

#5503

#5505

#5506

#5507

#5508

#5509

#5510

#5511

#5512

#5513

#5514

#5515

#5516

#5517

#5518

#5519

#552

#552

#5522

#5523

#5524

#5525

#5526

#5527

#5528

#5529

#553

#5530

#5531

#5532

#5532

#5534

#5534

#5535

#5536

#5537

#5538

#5539

#554

#554

#5540

#5541

#5543

#5544

#5545

#5546

#5547

#5548

#5551

#5552

#5553

#5554

#5555

#5556

#5557

#5558

#5559

#556

#556

#5560

#5561

#5562

#5564

#5567

#5568

#5569

#5570

#5571

#5572

#5573

#5574

#5575

#5576

#5578

#5579

#5580

#5581

#5584

#5585

#5586

#5587

#5589

#5589

#5590

#5592

#5593

#5594

#5595

#5597

#5598

#5599

#5600

#5602

#5603

#5605

#5606

#5606

#5609

#561

#561

#5610

#5611

#5612

#5613

#5614

#5615

#5616

#5617

#5618

#562

#562

#5620

#5623

#5624

#5625

#5626

#5627

#5628

#563

#563

#5630

#5630

#5631

#5632

#5635

#5636

#564

#5640

#5641

#5642

#5643

#5644

#5645

#5646

#5647

#5648

#5649

#5651

#5653

#5654

#5655

#5656

#5657

#5658

#5659

#566

#5660

#5661

#5662

#5663

#5664

#5668

#5670

#5671

#5673

#5674

#5675

#5677

#5678

#5679

#568

#5680

#5680

#5682

#5684

#5686

#5686

#5687

#5688

#5688

#5689

#569

#569

#5690

#5691

#5692

#5694

#5695

#5696

#5697

#5699

#5700

#5702

#5703

#5704

#5705

#5708

#5708

#5709

#5709

#571

#5710

#5710

#5711

#5713

#5714

#5715

#5716

#5717

#5718

#5719

#5720

#5722

#5724

#5725

#5725

#5726

#5726

#5727

#5728

#5729

#5729

#573

#5730

#5731

#5732

#5733

#5733

#5735

#5736

#5737

#5738

#5739

#574

#5740

#5741

#5742

#5743

#5745

#5746

#5747

#5748

#5749

#5750

#5750

#5751

#5752

#5754

#5755

#5756

#5757

#5758

#5759

#576

#5761

#5762

#5762

#5763

#5764

#5765

#5765

#5766

#5767

#5768

#577

#5771

#5771

#5772

#5774

#5775

#5776

#5777

#5778

#5779

#5780

#5780

#5783

#5784

#5784

#5785

#5785

#5786

#5786

#5787

#5788

#5789

#5790

#5792

#5792

#5794

#5794

#5795

#5796

#5796

#58

#580

#581

#582

#585

#587

#587

#588

#590

#590

#591

#592

#592

#595

#595

#597

#598

#60

#600

#601

#602

#603

#604

#608

#608

#609

#610

#613

#614

#617

#622

#623

#623

#624

#627

#628

#631

#631

#632

#632

#633

#634

#635

#636

#638

#641

#646

#648

#648

#649

#649

#65

#650

#650

#651

#651

#654

#660

#661

#663

#663

#664

#666

#667

#669

#67

#673

#674

#676

#677

#678

#679

#68

#680

#682

#682

#683

#683

#684

#685

#685

#687

#688

#689

#69

#690

#691

#693

#698

#699

#700

#701

#702

#71

#711

#711

#712

#713

#713

#714

#714

#718

#718

#720

#725

#726

#726

#728

#728

#73

#731

#734

#734

#735

#737

#737

#738

#74

#741

#744

#746

#747

#747

#750

#753

#755

#756

#759

#76

#768

#77

#772

#773

#774

#774

#776

#777

#777

#778

#778

#78

#780

#780

#782

#782

#786

#786

#788

#789

#79

#792

#793

#794

#796

#797

#797

#798

#798

#799

#799

#80

#800

#800

#803

#804

#804

#806

#808

#808

#81

#811

#812

#812

#815

#817

#817

#818

#82

#821

#821

#822

#823

#825

#827

#829

#829

#83

#831

#832

#834

#835

#836

#838

#84

#843

#844

#845

#846

#846

#848

#85

#850

#850

#851

#855

#856

#856

#86

#860

#860

#863

#863

#865

#866

#867

#869

#869

#87

#870

#871

#873

#873

#875

#875

#876

#879

#881

#881

#882

#882

#883

#885

#886

#887

#887

#889

#89

#892

#893

#894

#896

#897

#899

#90

#900

#902

#904

#906

#907

#909

#911

#912

#913

#914

#914

#915

#916

#920

#920

#921

#923

#924

#924

#925

#925

#926

#926

#927

#929

#931

#933

#935

#936

#937

#94

#940

#944

#946

#949

#950

#950

#951

#952

#955

#955

#956

#957

#957

#958

#958

#959

#960

#961

#964

#966

#967

#969

#97

#970

#971

#972

#973

#978

#98

#98

#980

#980

#981

#983

#983

#985

#989

#991

#991

#993

#994

#995

#996

#997

#997

v1.0.0

v1.0.1

v1.0.2

v1.0.3

v1.0.4

v1.0.5

v1.0.6

v1.0.7

v1.1.0

v1.10.0

v1.11.0

v1.11.0-rc.1

v1.12.0

v1.12.0-rc.1

v1.12.0-rc.2

v1.2.0

v1.3.0

v1.4.0

v1.5.0

v1.6.0

v1.7.0

v1.8.0

v1.9.0

v1.9.1

v1.9.2

v1.9.3

v1.9.4

v2.0.0

v2.0.0-rc.1

v2.0.0-rc.2

v2.0.0-rc.3

v2.0.0-rc.4

v2.0.1

v2.0.2

v2.1.0-rc.1

v2.1.0-rc.2

v2.1.1

v2.1.2

v2.1.3

v2.2.0

v2.2.0-rc.1

v2.2.1

v2.2.2

v2.2.3

v2.3.0

v2.3.0-rc.0

v2.3.0-rc.1

v2.3.0-rc.2

v2.3.0-rc.3

v2.4.0

v2.4.0-beta.0

v2.4.0-beta.1

v2.4.0-beta.2

v2.5.0

v2.5.0-rc.0

v2.5.1

v3.0.0

v3.0.0-beta.0

v3.0.0-rc.0

v3.0.0-rc.1

v3.0.1

v3.0.2

v3.1.0

v3.1.0-rc.0

v3.1.0-solc-0.7

v3.2.0

v3.2.0-rc.0

v3.2.1-solc-0.7

v3.2.2-solc-0.7

v3.3.0

v3.3.0-rc.0

v3.3.0-rc.1

v3.3.0-rc.2

v3.3.0-solc-0.7

v3.4.0

v3.4.0-rc.0

v3.4.0-solc-0.7

v3.4.1

v3.4.1-solc-0.7

v3.4.1-solc-0.7-2

v3.4.2

v3.4.2-solc-0.7

v4.0.0

v4.0.0-beta.0

v4.0.0-beta.1

v4.0.0-rc.0

v4.1.0

v4.1.0-rc.0

v4.2.0

v4.2.0-rc.0

v4.3.0

v4.3.0-rc.0

v4.3.1

v4.3.2

v4.3.3

v4.4.0

v4.4.0-rc.0

v4.4.0-rc.1

v4.4.1

v4.4.2

v4.5.0

v4.5.0-rc.0

v4.5.1

v4.5.2

v4.6.0

v4.6.0-rc.0

v4.7.0

v4.7.0-rc.0

v4.7.1

v4.7.2

v4.7.3

v4.8.0

v4.8.0-rc.0

v4.8.0-rc.1

v4.8.0-rc.2

v4.8.1

v4.8.2

v4.8.3

v4.9.0

v4.9.0-rc.0

v4.9.0-rc.1

v4.9.1

v4.9.2

v4.9.3

v4.9.4

v4.9.5

v4.9.6

v5.0.0

v5.0.0-rc.0

v5.0.0-rc.1

v5.0.0-rc.2

v5.0.1

v5.0.2

v5.1.0

v5.1.0-rc.0

v5.1.0-rc.1

v5.2.0

v5.2.0-rc.0

v5.2.0-rc.1

v5.3.0

v5.3.0-rc.0

v5.4.0-rc.0

v5.4.0-rc.1

Mono Color

• f6db5c1f30 A function which returns the absolute value of a signed value (#2984) barakman 2021-11-24 14:09:05 +01:00
• 2f2604d673 Deprecate presets in favor of Wizard (#2986) Francisco Giordano 2021-11-24 06:14:14 -03:00
• 0894724496 all rules checked no structure organization Michael M 2021-11-23 16:57:14 +02:00
• 9344f697f9 removed oneUserVotesInCast Aleksander Kryukov 2021-11-23 16:33:28 +02:00
• 4c3ad9c95a GovernorCountingSimple cleaning Aleksander Kryukov 2021-11-23 15:27:22 +02:00
• 38e42f92c2 helperFunctionArgumentEnv Aleksander Kryukov 2021-11-23 12:52:51 +02:00
• c38babecd9 helper function name change Michael M 2021-11-23 12:47:21 +02:00
• e01b285780 helper function fix plus reviewing up to noExecuteOrCancelBeforeDeadline including Michael M 2021-11-23 11:48:58 +02:00
• 1b4fb6c758 callPropose and castVoteWithReason removed Michael M 2021-11-23 11:48:07 +02:00
• 95321a3516 done up to noStartBeforeCreation including Michael M 2021-11-22 17:35:13 +02:00
• 0413d58860 add bug bounty info Hadrien Croubois 2021-11-22 15:02:44 +01:00
• 86bd4d7389 add bug bounty info Hadrien Croubois 2021-11-22 15:02:44 +01:00
• ff8e17ec2f removedHarnessesAnsSummariesAddedComments Aleksander Kryukov 2021-11-22 12:17:41 +02:00
• 37fe8c292a FixinigTimeoutsAndTotalVotes Aleksander Kryukov 2021-11-22 09:51:11 +02:00
• cd703a5ee0 cleaned up to doubleVoting (not included) Michael M 2021-11-21 18:03:11 +02:00
• 167f175f3a harness _execute() Michael M 2021-11-21 18:02:26 +02:00
• a14abd0276 hashProposal summarization removed Michael M 2021-11-20 02:06:01 +02:00
• 0fbf745efe noVoteForSomeoneElse fix Michael M 2021-11-20 01:52:06 +02:00
• 92f5f0dfbb TryingToFixRules Aleksander Kryukov 2021-11-19 20:13:06 +02:00
• 52d42d6e03 Improve docs wording on constructors and proxies (#2935) Bogdan A 2021-11-19 20:08:56 +02:00
• 0cbb98b92c uncommenting hook for oneUserVotesInCast Michael M 2021-11-18 16:42:32 +02:00
• 4c8642b70a Update lockfile (#2932) renovate[bot] 2021-11-18 11:29:08 -03:00
• 9f2a672240 moving updateQuorumNumerator to GovernorBase Michael M 2021-11-18 15:46:56 +02:00
• 0ecb5fce78 fix for oneUserVotesInCast Michael M 2021-11-18 15:43:21 +02:00
• 65af47d90d added filters to revert if exec and revert if canceled Michael M 2021-11-18 15:39:18 +02:00
• a57e638f57 Improve GovernorTimelockControl.state() to detect direct cancel (#2977) Hadrien Croubois 2021-11-18 13:53:05 +01:00
• a4cee9ed37 make setters in GovernorSettings virtual Hadrien Croubois 2021-11-18 10:15:48 +01:00
• 6e5bf05211 make setters in GovernorSettings virtual Hadrien Croubois 2021-11-18 10:15:48 +01:00
• f7049de567 envfreeViolationFix Aleksander Kryukov 2021-11-18 10:12:13 +02:00
• 61b011869c AddedLinkAndFixingGhost Aleksander Kryukov 2021-11-17 16:00:16 +02:00
• a33b9b2bb0 FixedERC20VotesIssue Aleksander Kryukov 2021-11-17 13:33:43 +02:00
• 44113d58f5 NewWizardHarness Aleksander Kryukov 2021-11-17 11:56:24 +02:00
• eb27bdd282 MoreRulesAndFixesOfExistedRules Aleksander Kryukov 2021-11-16 19:53:07 +02:00
• daad23b3a7 comment noVoteForSomeoneElse Michael M 2021-11-16 18:35:09 +02:00
• 1da0a4ae7d allFunctionsRevertIfExecuted, allFunctionsRevertIfCanceled, executedOnlyAfterExecuteFunc passing as intended Michael M 2021-11-16 18:33:49 +02:00
• 5833f52879 Harness of castVoteWithReason to be able to impose requirement on the proposal ID Michael M 2021-11-16 18:32:38 +02:00
• 65ef662a2b 4.4.0-rc.1 v4.4.0-rc.1 Francisco Giordano 2021-11-16 10:23:53 -03:00
• 8b8ee57a1a Make quorum behavior match GovernorBravo (#2974) Francisco Giordano 2021-11-16 09:24:22 -03:00
• a94cf0509f Make quorum behavior match GovernorBravo (#2974) Francisco Giordano 2021-11-16 09:24:22 -03:00
• cf6e32fc54 Fix Timelock Controller description typo (#2960) Wittawat Patcharinsak 2021-11-11 20:49:53 +07:00
• 3a3e643eb9 Fix typo and reframed a sentence (#2951) Bhaskar Kashyap 2021-11-09 03:35:32 +05:30
• 462d6fa2b2 Grammar correction in utilities doc (#2952) Bhaskar Kashyap 2021-11-09 03:34:44 +05:30
• 70138680cf Fix ERC1155 supply tracking (#2956) Hadrien Croubois 2021-11-08 22:47:21 +01:00
• a16eaebb25 ManyNonWorkingRules Aleksander Kryukov 2021-11-15 18:22:36 +02:00
• d297280617 oneUserVoteInCast, noVotesForSomeoneElse Michael M 2021-11-15 18:00:04 +02:00
• eee306acda commenting helper function, executed only after exec, func revert if canceled or executed Michael M 2021-11-15 17:58:36 +02:00
• c0a257fa0c overriding castVoteWithReason Michael M 2021-11-15 17:56:30 +02:00
• c6365ef868 creating new ghost for 26 b Aleksander Kryukov 2021-11-14 15:44:29 +02:00
• 54fa59f879 proposeInitialized done Aleksander Kryukov 2021-11-14 15:33:30 +02:00
• 2baa9bd801 Merge branch 'certora/governor' of https://github.com/Certora/openzeppelin-contracts into certora/governor Aleksander Kryukov 2021-11-12 16:42:55 +02:00
• a858ed7a2a codeCleaningNumberIDontKnow Aleksander Kryukov 2021-11-12 14:12:03 +02:00
• 921c668a59 reorganization + violated rules Michael M 2021-11-12 09:02:51 +02:00
• 0598a3ac43 CountingSimpleMoreCleanAndAddedMoreRules Aleksander Kryukov 2021-11-11 17:28:22 +02:00
• 0d724ca892 Cleaned harness + callPropose Michael M 2021-11-10 15:26:29 +02:00
• b948e70258 aesthetic Michael M 2021-11-10 15:10:37 +02:00
• 5267eaac81 Changed deltaWeight type from uint to uin256 Michael M 2021-11-10 15:07:34 +02:00
• 9b4634bebe FixedTypoInEnvfreeWord Aleksander Kryukov 2021-11-09 21:09:54 +02:00
• f8a54d2ae2 RemovedInsertedBugForSumRule Aleksander Kryukov 2021-11-09 15:16:44 +02:00
• 92744a195a specificSpecForSumRule Aleksander Kryukov 2021-11-09 15:10:07 +02:00
• bc9bbc2431 FirstWizardHarness Aleksander Kryukov 2021-11-09 11:18:23 +02:00
• 16e101bba9 cannot set if executed and canceled as rules (not working) Michael M 2021-11-08 20:16:53 +02:00
• 861fab8589 ghosts and invariant unfinished Michael M 2021-11-08 19:00:22 +02:00
• 8ed7f965bb added ghost and counter implementation for castWithReason and castBySig Michael M 2021-11-08 17:57:53 +02:00
• 53d4006806 fixed function revert if executed Michael M 2021-11-08 17:51:28 +02:00
• 2761ec0b66 MoreRulesToTheGodOfRules Aleksander Kryukov 2021-11-08 17:18:36 +02:00
• d5c6520e4d idea for sum of votes Michael M 2021-11-08 15:57:53 +02:00
• 5ea1cc7a8a added invariants if executed or canceled always revert Michael M 2021-11-08 15:57:19 +02:00
• c50cb000dd fix simple vote end before start Shelly Grossman 2021-11-08 14:57:51 +02:00
• d4b9e9ab80 someCleaning Aleksander Kryukov 2021-11-08 11:44:04 +02:00
• 85b65befd5 WorkInProgress Aleksander Kryukov 2021-11-07 17:55:03 +02:00
• 77efd53f0c checkingInvariantsWithoutGhosts Aleksander Kryukov 2021-11-04 17:54:26 +02:00
• 364da56ab4 quotes on var in msg Michael M 2021-11-04 15:03:28 +02:00
• 9298482163 scripts settings added Aleksander Kryukov 2021-11-04 12:54:23 +02:00
• 91f8919876 hooks fixed Michael M 2021-11-04 12:35:37 +02:00
• 6323c9a73d slight changes in scripts + disableLocalTypeChecking Michael M 2021-11-04 12:35:11 +02:00
• c08a73a6ca Harness private to public Michael M 2021-11-04 12:29:04 +02:00
• 547e7a8308 Harness private to public Michael M 2021-11-04 11:51:14 +02:00
• 6307b3bb64 slight changes change for convenience + disableLocalTypeChecking flag for the hooks Michael M 2021-11-04 11:50:40 +02:00
• 32ab301c9d Hooks fixed Michael M 2021-11-04 11:48:55 +02:00
• 788d4672d7 slight script changes and ghost fix Michael M 2021-11-04 11:27:44 +02:00
• 1c35a7dad0 multiple inheritance is tricky x2 Aleksander Kryukov 2021-11-03 17:24:35 +02:00
• 2d33674870 multiple inheritance is tricky Shelly Grossman 2021-11-03 17:09:27 +02:00
• e810379262 sanity rule preparations Aleksander Kryukov 2021-11-03 17:05:06 +02:00
• d6036f9291 ignore certora's generated files Aleksander Kryukov 2021-11-02 14:01:48 +02:00
• ea6baf2220 rule drafts Shelly Grossman 2021-10-07 11:58:47 +03:00
• a0cb8cd446 fixes Shelly Grossman 2021-09-26 01:43:16 +03:00
• 8494fe20bc fixes Shelly Grossman 2021-09-26 01:39:27 +03:00
• 4a0077d685 Back to expected pattern? Shelly Grossman 2021-09-26 00:25:59 +03:00
• 9a194f24b8 start work on governor Shelly Grossman 2021-09-26 00:21:08 +03:00
• 4337957a6b codeCleaningNumberIDontKnow Aleksander Kryukov 2021-11-12 14:12:03 +02:00
• 2ecba5326b reorganization + violated rules Michael M 2021-11-12 09:02:51 +02:00
• 8d7a871609 4.3.3 v4.3.3 release-v4.3 Francisco Giordano 2021-11-11 13:04:38 -03:00
• 2a0532dacc CountingSimpleMoreCleanAndAddedMoreRules Aleksander Kryukov 2021-11-11 17:28:22 +02:00
• e63b09c9ad Fix Timelock Controller description typo (#2960) Wittawat Patcharinsak 2021-11-11 20:49:53 +07:00
• f2c352366a Merge pull request #1 from OpenZeppelin/master Michael Morami 2021-11-11 11:27:32 +02:00
• b52832ca7f Cleaned harness + callPropose Michael M 2021-11-10 15:26:29 +02:00
• eb87bb4822 aesthetic Michael M 2021-11-10 15:10:37 +02:00
• 52924aaec0 Changed deltaWeight type from uint to uin256 Michael M 2021-11-10 15:07:34 +02:00
• 85855b8cc7 FixedTypoInEnvfreeWord Aleksander Kryukov 2021-11-09 21:09:54 +02:00
• 3db4393b58 Fix link to #2849 in changelog Francisco Giordano 2021-11-09 15:39:58 -03:00