Commit Graph

Select branches

Hide Pull Requests

aki/clang_tidy

aki/wire_limit

backends/verilog/verilog_backend.cc

cat/cmake

claire/ipc

claire/toposort

claire/vay

copilot/find-signal-source-witness

docs-preview-ci

docs-preview-contributing_help

eddie/clean_unused_init

efb

emil/aiger-no_version

emil/aigerparse-defer

emil/ast-ownership-less-state

emil/break-dict-order

emil/bufnorm-jix-refactor

emil/bufnorm-notes

emil/c-slow-init-again

emil/cell-playground

emil/cell-playground-3

emil/check-harder

emil/check-harder-fix-tests

emil/codeowners-verilog-ast

emil/debug-ubsan

emil/dffsr-sr-correct-dfflibmap

emil/equiv_induct-missing-model-error

emil/fix-dangling-wiretype-2

emil/fix-design-lifetime-with-pyosys

emil/fix-x-check_opt

emil/fix-xaiger2-empty-cell-input-broken-test

emil/gowin-oce-not-const

emil/json-wide

emil/log-deprecated-temp

emil/main-nohash

emil/make-test-faster

emil/mike-liberty-paren-rebased

emil/mlir-roundtrip

emil/modindex-unordered-map

emil/muxpack-fix-chain

emil/nix

emil/nix-brokey

emil/nix-ccache

emil/nix-cross-compile

emil/no-sort-ever

emil/opensta-verilog-export-liberty-stubber

emil/opt_expr-limit-effort

emil/opt_expr-limit-effort-refactor

emil/parallel-opt-clean-comments

emil/parallel-opt-merge-refactor

emil/patcher

emil/plugin-dir-fhs

emil/priority-dffsr

emil/proc_rmdead-limit-effort

emil/proc_rom-src-test

emil/quicklogic-dspv1-extra-fracturable-model

emil/quicklogic-macc-dspv2

emil/quicklogic-simd-dspv2

emil/quicklogic-sv-empty-param-workaround

emil/refactor-hierarchy

emil/repro-test-dffe-dfflibmap

emil/satgen-fix-ff

emil/segfault-command

emil/segfault-test-abc

emil/signorm

emil/sigspec-hell

emil/sigspec-union

emil/sigspec-union-nohash

emil/small-astnode

emil/special-src-attribute

emil/src-attribute-std-string

emil/src-locations-story

emil/stub-sdc-interpreter

emil/swap-disposable

emil/tag-dict-inherit

emil/test-make-target-times

emil/tracy

emil/verific-initvals-bits

emil/wreduce-db-mystery

gcc_16

gh-readonly-queue/main/pr-5655-74fef31bf2955c1b57cabf0eeb65543854a7c72f

gus/read-verilog-signedness-bugs

gus/rename-symbiyosys-to-sby

gus/sim-with-vcd-tuneup

jix/pr5243

jix/pr5266-rebase

jix/pr5304

jix/pr5324

jix/prerelease-2025-02-12

krys/analogdevices-memory

krys/ast_ownership_on_wasi

krys/ast_ownership_with_old_bison

krys/bad-build-yosys

krys/cell_type_selections

krys/dont_skip_pushes

krys/fix-4427

krys/fix_4927

krys/help_content_ownership

krys/memlib_ubsan

krys/no-lto

krys/no_brew_tcl

krys/ql-tests

krys/quoted_strings

krys/symfpu

krys/update_gcc

krys/verific_indices

krys/verific_memsize

krys/windows-2022

krys/yosyshq-only-jobs

lofty/abc-refactor-1

lofty/abc-refactor-1a

lofty/abc9-by-default

lofty/abc9-name-preservation

lofty/abc9-output-conflict

lofty/abc9-refactor-5

lofty/analogdevices-weights

lofty/document-new-synth-script

lofty/gatemate-abc_new

lofty/gatemate-no-const-mult

lofty/intel_alm-memory_libmap

lofty/ql-oopsie

lofty/quicklogic-mem-clk

lofty/remove-abc-lut

lofty/xilinx-dress

log-sink

macc_v2

main

micko/cmake

micko/cmake-ci

mmicko/orig_params

mmicko/verific

nak/hdlname_consistency

nella/abc_new_tests

nella/arith_tree_improvements

nella/csa-orfs-eval

nella/fast-celltypes

nella/fix-signedness-4402

nella/fix-signedness-5745

nella/lib-fix

nella/opt_dff_elim_improvements

nella/refactor-hierarchy

pmux_on2-ast

ql-dspv2-flag

ql_mince

static_lib

verific-improvements

#1

#1

#10

#10

#1000

#1003

#1004

#1005

#1007

#1008

#1010

#1011

#1012

#1013

#1017

#1019

#1021

#1024

#1025

#1026

#1027

#1029

#1030

#1031

#1032

#1035

#1036

#1038

#1041

#1042

#1043

#1044

#1045

#1046

#1048

#1049

#1050

#1051

#1057

#1060

#1061

#1062

#1066

#1067

#1068

#1071

#1072

#1073

#1075

#1076

#1077

#1078

#1079

#108

#1082

#1085

#1086

#1097

#1098

#110

#1100

#1104

#1105

#1106

#1107

#1108

#1109

#1110

#1111

#1112

#1116

#1117

#1119

#1121

#1122

#1123

#1124

#1129

#1130

#1133

#1136

#1137

#1138

#1139

#1140

#1141

#1142

#1143

#1146

#1147

#1148

#1149

#115

#1150

#1152

#1153

#1154

#1156

#1158

#1159

#116

#1160

#1162

#1163

#1164

#1166

#1167

#1168

#1169

#1170

#1171

#1172

#1174

#1175

#1177

#1179

#1180

#1181

#1182

#1183

#1184

#1185

#1186

#1188

#1189

#119

#1190

#1191

#1194

#1195

#1196

#1197

#1198

#1199

#12

#1200

#1202

#1203

#1204

#1207

#1208

#1209

#1212

#1213

#1214

#1215

#1218

#1219

#1222

#1224

#1226

#1227

#1228

#1232

#1233

#1234

#1236

#1238

#1239

#1240

#1241

#1242

#1248

#1249

#1250

#1251

#1252

#1253

#1255

#1257

#1258

#1260

#1261

#1263

#1264

#1266

#1267

#1270

#1272

#1274

#1275

#1276

#1277

#1280

#1281

#1282

#1283

#1285

#1288

#1289

#1290

#1292

#1294

#1295

#1296

#1297

#1298

#1299

#130

#1300

#1301

#1302

#1303

#1304

#1305

#1306

#1308

#1309

#1310

#1312

#1313

#1314

#1315

#1316

#1317

#1318

#1319

#1320

#1321

#1322

#1325

#1326

#1327

#1328

#1330

#1332

#1333

#1334

#1335

#1336

#1337

#1338

#1339

#1340

#1342

#1343

#1344

#1346

#1347

#1349

#1350

#1351

#1352

#1354

#1355

#1356

#1359

#136

#1362

#1363

#1366

#1367

#137

#1370

#1373

#1374

#1375

#1376

#1377

#1378

#1379

#138

#1380

#1384

#1386

#1389

#139

#1392

#1393

#1395

#1396

#1397

#1398

#1399

#1401

#1402

#1404

#1406

#1408

#1409

#141

#1411

#1412

#1413

#1414

#1416

#1417

#1419

#142

#1420

#1421

#1422

#1423

#1425

#1426

#1428

#1429

#143

#1430

#1431

#1432

#1433

#1434

#1435

#1436

#1437

#1438

#1439

#144

#1442

#1443

#1444

#1445

#1446

#1448

#1449

#145

#1450

#1452

#1454

#1455

#1457

#1465

#1466

#147

#1470

#1472

#1483

#1484

#1485

#1486

#1488

#1489

#149

#1490

#1492

#1494

#1495

#1497

#1498

#1499

#150

#1501

#1502

#1503

#1504

#1505

#1507

#1508

#1509

#1510

#1511

#1513

#1514

#1515

#1516

#1517

#1518

#1519

#1520

#1521

#1522

#1524

#1526

#1527

#1528

#1529

#1533

#1534

#1535

#1536

#1537

#1538

#1539

#154

#1540

#1542

#1544

#1545

#1551

#1553

#1554

#1555

#1557

#1558

#1559

#1562

#1563

#1564

#1566

#1567

#1568

#1569

#157

#1571

#1572

#1573

#1574

#1575

#1576

#1577

#1578

#1581

#1582

#1584

#1585

#1586

#1587

#1588

#1589

#159

#1590

#1591

#1593

#1598

#1599

#16

#1600

#1601

#1602

#1603

#1604

#1605

#1606

#1607

#1608

#1609

#1611

#1613

#1616

#1617

#1618

#1619

#162

#1620

#1621

#1622

#1623

#1624

#1625

#1627

#1628

#1629

#1632

#1633

#1635

#1636

#1637

#1638

#1639

#1642

#1643

#1645

#1647

#1648

#1650

#1651

#1652

#1654

#1656

#1657

#1658

#1659

#1660

#1661

#1662

#1665

#1666

#1667

#1668

#1669

#1670

#1671

#1672

#1673

#1674

#1677

#1678

#1679

#1680

#1681

#1682

#1683

#1684

#1685

#1686

#1687

#1691

#1694

#1695

#1696

#1699

#17

#170

#1700

#1701

#1702

#1703

#1705

#1706

#1707

#1708

#1709

#1715

#1716

#1718

#172

#1721

#1722

#1724

#1725

#1726

#1727

#1729

#1730

#1731

#1732

#1735

#1739

#1741

#1742

#1743

#1744

#1746

#1747

#1749

#1751

#1753

#1754

#1755

#1756

#1757

#1759

#1761

#1763

#1764

#1765

#1766

#1767

#1768

#1769

#1770

#1771

#1773

#1774

#1775

#1776

#1777

#1778

#1779

#1780

#1782

#1783

#1784

#1785

#1786

#1787

#1788

#1789

#1790

#1791

#1794

#1795

#1796

#1797

#180

#1803

#1805

#1806

#181

#1811

#1812

#1814

#1815

#1816

#1816

#1818

#1827

#1828

#1829

#1830

#1831

#1832

#1833

#1835

#184

#1840

#1842

#1843

#1844

#1845

#1846

#1848

#1849

#1850

#1851

#1852

#1853

#1857

#1858

#1859

#1861

#1862

#1863

#1864

#1865

#1866

#1867

#1868

#1869

#1870

#1871

#1872

#1873

#1874

#1875

#1877

#1878

#1879

#1880

#1881

#1882

#1883

#1884

#1885

#1886

#1887

#1888

#1889

#189

#1890

#1893

#1894

#1896

#1897

#1898

#1900

#1901

#1902

#1903

#1904

#1907

#1909

#191

#1910

#1913

#1915

#1916

#1917

#1918

#1921

#1922

#1923

#1924

#1925

#1926

#1927

#1928

#1929

#193

#1930

#1932

#1933

#1934

#1935

#1936

#1937

#1938

#1939

#1941

#1943

#1945

#1946

#1947

#1949

#1950

#1951

#1952

#1954

#1955

#1957

#1961

#1963

#1964

#1967

#1968

#1969

#1971

#1972

#1973

#1974

#1975

#1976

#1977

#1978

#1979

#198

#1981

#1982

#1983

#1984

#1985

#1986

#1987

#1988

#1989

#1992

#1993

#1994

#1995

#1996

#1997

#1998

#1999

#2

#2

#20

#200

#2000

#2001

#2002

#2005

#2006

#2007

#2008

#201

#201

#2010

#2012

#2013

#2014

#2015

#2016

#2017

#2018

#2019

#2022

#2023

#2024

#2025

#2026

#2027

#2028

#2029

#203

#2031

#2033

#2034

#2038

#2041

#2044

#2045

#2046

#2049

#2050

#2051

#2052

#2054

#2055

#2056

#2057

#2059

#2063

#2064

#2066

#2067

#2070

#2072

#2073

#2074

#2075

#2076

#2076

#2077

#2078

#2079

#2080

#2081

#2082

#2083

#2084

#2085

#2086

#2087

#2088

#2089

#2090

#2091

#2092

#2093

#2095

#2096

#2097

#2098

#2099

#21

#2101

#2102

#2104

#2105

#2107

#2108

#2109

#2110

#2112

#2113

#2115

#2116

#2117

#2119

#2120

#2121

#2122

#2125

#2126

#2128

#2130

#2131

#2132

#2133

#2134

#2135

#2136

#2138

#2139

#2140

#2141

#2142

#2145

#2146

#2147

#2148

#2149

#215

#2150

#2151

#2152

#2153

#2154

#2155

#2156

#2158

#2159

#216

#216

#2160

#2163

#2164

#2167

#2168

#2170

#2171

#2172

#2173

#2174

#2175

#2177

#2178

#2179

#2180

#2181

#2182

#2184

#2185

#2186

#2188

#2189

#2192

#2193

#2195

#2197

#2199

#22

#2200

#2201

#2202

#2203

#2205

#2206

#2208

#2209

#2210

#2211

#2215

#2217

#2219

#222

#2220

#2222

#2223

#2224

#2225

#2226

#2227

#2228

#2229

#223

#223

#2230

#2231

#2232

#2233

#2234

#2235

#2236

#2237

#2238

#2239

#2240

#2242

#2243

#2244

#2245

#2246

#2248

#225

#2252

#2254

#2255

#2256

#2257

#2259

#2260

#2262

#2263

#2264

#2268

#2269

#2270

#2272

#2273

#2274

#2275

#2276

#2277

#2278

#228

#2281

#2282

#2283

#2284

#2285

#2286

#2287

#2288

#2291

#2292

#2293

#2294

#2295

#2297

#2298

#2299

#23

#2300

#2301

#2302

#2303

#2304

#2305

#2306

#2307

#2308

#2309

#231

#2312

#2313

#2314

#2315

#2317

#2319

#2323

#2325

#2326

#2327

#2328

#2329

#2330

#2331

#2333

#2337

#2338

#2339

#2340

#2341

#2342

#2344

#2347

#2349

#2350

#2351

#2352

#2353

#2355

#2356

#2357

#2358

#2359

#2360

#2362

#2362

#2363

#2364

#2365

#2366

#2367

#2368

#2369

#2371

#2372

#2376

#2378

#2380

#2381

#2384

#2386

#2387

#2390

#2391

#2391

#2392

#2393

#2395

#2396

#2397

#2398

#2399

#24

#2403

#2404

#2405

#2406

#2410

#2412

#2414

#2416

#2417

#2420

#2424

#2425

#2426

#2428

#2430

#2432

#2433

#2435

#2436

#2438

#244

#244

#2441

#2442

#2443

#2444

#2446

#2448

#2449

#245

#245

#2450

#2452

#2453

#2455

#2456

#2457

#2458

#2459

#246

#2460

#2461

#2463

#2466

#2467

#2468

#2469

#2470

#2471

#2474

#2475

#2476

#2477

#2477

#2478

#2479

#2480

#2483

#2485

#2487

#2489

#2490

#2491

#2492

#2494

#2495

#2496

#2497

#2498

#2499

#250

#2501

#2502

#2503

#2506

#2507

#2509

#251

#251

#2510

#2511

#2512

#2514

#2515

#2517

#2518

#2522

#2523

#2524

#2529

#2535

#2536

#2537

#2539

#2541

#2544

#2547

#2548

#2549

#2550

#2551

#2552

#2553

#2554

#2558

#2560

#2563

#2564

#2566

#2567

#2568

#2569

#2572

#2573

#2574

#2576

#2578

#2580

#2582

#2584

#2585

#2586

#2590

#2591

#2593

#2594

#2597

#2598

#2599

#26

#2601

#2602

#2604

#2605

#2607

#2610

#2611

#2615

#2617

#2618

#2620

#2621

#2625

#2626

#2627

#2628

#2630

#2631

#2632

#2633

#2634

#2635

#2636

#2637

#2638

#2640

#2641

#2642

#2643

#2646

#2647

#2649

#2651

#2653

#2655

#2657

#2658

#2663

#2665

#2666

#2668

#2669

#2670

#2671

#2672

#2673

#2674

#2678

#2679

#268

#2680

#2681

#2683

#2685

#2686

#2688

#2689

#2694

#2695

#2696

#2697

#2698

#2699

#2700

#2701

#2702

#2703

#2704

#2705

#2706

#2707

#2708

#2709

#271

#2712

#2714

#2715

#2716

#272

#2722

#2724

#2726

#2727

#2730

#2735

#2737

#2738

#274

#2740

#2742

#2744

#2745

#2749

#275

#275

#2752

#2753

#2754

#2755

#2756

#2757

#2758

#2763

#2764

#2767

#2768

#2769

#2770

#2771

#2772

#2773

#2774

#2777

#2778

#2779

#2781

#2782

#2783

#2784

#2785

#2786

#2787

#2788

#2789

#2790

#2791

#2792

#2793

#2794

#2795

#2796

#2797

#2798

#2799

#28

#28

#2800

#2801

#2802

#2803

#2804

#2805

#2807

#2808

#281

#2812

#2814

#2817

#2818

#2821

#2823

#2825

#2829

#2830

#2831

#2832

#2834

#2835

#2836

#2837

#2838

#2839

#284

#2840

#2842

#2844

#2845

#2847

#2848

#2849

#2853

#2855

#2856

#2857

#2858

#2859

#2860

#2861

#2862

#2863

#2864

#2866

#2868

#2869

#2870

#2871

#2872

#2873

#2874

#2875

#2878

#2879

#2880

#2881

#2884

#2885

#2892

#2893

#2895

#2897

#2899

#290

#290

#2900

#2901

#2903

#2904

#2906

#2909

#2910

#2911

#2913

#2917

#2919

#292

#2921

#2925

#2928

#2929

#293

#2930

#2931

#2932

#2933

#2934

#296

#296

#2963

#2964

#2968

#2970

#2971

#2973

#2977

#2978

#2979

#2982

#2984

#2985

#2986

#2987

#2991

#2992

#2993

#2994

#2994

#2995

#2997

#2998

#3

#3

#3000

#3001

#3006

#3007

#3010

#3011

#3014

#3017

#3025

#3026

#3027

#3029

#303

#3030

#3031

#3035

#3036

#3037

#3038

#3039

#304

#3040

#3041

#3042

#3043

#3044

#3045

#3048

#3050

#3052

#3053

#3056

#3057

#3058

#3059

#3060

#3061

#3062

#3063

#3066

#3067

#3068

#3069

#3070

#3071

#3072

#3073

#3075

#3076

#3077

#3079

#308

#3080

#3081

#3081

#3082

#3083

#3086

#3087

#3089

#3091

#3097

#3098

#3099

#31

#3102

#3103

#3104

#3105

#3106

#3107

#3108

#3111

#3114

#3115

#3116

#3118

#3118

#3119

#3120

#3123

#3124

#3126

#3127

#313

#3134

#3135

#3136

#3138

#3140

#3142

#3145

#3146

#3148

#3150

#3153

#3155

#3157

#3157

#3158

#3161

#3161

#3162

#3163

#3164

#3166

#3168

#3170

#3171

#3172

#3173

#3174

#3175

#3176

#3178

#318

#318

#3180

#3181

#3182

#3183

#3185

#3186

#3188

#3189

#319

#3191

#3192

#3193

#3194

#3196

#3197

#3198

#3199

#320

#3203

#3204

#3206

#3207

#3209

#3210

#3211

#3212

#3213

#3215

#3216

#3219

#322

#3220

#3222

#3224

#3226

#3227

#3228

#3229

#3232

#3233

#3236

#3237

#3238

#3240

#3243

#3246

#3247

#3248

#3249

#3250

#3251

#3252

#3253

#3254

#3254

#3255

#3256

#3257

#3258

#3259

#3260

#3262

#3263

#3264

#3265

#3267

#3269

#3271

#3273

#3274

#3275

#3277

#3279

#328

#328

#3280

#3281

#3282

#3285

#3287

#3289

#3290

#3294

#3296

#3297

#3298

#3299

#33

#3300

#3301

#3305

#3306

#3307

#3310

#3311

#3311

#3314

#3315

#3316

#3318

#3319

#3320

#3321

#3322

#3323

#3324

#3328

#3331

#3332

#3333

#3335

#3336

#3337

#3339

#3341

#3342

#3343

#3347

#3348

#3349

#3351

#3352

#3353

#3354

#3357

#3358

#3359

#336

#336

#3361

#3362

#3363

#3365

#3366

#3367

#3368

#3369

#337

#3372

#3373

#3375

#3377

#3379

#3380

#3381

#3382

#3383

#3386

#3387

#3389

#3390

#3391

#3392

#3394

#3395

#3396

#3397

#3398

#3399

#3402

#3403

#3404

#3406

#3414

#3417

#3419

#3420

#3421

#3422

#3423

#3424

#3425

#3429

#3432

#3433

#3434

#3439

#3441

#3443

#3444

#3444

#3445

#3448

#3449

#3450

#3452

#3453

#3453

#3454

#3457

#3458

#3459

#346

#3460

#3460

#3461

#3463

#3467

#3468

#3470

#3480

#3481

#3486

#3487

#3488

#3489

#3494

#3496

#3499

#35

#3500

#3502

#3503

#3504

#3507

#3508

#3509

#3510

#3511

#3512

#3513

#3514

#3516

#3517

#3518

#3519

#352

#3521

#3523

#3526

#3528

#353

#3530

#3532

#3533

#3534

#3536

#3537

#3538

#3542

#3543

#3544

#3546

#3547

#3548

#355

#3551

#3552

#3554

#3558

#356

#3560

#3561

#3565

#3566

#3567

#3568

#3569

#3570

#3572

#3573

#3577

#3579

#3581

#3582

#3588

#3595

#3595

#36

#3600

#3605

#3606

#3607

#3610

#3615

#3616

#3619

#3620

#3623

#3624

#3625

#3629

#363

#3630

#3634

#3636

#364

#364

#3640

#3641

#3642

#3646

#3647

#365

#365

#3650

#3651

#3652

#3655

#3656

#3658

#3659

#366

#366

#3661

#3662

#3663

#3665

#3665

#3667

#3668

#3668

#3669

#367

#367

#3670

#3671

#3672

#3673

#3674

#3675

#3676

#3678

#3681

#3682

#3683

#3684

#3685

#3688

#3690

#3692

#3694

#3696

#37

#37

#3704

#3705

#3706

#3708

#3709

#3716

#3718

#3719

#3720

#3721

#3722

#3723

#3725

#3727

#3728

#3732

#3733

#3734

#3736

#3737

#3742

#3745

#3749

#3751

#3754

#3755

#3756

#3757

#376

#376

#3766

#3767

#3770

#3774

#3775

#3777

#3778

#3779

#3780

#3781

#3782

#3783

#3789

#379

#379

#3790

#3791

#3792

#3796

#3797

#3798

#38

#380

#3801

#3802

#3808

#3809

#381

#3810

#3811

#3812

#3813

#3815

#3816

#3817

#3818

#382

#3822

#3824

#3825

#3826

#383

#3830

#3838

#3839

#384

#3840

#3841

#385

#3854

#3855

#3856

#3857

#3859

#386

#3860

#3861

#3865

#3866

#3868

#3869

#387

#3871

#3873

#3874

#3875

#3877

#3877

#3880

#3880

#3882

#3883

#3884

#3886

#3887

#3889

#3890

#3891

#3892

#3894

#39

#3900

#3902

#3903

#3904

#3906

#3907

#3908

#3909

#3910

#3914

#3915

#3918

#392

#3920

#3922

#3924

#3925

#3926

#3927

#3928

#3929

#3930

#3931

#3932

#3933

#3938

#3939

#3940

#3943

#3945

#3946

#3951

#3953

#3955

#3957

#3958

#3959

#3961

#3962

#3963

#3963

#3964

#3965

#3965

#3966

#3967

#3968

#3969

#397

#3970

#3971

#3972

#3973

#3974

#3975

#3977

#3978

#3979

#398

#3982

#3984

#3985

#3986

#3987

#3988

#399

#3990

#3991

#3992

#3994

#3998

#4

#4

#40

#4000

#4001

#4002

#4003

#4004

#4004

#4008

#401

#401

#4015

#4019

#4020

#4021

#4022

#4026

#4027

#4028

#4029

#403

#4030

#4031

#4032

#4035

#4037

#4040

#4042

#4044

#4044

#4045

#4046

#4047

#4048

#4049

#405

#4050

#4051

#4052

#4053

#4055

#4057

#4058

#406

#4061

#4062

#4063

#4065

#4066

#4067

#4069

#4070

#4072

#4073

#4075

#4078

#4083

#4084

#4087

#4089

#4089

#4090

#4091

#4093

#4097

#410

#4100

#4101

#4104

#4105

#4106

#4108

#4109

#411

#4111

#4118

#412

#4121

#4123

#4125

#4128

#4129

#413

#4130

#4131

#4132

#4133

#4134

#4135

#4137

#4139

#4140

#4141

#4142

#4143

#4147

#4148

#415

#4150

#4153

#4157

#4161

#4162

#4163

#4165

#4166

#4167

#4169

#4171

#4172

#4173

#4174

#4175

#4176

#4177

#4178

#4179

#4179

#4180

#4180

#4181

#4182

#4183

#4184

#4187

#4188

#4189

#4190

#4191

#4192

#4192

#4193

#4197

#4198

#4199

#42

#4200

#4201

#4201

#4202

#4204

#4206

#4207

#4208

#4209

#421

#4210

#4211

#4212

#4215

#4216

#4218

#4219

#4221

#4222

#4223

#4224

#4226

#4228

#4229

#4232

#4233

#4234

#4235

#4238

#4239

#4240

#4243

#4247

#425

#4252

#4254

#4255

#4258

#4261

#4262

#4265

#4267

#4267

#4268

#4269

#4270

#4271

#4273

#4274

#428

#4281

#4282

#4283

#4284

#4285

#4287

#4292

#4295

#4296

#4297

#4298

#43

#430

#4300

#4301

#4302

#4303

#4304

#4304

#4305

#4309

#431

#4310

#4311

#4312

#4313

#4314

#4316

#4319

#4319

#4320

#4321

#4323

#4326

#4327

#4328

#4328

#4329

#433

#4332

#4333

#4334

#4338

#4339

#434

#4340

#4341

#4343

#4344

#435

#4350

#4351

#4356

#4359

#4362

#4364

#4365

#4366

#4367

#437

#4372

#4376

#4377

#4379

#438

#438

#4380

#4382

#4384

#4386

#4387

#4388

#4391

#4392

#4396

#44

#4401

#4404

#4406

#4409

#4412

#4415

#4416

#4417

#4420

#4421

#4421

#4422

#4425

#4428

#4429

#4431

#4432

#4433

#4434

#4437

#4437

#4439

#4440

#4443

#4444

#4448

#445

#445

#4450

#4452

#4455

#4459

#446

#4460

#4461

#4465

#4467

#4468

#4471

#4472

#4474

#4475

#4479

#4482

#4487

#4489

#4490

#4494

#4495

#4497

#4498

#4499

#4500

#4502

#4503

#4504

#4505

#4506

#4507

#4508

#4510

#4512

#4513

#4514

#4515

#4516

#4517

#4518

#452

#4520

#4523

#4524

#4525

#4527

#4528

#453

#4534

#4536

#4537

#4538

#454

#4540

#4541

#4542

#4543

#4544

#4544

#4545

#4546

#4547

#4549

#455

#4550

#4551

#4552

#4553

#4554

#4555

#4558

#4559

#4563

#4564

#4565

#4565

#4566

#4567

#4568

#4569

#4570

#4571

#4571

#4576

#4577

#4581

#4582

#4583

#4585

#4587

#4588

#4589

#4592

#4592

#4593

#4594

#4595

#4596

#46

#460

#4603

#4605

#4607

#4608

#4609

#461

#4612

#4613

#4614

#4616

#4619

#462

#4620

#4621

#4624

#4625

#4626

#4627

#4628

#4629

#4632

#4635

#4637

#4639

#464

#464

#4641

#4642

#4643

#4645

#4646

#4647

#4649

#4650

#4654

#4655

#4656

#4657

#4659

#4661

#4661

#4666

#4667

#4668

#467

#4671

#4672

#4675

#4676

#4677

#4678

#4679

#468

#4680

#4682

#4683

#4684

#4685

#469

#4691

#4697

#4698

#4699

#47

#4700

#4701

#4702

#4703

#4704

#4705

#4706

#4707

#4709

#471

#471

#4711

#4714

#4715

#4718

#4719

#4720

#4721

#4723

#4724

#4726

#4727

#4728

#4729

#4730

#4731

#4733

#4734

#4735

#4736

#4737

#4739

#4740

#4741

#4742

#4744

#4745

#4746

#4750

#4752

#4753

#4754

#4755

#4757

#4762

#4763

#4764

#4765

#4767

#4768

#4770

#4771

#4773

#4775

#4776

#4778

#4779

#4781

#4781

#4782

#4783

#4784

#4787

#4788

#4789

#479

#4790

#4791

#4794

#4796

#4797

#4799

#48

#480

#4800

#4801

#4802

#4803

#4804

#4805

#4806

#4807

#4809

#4810

#4812

#4813

#4814

#4815

#4817

#4818

#4819

#4824

#4825

#4827

#4829

#4831

#4833

#4834

#4836

#4837

#4838

#4839

#4840

#4841

#4842

#4842

#4845

#4848

#4849

#4851

#4852

#4854

#4855

#4856

#4858

#4859

#4860

#4863

#4863

#4866

#4868

#4876

#4877

#4878

#4879

#488

#4880

#4881

#4884

#4887

#4890

#4892

#4894

#4895

#4898

#4899

#4901

#4902

#4903

#4904

#4907

#4908

#4910

#4910

#4914

#4916

#4918

#4922

#4923

#4926

#4928

#4929

#4929

#4930

#4930

#4931

#4932

#4932

#4933

#4937

#4938

#4939

#494

#494

#4940

#4941

#4942

#4946

#4948

#4949

#4950

#4951

#4953

#4954

#4959

#4960

#4961

#4963

#4963

#4965

#4966

#4969

#4970

#4971

#4973

#4974

#4975

#4976

#4981

#4982

#4986

#4989

#4992

#4994

#4995

#4996

#4997

#4998

#5

#5

#5000

#5001

#5003

#5004

#5004

#5008

#5009

#5015

#5016

#5017

#5021

#5023

#5024

#5025

#5030

#5031

#5032

#5033

#5034

#5037

#5039

#5040

#5041

#5044

#5045

#5047

#5049

#505

#5051

#5053

#5054

#5055

#5056

#5057

#5058

#5058

#5060

#5061

#5062

#5063

#5066

#5068

#507

#5070

#5073

#5075

#5078

#5080

#5081

#5085

#5086

#5089

#5094

#5095

#5098

#510

#510

#5100

#5101

#5102

#5108

#5109

#5110

#5111

#5112

#5113

#5114

#5116

#5118

#5119

#5121

#5122

#5122

#5123

#5127

#5128

#513

#5132

#5133

#5135

#5137

#5138

#5139

#5140

#5141

#5143

#5144

#5148

#5149

#515

#5150

#5152

#5153

#5154

#5155

#5158

#5159

#5160

#5162

#5163

#5165

#5167

#5170

#5172

#5173

#5174

#5176

#5177

#5178

#5179

#518

#5180

#5181

#5182

#5183

#5187

#5188

#5189

#5190

#5191

#5192

#5193

#5197

#5198

#5200

#5202

#5203

#5204

#5204

#5206

#5208

#5209

#521

#5211

#5216

#5217

#5218

#5219

#522

#5221

#5222

#5230

#5232

#5233

#5236

#5237

#5239

#5240

#5241

#5243

#5244

#5245

#5247

#5248

#5249

#5251

#5252

#5255

#5256

#5257

#5258

#5261

#5262

#5263

#5264

#5265

#5266

#5267

#5268

#5269

#5270

#5272

#5272

#5273

#5276

#5277

#5278

#5280

#5281

#5283

#5284

#5285

#5287

#5288

#5290

#5291

#5292

#5294

#5297

#5298

#5299

#530

#5300

#5301

#5302

#5304

#5305

#5306

#5307

#5308

#531

#531

#5311

#5311

#5313

#5315

#5316

#5317

#5319

#5322

#5323

#5324

#5325

#5327

#5328

#5329

#5330

#5331

#5332

#5334

#5335

#5336

#5337

#5339

#534

#534

#5340

#5341

#5342

#5344

#5345

#5346

#5347

#5348

#5349

#5351

#5352

#5353

#5354

#5355

#5356

#5357

#5358

#5361

#5362

#5362

#5363

#5364

#5365

#5368

#537

#5370

#5372

#5373

#5373

#5374

#5376

#5378

#5379

#5380

#5381

#5382

#5384

#5385

#5385

#5386

#5387

#5388

#5389

#5391

#5392

#5393

#5396

#5397

#5399

#5400

#5402

#5403

#5406

#5407

#5408

#5410

#5411

#5411

#5412

#5415

#5417

#5418

#5419

#5421

#5422

#5423

#5426

#5427

#5429

#5430

#5434

#5435

#5438

#5440

#5441

#5442

#5443

#5446

#5447

#5449

#5450

#5452

#5453

#5454

#5455

#5456

#5460

#5461

#5462

#5466

#5467

#5468

#5469

#5470

#5472

#5473

#5477

#5478

#5478

#5479

#5480

#5481

#5482

#5483

#5484

#5485

#5488

#5489

#549

#549

#5492

#5493

#5494

#5496

#5497

#5498

#5499

#55

#550

#5500

#5501

#5502

#5504

#5505

#5506

#5507

#5508

#551

#5511

#5512

#5514

#5515

#5516

#5517

#5518

#5519

#5521

#5524

#5525

#5526

#5527

#5528

#5529

#5530

#5531

#5535

#5536

#5538

#5540

#5542

#5543

#5544

#5546

#5548

#5548

#5549

#5550

#5554

#5554

#5555

#5557

#5559

#5560

#5560

#5561

#5562

#5562

#5563

#5563

#5564

#5565

#5566

#5568

#5570

#5570

#5571

#5573

#5575

#5576

#5578

#5578

#5579

#5580

#5581

#5581

#5582

#5583

#5583

#5584

#5584

#5585

#5585

#5586

#5586

#5587

#5590

#5590

#5591

#5592

#5593

#5594

#5596

#5596

#5599

#560

#5600

#5601

#5602

#5603

#5604

#5605

#5606

#5606

#5607

#5608

#5609

#561

#5610

#5611

#5611

#5612

#5613

#5613

#5614

#5615

#5616

#5617

#5618

#5619

#5619

#562

#5620

#5621

#5622

#5623

#5625

#5626

#5628

#5629

#5630

#5631

#5635

#5638

#564

#5640

#5642

#5643

#5644

#5645

#5646

#5647

#5648

#5649

#5651

#5653

#5653

#5655

#5658

#5659

#5662

#5663

#5664

#5665

#5666

#5667

#5669

#5670

#5671

#5672

#5673

#5675

#5676

#5678

#5679

#5680

#5681

#5682

#5685

#5686

#5687

#5691

#5692

#5694

#5696

#5698

#5699

#570

#5700

#5701

#5701

#5702

#5703

#5703

#5704

#5705

#5705

#5706

#5707

#5707

#5709

#571

#5710

#5711

#5712

#5714

#5716

#5716

#5717

#572

#5721

#5722

#5723

#5724

#5725

#5726

#5728

#5729

#5729

#573

#5730

#5730

#5731

#5733

#5736

#5736

#5738

#5738

#5739

#5740

#5741

#5743

#5746

#5749

#575

#5750

#5753

#5755

#5756

#5757

#5758

#5759

#576

#5760

#5761

#5762

#5763

#5764

#5765

#5766

#5768

#5769

#5771

#5771

#5772

#5773

#5774

#5778

#578

#5781

#5782

#5782

#5784

#5785

#5786

#5788

#5789

#5790

#5791

#5792

#5793

#5794

#5795

#5796

#5798

#5799

#580

#5803

#5804

#5804

#5806

#5807

#5809

#581

#5811

#5812

#5813

#5816

#5817

#5818

#5819

#5821

#5821

#5823

#5824

#5825

#5826

#5827

#5828

#5829

#5830

#5831

#5832

#5833

#5834

#5836

#5838

#584

#5840

#5841

#5842

#5842

#5843

#5844

#5845

#5846

#5847

#5848

#5849

#585

#5850

#5851

#5852

#5855

#5856

#5856

#5857

#5857

#5858

#5859

#586

#5862

#5863

#5872

#5873

#5874

#5875

#5876

#588

#5880

#5880

#5881

#5882

#5883

#5884

#5886

#5886

#5887

#5887

#5888

#5889

#5890

#5891

#5892

#5892

#5893

#5894

#5894

#5895

#5895

#5896

#5897

#590

#5900

#5900

#5901

#5902

#5902

#5903

#5903

#5904

#5904

#591

#592

#593

#595

#595

#596

#597

#597

#599

#6

#6

#600

#602

#605

#606

#608

#610

#614

#616

#616

#617

#618

#619

#62

#620

#625

#627

#63

#631

#633

#634

#634

#637

#638

#64

#64

#640

#640

#641

#645

#646

#648

#648

#649

#650

#651

#654

#657

#658

#659

#66

#660

#663

#664

#669

#669

#670

#671

#672

#673

#674

#676

#677

#678

#679

#68

#680

#687

#688

#69

#690

#691

#693

#694

#695

#696

#697

#70

#702

#704

#709

#712

#713

#714

#716

#717

#718

#719

#72

#720

#722

#723

#724

#725

#726

#727

#729

#73

#730

#734

#735

#736

#738

#739

#740

#741

#742

#744

#745

#746

#747

#748

#749

#750

#751

#752

#753

#755

#757

#758

#759

#761

#766

#768

#769

#77

#77

#770

#771

#772

#773

#775

#776

#777

#780

#782

#783

#786

#787

#788

#789

#791

#793

#794

#796

#798

#799

#8

#8

#800

#801

#802

#805

#806

#808

#811

#812

#817

#818

#819

#820

#821

#822

#824

#827

#829

#830

#832

#833

#834

#836

#837

#839

#841

#842

#843

#845

#846

#847

#848

#849

#850

#851

#852

#856

#858

#859

#861

#864

#866

#868

#869

#871

#872

#874

#875

#876

#877

#884

#885

#889

#890

#891

#893

#895

#896

#897

#9

#9

#90

#901

#903

#905

#907

#909

#910

#911

#912

#913

#914

#915

#916

#917

#918

#919

#927

#928

#929

#932

#933

#934

#936

#937

#939

#941

#942

#943

#944

#945

#946

#949

#950

#951

#952

#953

#957

#958

#960

#962

#963

#966

#967

#969

#97

#971

#972

#973

#975

#976

#977

#978

#979

#980

#983

#984

#985

#988

#989

#990

#991

#992

#996

#998

#999

0.45

0.46

0.47

docs-previewtest

resources

v0.48

v0.49

v0.50

v0.51

v0.52

v0.53

v0.54

v0.55

v0.56

v0.57

v0.58

v0.59

v0.59.1

v0.60

v0.61

v0.62

v0.63

v0.64

v0.65

yosys-0.10

yosys-0.11

yosys-0.12

yosys-0.13

yosys-0.14

yosys-0.15

yosys-0.16

yosys-0.17

yosys-0.18

yosys-0.19

yosys-0.2.0

yosys-0.20

yosys-0.21

yosys-0.22

yosys-0.23

yosys-0.24

yosys-0.25

yosys-0.26

yosys-0.27

yosys-0.28

yosys-0.29

yosys-0.3.0

yosys-0.30

yosys-0.31

yosys-0.32

yosys-0.33

yosys-0.34

yosys-0.35

yosys-0.36

yosys-0.37

yosys-0.38

yosys-0.39

yosys-0.4

yosys-0.40

yosys-0.41

yosys-0.42

yosys-0.43

yosys-0.44

yosys-0.5

yosys-0.6

yosys-0.7

yosys-0.8

yosys-0.9

Mono Color

• 950dde3081 Remove flattening from FABulous pass TaoBi22 2022-09-27 16:31:57 +01:00
• 8fdf4948a8 Remove ALL currently unused flags (some to be reintroduced later and passed through to synth) TaoBi22 2022-09-27 16:30:10 +01:00
• 2e9480be24 Add synth_fabulous ScriptPass TaoBi22 2022-09-27 16:20:11 +01:00
• 0516fd751c Bump version github-actions[bot] 2022-11-17 00:19:18 +00:00
• 48659ee2bb Slowing down clock to have same metadata Miodrag Milanovic 2022-11-16 10:11:05 +01:00
• 388611aac4 Bump version github-actions[bot] 2022-11-16 00:19:25 +00:00
• 7de226878d faketime to make PDFs unique Miodrag Milanovic 2022-11-15 14:13:41 +01:00
• a14dec79eb Rst docs conversion (#3496) KrystalDelusion 2022-11-16 00:55:22 +13:00
• 853f4bb3c6 Merge pull request #3547 from YosysHQ/update_abc Miodrag Milanović 2022-11-14 16:53:29 +01:00
• a862642fac Correct interpretation of SystemVerilog C-style array dimensions Dag Lem 2022-11-13 07:41:25 +01:00
• bab88630c2 Support for arrays with swapped ranges within structs Dag Lem 2022-11-12 08:48:25 +01:00
• 553eb6ac1e Bump version github-actions[bot] 2022-11-10 00:19:39 +00:00
• c75f12a989 Add missing memory width assert preventing division by zero (#3546) Emil J 2022-11-09 10:34:25 +01:00
• 6403bfbd9f Update ABC Miodrag Milanovic 2022-11-09 08:48:31 +01:00
• faa1c2e7fe Bump version github-actions[bot] 2022-11-09 00:20:01 +00:00
• 15d41041d8 Merge branch 'YosysHQ:master' into master Emil J 2022-11-08 22:02:23 +01:00
• cb7299c3dc Next dev cycle Miodrag Milanovic 2022-11-08 07:57:48 +01:00
• 7ce5011c24 Release version 0.23 yosys-0.23 Miodrag Milanovic 2022-11-08 07:55:31 +01:00
• 6758b7babc Update manual Miodrag Milanovic 2022-11-08 07:54:14 +01:00
• 2cdbb85da6 Bump version github-actions[bot] 2022-11-08 00:20:00 +00:00
• 4cb923a4f5 Merge pull request #3544 from jix/cosim-ffinit Jannis Harder 2022-11-07 16:04:31 +01:00
• 9b4fba3870 sim: Run a comb-only update step to set past values during FST cosim Jannis Harder 2022-11-07 14:09:33 +01:00
• cff42f0af5 Update CHANGELOG Miodrag Milanovic 2022-11-07 13:16:38 +01:00
• 96df99dafa Merge pull request #3536 from YosysHQ/claire/vcdend Miodrag Milanović 2022-11-07 13:15:57 +01:00
• bc0e69f5c8 Merge pull request #3543 from jix/fstdata-fixes Miodrag Milanović 2022-11-07 13:15:42 +01:00
• 68d52cb1b1 fstdata: Update past_data before end_time callback Jannis Harder 2022-11-07 12:28:11 +01:00
• 3477f2d00b fstdata: Handle square/angle bracket replacemnt, change memory handling Jannis Harder 2022-11-07 11:55:22 +01:00
• 9470ef9efe Update CHANGELOG Miodrag Milanovic 2022-11-07 12:13:19 +01:00
• 14aa485176 Bump version github-actions[bot] 2022-11-05 00:20:11 +00:00
• 310281a96c Separate deprecated compilers on CI Miodrag Milanovic 2022-11-04 14:49:12 +01:00
• a4eb7e41c0 Add extra time at the end of a sat VCD trace Claire Xenia Wolf 2022-11-01 17:51:46 +01:00
• d8ea5ef6e2 Bump version github-actions[bot] 2022-11-01 00:23:48 +00:00
• 8d69220be7 Merge pull request #3533 from YosysHQ/micko/liberty Miodrag Milanović 2022-10-31 18:04:53 +01:00
• 59b6ac47c9 Add additional help info Miodrag Milanovic 2022-10-31 18:04:34 +01:00
• 499390e9ce Merge pull request #3534 from mmicko/win32_plugins Miodrag Milanović 2022-10-31 18:01:30 +01:00
• 6fb80bce15 Enable importing blackbox modules only Miodrag Milanovic 2022-10-31 10:51:28 +01:00
• e702f2894a Support for reading liberty files using verific Miodrag Milanovic 2022-10-31 10:15:05 +01:00
• d1b3a250db Windows plugin build support Miodrag Milanovic 2022-10-31 09:10:46 +01:00
• 5f209f8be5 Bump version github-actions[bot] 2022-10-31 00:22:50 +00:00
• fe438ca1ab Add missing log_dump_val_worker forward declarations Claire Xenia Wolf 2022-10-30 18:57:50 +01:00
• c0ad6b3bc6 Bump version github-actions[bot] 2022-10-30 00:23:01 +00:00
• 71e7e09092 verilog: Support module-scoped task/function calls Zachary Snow 2022-10-29 15:14:11 -04:00
• 31c15e5fa6 Merge pull request #3530 from jix/simlib-mux-fix Jannis Harder 2022-10-29 14:54:36 +02:00
• aa7e7df19f simlib: Simplify recently changed $mux model Jannis Harder 2022-10-28 19:48:00 +02:00
• 05218ec900 Add dlfcn library for win32 Miodrag Milanovic 2022-10-28 16:15:30 +02:00
• 518194fac1 Bump version github-actions[bot] 2022-10-25 00:30:03 +00:00
• fdce6c5868 Merge pull request #3528 from YosysHQ/claire/crossbits Claire Xen 2022-10-25 01:18:30 +02:00
• d04c17fd58 Add miter -cross option Claire Xenia Wolf 2022-10-24 23:23:33 +02:00
• 408fc60c95 Merge pull request #3526 from jix/mux-simlib-eval Jannis Harder 2022-10-24 16:25:33 +02:00
• 3a37597e9f Merge pull request #3518 from jix/smtmap Jannis Harder 2022-10-24 16:12:52 +02:00
• 9f76ff0b6a Merge pull request #3517 from jix/smtbmc-witness-no-assume-skipped Jannis Harder 2022-10-24 16:06:52 +02:00
• 61440a42d1 Merge pull request #3523 from lparkes/basename Miodrag Milanović 2022-10-24 12:13:09 +02:00
• c77b7343d0 Consistent $mux undef handling Jannis Harder 2022-10-21 15:41:20 +02:00
• c0e4d01aa7 Merge pull request #3512 from lparkes/fstapi Miodrag Milanović 2022-10-24 11:39:06 +02:00
• 7fcc39abe3 Update CodeQL action Miodrag Milanovic 2022-10-24 07:39:34 +02:00
• 49945ab1c2 Replace GNU specific invocation of basename(1) with the equivalent POSIX one. The tests now complete on BSD as well as GNU/Linux. Lloyd Parkes 2022-10-23 11:02:18 +13:00
• 713d42d25d Bump version github-actions[bot] 2022-10-22 00:26:01 +00:00
• 32808b26c6 Merge pull request #3521 from YosysHQ/ci_upgrade Miodrag Milanović 2022-10-21 17:24:03 +02:00
• 61dfc26d74 Update versions of CI actions used Miodrag Milanovic 2022-10-21 17:00:46 +02:00
• 4f4cff0080 Bump version github-actions[bot] 2022-10-21 00:23:12 +00:00
• 6936394eed Merge branch 'YosysHQ:master' into master Emil J 2022-10-20 19:36:03 +02:00
• 2ba435b6bc bugfix for mathsat counterexample vcd dump Emil Jiří Tywoniak 2022-10-20 19:31:16 +02:00
• 0f96ae5990 Add smtmap.v describing the smt2 backend's behavior for undef bits Jannis Harder 2022-10-20 15:41:17 +02:00
• be1a12595a Add missing log_dump handler for std::vector<> Claire Xenia Wolf 2022-10-20 13:50:25 +02:00
• 96029400cb smtbmc: Do not assume skipped assertions when loading a witness trace Jannis Harder 2022-10-20 13:44:45 +02:00
• 6781746872 Bump version github-actions[bot] 2022-10-20 00:25:10 +00:00
• 8859d801c8 Temporal induction counterexample loop detection (#3504) Emil J 2022-10-19 12:20:12 +02:00
• f4ede15d68 Merge pull request #3514 from jix/smtbmc-kind-witness-fix Jannis Harder 2022-10-19 11:28:12 +02:00
• 083ca6ab06 bugfix Emil Jiří Tywoniak 2022-10-18 22:58:54 +02:00
• 8838b1eaa4 smtbmc: Fix witness handling for k-induction failures Jannis Harder 2022-10-18 19:51:36 +02:00
• 7dcc9c664e And another place we need to lseek() after dup(). Lloyd Parkes 2022-10-16 12:50:49 +13:00
• 635aa2a3fc Forcibly set the current seek location of gz files that we are accessing via dup(fileno());gzdopen() because stdio might have buffered data from the underlying file meaning that the underlying seek position isn't what we think it is. Lloyd Parkes 2022-10-16 12:36:00 +13:00
• d02ae8f2fc Bump version github-actions[bot] 2022-10-15 00:24:26 +00:00
• fc53a0a5c2 Merge pull request #3511 from YosysHQ/improve_edif Miodrag Milanović 2022-10-14 17:53:56 +02:00
• 48628fbf5a Skip verific primitives and operators import by default Miodrag Milanovic 2022-10-14 17:41:24 +02:00
• 922f8b614a Add option to import all cells from all libraries Miodrag Milanovic 2022-10-14 16:54:57 +02:00
• 2e837956dc Bump version github-actions[bot] 2022-10-13 00:25:23 +00:00
• 33a2773de0 Merge pull request #3510 from jix/ff_witness_fixes Jannis Harder 2022-10-12 20:50:00 +02:00
• 4d334fd3e3 smt2/smtbmc: Fix FF witness data for fine grained or multi chunk FFs Jannis Harder 2022-10-12 19:01:24 +02:00
• f35c062354 github: issues: added an OS dropdown to the issue template Aki Van Ness 2022-10-11 06:13:41 -04:00
• 8d4000a9b7 include memory in state Emil Jiří Tywoniak 2022-10-11 19:52:44 +02:00
• 0dbebea939 include memory in state Emil Jiří Tywoniak 2022-10-11 19:48:16 +02:00
• fcf742837e Merge pull request #3502 from jix/equiv_opt_fixes Jannis Harder 2022-10-11 12:02:16 +02:00
• 5c7a1eda92 Bump version github-actions[bot] 2022-10-11 00:24:29 +00:00
• 00bef0b534 Merge pull request #3508 from YosysHQ/aki/rm_protobuf Miodrag Milanović 2022-10-10 18:08:51 +02:00
• 7a73133c9f backends: protobuf: removed protobuf backend Aki Van Ness 2022-10-10 10:41:11 -04:00
• 03df1ac72b fix whitespace Miodrag Milanovic 2022-10-10 16:31:29 +02:00
• e8ce9442a6 Merge pull request #3452 from ALGCDG/master Miodrag Milanović 2022-10-10 16:29:27 +02:00
• d68013811f Merge pull request #3507 from YosysHQ/claire/verificlibopt Miodrag Milanović 2022-10-10 07:50:57 +02:00
• 090228a6a1 Fix handling of verific -L options, add implicit "-L work" Claire Xenia Wolf 2022-10-10 00:47:42 +02:00
• 3e816e9922 experimental temporal induction counterexample loop detection Emil Jiří Tywoniak 2022-10-09 18:24:43 +02:00
• 0e13d7e4c7 Bump version github-actions[bot] 2022-10-08 00:22:25 +00:00
• ae1a24d0c4 Merge pull request #3503 from jix/abort_on_log_error Jannis Harder 2022-10-07 21:30:26 +02:00
• 0113f44faa Reenable existing equiv_opt tests Jannis Harder 2022-08-30 13:56:05 +02:00
• 81906aa627 Fix tests for check in equiv_opt Jannis Harder 2022-08-25 14:24:31 +02:00
• 0516307637 Add "check -assert" to equiv_opt Claire Xenia Wolf 2021-05-04 19:02:37 +02:00
• f0478c520d Re-enable opt_dff_sr equiv_opt checks Claire Xenia Wolf 2021-05-04 20:12:29 +02:00
• afa5e6bb53 Exclude primary inputs from quiv_make rewiring Claire Xenia Wolf 2021-05-04 18:54:10 +02:00
• 381ce66f58 Revert "Merge pull request #641 from tklam/master" Claire Xenia Wolf 2021-04-28 16:52:04 +02:00
• 925f92918a clk2fflogic: Always correctly handle simultaneously changing signals Jannis Harder 2022-10-06 15:36:35 +02:00