Commit Graph

Select branches

Hide Pull Requests

WIP/rpc/feat/newtype

actions/lisanna/init-helm

bh-fixes

bitwuzla

bv-sized

ci-cabal-3.10

coverage

cryptol-compiler

cryptol-remote-api/sat

demote-compare

docs

expr-builder-reorg

feature/field-order

feature/reference-poly-funs

ffi-aes

ffi_build

fix-benchmarks

functors

gitpod

issue-1345

issue_1696

libnuma-patch-1

linebreaks

lisanna/T1169

lisanna/docker-publishing-debug

lisanna/init-gitpod

lisanna/test_dist

literal-sampling

master

module-aliases

primes

procedures

projects

quiet-cryptol

reals

release-2.10.0

release-2.11.0

release-2.12.0

release-2.13.0

release-2.7.0

release-2.8.0

release-2.9.0

release-2.9.1

release-3.0.0

release-3.1.0

release-3.2.0

release/2.5.0

release/2.6.0

release/2.7.0

releases

rpc/scryptol

rpc/scryptol-v2

rpc/synchronous-interface-wip

rwd/repl-hacking

sb/servicecode

sb/test-callrandom

semantics-junk

smt-fresh-names

smt-unique-names

solver-exponents

split-arith

sum-types-deriving

testing

variable-width-char

vim-syntax-highlight

#1003

#1005

#1007

#1007

#1010

#1011

#1013

#1014

#1015

#1016

#1017

#1018

#1023

#1026

#1027

#1028

#1028

#1031

#1038

#1046

#1048

#1053

#1055

#1056

#1065

#1066

#1067

#1068

#1069

#1070

#1071

#1072

#1073

#1075

#1076

#1077

#1080

#1082

#1085

#1086

#1088

#109

#1095

#1096

#1097

#11

#11

#1101

#1105

#1108

#1109

#1118

#1119

#1120

#1121

#1122

#1123

#1124

#1126

#1128

#1129

#1130

#1131

#1135

#1136

#1137

#1139

#1148

#1149

#1150

#1152

#1154

#1156

#1158

#1159

#1161

#1164

#1165

#1168

#1170

#1171

#1172

#1173

#1174

#1176

#1181

#1183

#1184

#1186

#1188

#1192

#1193

#1194

#1195

#1199

#1200

#1202

#1203

#1205

#1207

#1211

#1214

#1215

#1218

#1219

#122

#122

#1221

#1224

#1225

#1227

#1228

#1229

#123

#123

#1230

#1231

#1232

#1233

#1234

#1242

#1243

#1244

#1245

#1246

#1247

#1248

#1251

#1252

#1254

#1255

#1257

#1258

#1263

#1265

#1267

#1267

#1268

#1269

#1270

#1271

#1272

#1273

#1276

#1279

#1281

#1282

#1284

#1285

#1286

#1287

#1288

#1292

#1292

#1293

#1294

#1295

#1296

#1297

#13

#13

#1300

#1301

#1302

#1303

#1305

#1306

#1307

#1308

#1311

#1312

#1317

#1319

#1323

#1326

#1331

#1333

#1336

#1337

#1338

#134

#134

#1342

#1346

#1348

#1349

#1350

#1352

#1356

#1357

#1358

#1361

#1362

#1363

#1365

#1367

#1376

#1379

#1380

#1384

#1387

#1388

#1389

#1389

#1392

#1393

#1401

#1402

#1403

#1406

#1408

#1409

#1410

#1411

#1412

#1413

#1414

#1416

#1417

#1418

#1419

#1420

#1422

#1424

#1429

#1430

#1431

#1432

#1436

#1438

#1443

#1447

#1453

#1454

#1459

#1460

#1461

#1463

#1464

#1467

#1468

#1472

#1473

#1474

#1476

#1477

#1478

#1481

#149

#149

#1493

#1499

#1502

#1504

#1506

#1509

#1512

#1516

#1517

#1518

#1519

#1520

#1521

#1523

#1525

#1525

#1526

#1526

#1527

#1528

#1529

#1531

#1532

#1534

#1535

#1536

#1540

#1541

#1543

#1547

#1549

#1550

#1555

#1557

#1558

#1559

#1564

#1565

#1568

#157

#1570

#1572

#1573

#1577

#1579

#1580

#1583

#1585

#1586

#1592

#1600

#1601

#1602

#1614

#1620

#1625

#1626

#1627

#1631

#1633

#1636

#1642

#1644

#1648

#1650

#1651

#1655

#1656

#1656

#1659

#1660

#1662

#1664

#1665

#1667

#1669

#1671

#1674

#1676

#1677

#1678

#1682

#1684

#1686

#1688

#1692

#1695

#1697

#1697

#1698

#1700

#1701

#1706

#1707

#1708

#1709

#1712

#1713

#1716

#172

#1720

#1726

#1728

#1730

#1731

#1733

#1734

#1735

#1736

#1739

#1739

#1742

#1743

#1748

#1750

#1751

#1752

#1754

#1755

#1757

#1758

#1759

#1760

#213

#213

#220

#221

#221

#23

#257

#257

#26

#262

#263

#266

#288

#29

#299

#301

#301

#309

#317

#326

#326

#330

#333

#338

#344

#356

#374

#409

#434

#439

#440

#445

#453

#454

#459

#496

#520

#552

#561

#575

#576

#580

#583

#602

#604

#609

#626

#627

#628

#630

#638

#641

#642

#644

#655

#657

#665

#669

#671

#672

#674

#675

#678

#681

#682

#684

#687

#69

#690

#692

#696

#700

#703

#708

#71

#71

#715

#717

#72

#720

#721

#722

#724

#726

#727

#729

#732

#733

#736

#741

#742

#748

#751

#756

#761

#765

#767

#769

#770

#773

#774

#777

#778

#779

#783

#784

#785

#786

#788

#789

#791

#792

#793

#794

#797

#799

#8

#8

#800

#801

#804

#806

#811

#816

#817

#819

#821

#822

#825

#829

#830

#832

#833

#834

#841

#842

#843

#844

#846

#853

#854

#855

#862

#864

#864

#866

#867

#868

#869

#871

#872

#874

#878

#88

#882

#884

#885

#889

#890

#891

#893

#895

#896

#898

#900

#902

#903

#904

#906

#907

#908

#91

#914

#92

#92

#920

#923

#925

#927

#928

#932

#934

#935

#938

#940

#941

#942

#943

#944

#945

#947

#949

#950

#951

#952

#954

#957

#959

#960

#961

#963

#964

#966

#967

#968

#970

#971

#972

#976

#979

#981

#982

#983

#985

#988

#989

#991

#993

#995

#999

2.10.0

2.11.0

2.12.0

2.13.0

2.3.0

2.4.0

2.5.0

2.6.0

2.7.0

2.8.0

2.9.0

2.9.1

3.0.0

3.1.0

3.2.0

cryptol-python-3.2.1

cryptol-remote-api-3.0.1

cryptol-remote-api-3.1.1

v2.0.0

v2.1.0

v2.1.0-alpha1

v2.2.0

v2.2.1

v2.2.2

v2.2.3

v2.2.4

v2.2.5

v2.2.6

Mono Color

• bff4add099 Fix tests/issues/issue1455/Inst1.cry Bretton 2023-08-08 17:42:35 -0700
• 999ba7b5b3 Add tests for #1455 Bretton 2023-08-08 17:07:46 -0700
• 5cd34d0afb Qualify FromFunctorInst OrigNames by interface Bretton 2023-08-08 15:53:24 -0700
• 09fba48ac0 Keep FromModParam sig name in namingEnvFromNames Bretton 2023-08-07 15:26:56 -0700
• 44dd5908e4 Remove mod params from inScope in _ instantiation Bretton 2023-08-04 11:21:40 -0700
• 6a0121cb04 Add type synonym for type params in instantiations Bretton 2023-08-03 17:03:35 -0700
• d6791fd1c5 Rename confusing arg in checkParamValue Bretton 2023-08-02 15:46:13 -0700
• e9b3b5f6a6 Make fresh name for value params in instantiations Bretton 2023-08-02 15:20:08 -0700
• 6acbd46aea
  RefMan: document that the FFI expects pure functions (#1558) Ryan Scott 2023-07-31 07:26:17 -0400
• 632adf480a Add comment in doFunctorInst explaining inScope Bretton 2023-07-28 18:46:26 -0700
• 9b3ab47319 Add functor in-scope info to its instantiations Bretton 2023-07-28 18:01:51 -0700
• 47246f3ae1 RefMan: document that the FFI expects pure functions Ryan Scott 2023-07-26 12:51:09 -0400
• 9de24f5063
  Bump certifi from 2022.12.7 to 2023.7.22 in /cryptol-remote-api/python (#1555) dependabot[bot] 2023-07-26 10:26:53 -0400
• a77a05af41 Bump certifi from 2022.12.7 to 2023.7.22 in /cryptol-remote-api/python dependabot[bot] 2023-07-25 20:51:00 +0000
• 8d83e66add Changes that hopefully fix #1552. Iavor Diatchki 2023-07-25 17:22:47 -0700
• 3b05551ebc CI: Checkout out PR HEAD commit instead of merge commit Ryan Scott 2023-07-25 11:00:04 -0400
• 588f5c3184 Always embed git commit into --version output Ryan Scott 2022-06-02 10:24:49 -0400
• 9591262207 Projects: Switch to HsYAML for config file parsing Bretton 2023-07-19 14:04:30 -0700
• 383a5974e2
  Merge pull request #1550 from GaloisInc/T1548-part-two Ryan Scott 2023-07-13 12:46:17 -0400
• a045188b18 README: Fix typo Ryan Scott 2023-07-13 11:37:26 -0400
• f2bf0ec8fa CI: Set UTF-8 in cryptol-remote-api's portable build Ryan Scott 2023-07-13 08:51:08 -0400
• d743c38f67 Projects: Add caching for loading modules Bretton 2023-07-12 10:21:01 -0700
• 77a52e3bb6 CI: Prefer Use 9.2.8 (not 8.10.7) for building Docker images Ryan Scott 2023-07-12 08:14:08 -0400
• 71a8f86fb4 CI: Use GHC 9.2.8, 9.4.5 Ryan Scott 2023-07-12 07:51:28 -0400
• 9ea9005320 Allow building with sbv-10.2 Ryan Scott 2023-07-12 07:31:56 -0400
• cee5b835b1
  Merge pull request #1549 from GaloisInc/T1548 Ryan Scott 2023-07-11 14:14:48 -0400
• 5a85fae631 CI: Leave some breadcrumbs about SOLVER_PKG_VERSION and BIN_ZIP_FILE Ryan Scott 2023-07-11 13:32:45 -0400
• 693f82f1b1 CI: Bump what4-solvers snapshot to 20230711 Ryan Scott 2023-07-11 12:53:13 -0400
• 2064a38b8c
  Merge pull request #1547 from GaloisInc/version-python-cmd Matthew Yacavone 2023-07-10 15:49:01 -0400
• 9e86c0fa25 Bump cryptol-remote-api versions to 3.0.1.99 development version Matthew Yacavone 2023-07-10 13:28:32 -0400
• 75d00d9dfc Bump cryptol-remote-api versions to 3.0.1 cryptol-remote-api-3.0.1 Matthew Yacavone 2023-07-10 13:20:17 -0400
• a5366b97ff use when function in Version.hs Matthew Yacavone 2023-07-10 13:08:03 -0400
• 9831dc8ddd update docs with version command Matthew Yacavone 2023-07-06 16:57:20 -0400
• d914b803ce update CHANGELOG for Python API Matthew Yacavone 2023-07-06 16:44:19 -0400
• 39759bba06 include cryptol-remote-api version in version command Matthew Yacavone 2023-07-06 15:59:10 -0400
• 2919e6bbc9
  Merge pull request #1543 from GaloisInc/T1542 Ryan Scott 2023-07-06 15:52:58 -0400
• 1f7cdb83c3 add version command to cryptol-remote-api Matthew Yacavone 2023-07-06 15:41:42 -0400
• dd0151540e cryptol-remote-api: Don't hardcode version number in project description Ryan Scott 2023-07-06 14:54:55 -0400
• 68e48dd4dc
  Merge pull request #1541 from GaloisInc/sanitize-strs-quoting Matthew Yacavone 2023-07-06 13:58:00 -0400
• 93b3d79f3c fixed BV and 1-tuple edge cases in to_cryptol_str Matthew Yacavone 2023-07-06 13:06:58 -0400
• b2b5e9b4f4 add eval, latin-1 codec tests to test_quoting Matthew Yacavone 2023-07-06 10:22:22 -0400
• e876142fdf encode strings as lists of bytes using latin-1 in to_cryptol_str Matthew Yacavone 2023-07-06 10:13:39 -0400
• 593f6b002c README: Acknowledge some additional Cryptol contributors Ryan Scott 2023-07-06 08:29:36 -0400
• adb73d2a82 Update some copyright years to 2023 Ryan Scott 2023-07-06 08:25:54 -0400
• 597207f706 README: Reference version 3 of Cryptol Ryan Scott 2023-07-06 08:24:46 -0400
• 1410728a74 add reference to lexer in to_cryptol_str Matthew Yacavone 2023-07-05 16:22:15 -0400
• 2f0dbefa39 sanitize strings in to_cryptol_str in quoting.py Matthew Yacavone 2023-07-05 15:45:27 -0400
• 57226efb27
  Merge pull request #1540 from GaloisInc/rem_api_shebang_fixes_take2 Kevin Quick 2023-07-03 10:17:07 -0700
• bf47e179b7
  cryptol-remote-api script shebang fixes Kevin Quick 2023-07-02 21:50:25 -0700
• 9cd829ef45
  Merge pull request #1536 from GaloisInc/doc_ref_fixes Kevin Quick 2023-06-27 17:05:25 -0700
• b1910c8775
  Fix some syntax errors in the Modules documentation. Kevin Quick 2023-06-27 14:13:20 -0700
• a51c7ec79a
  Fix doc ref in CHANGES and use better wording. Kevin Quick 2023-06-27 14:02:01 -0700
• e0ae37ad2f
  Merge pull request #1535 from GaloisInc/ci_doc_debug Kevin Quick 2023-06-27 09:22:03 -0700
• b6074756fa
  Add debug output for CI doc generation. Kevin Quick 2023-06-26 15:31:48 -0700
• 7aede559ad cryptol.cabal: Set tag to 3.0.0 release-3.0.0 Ryan Scott 2023-06-26 15:22:20 -0400
• 5139971054
  test.Dockerfile: Sync Python, Poetry versions with CI (#1534) Ryan Scott 2023-06-26 13:49:32 -0400
• 060d272d37 test.Dockerfile: Sync Python, Poetry versions with CI Ryan Scott 2023-06-26 11:31:51 -0400
• 20c467241e test.Dockerfile: Sync Python, Poetry versions with CI 3.0.0 Ryan Scott 2023-06-26 11:31:51 -0400
• 78fcd4f6fa
  Merge pull request #1531 from GaloisInc/at-release-3.0-prep Ryan Scott 2023-06-26 09:47:20 -0400
• 5e66714f52 Bump .cabal versions to 3.0.0.99 development version Ryan Scott 2023-06-23 13:36:14 -0400
• e7a1ed2a99 Bump .cabal versions to 3.0.0 Ryan Scott 2023-06-23 13:35:40 -0400
• f25efc310d Release dates for changelogs Ryan Scott 2023-06-26 08:59:22 -0400
• df10985668
  Merge pull request #1532 from GaloisInc/sort_docversions Kevin Quick 2023-06-23 14:26:45 -0700
• a28fefd115
  Revert template sorting and sort on doc versions generation. Kevin Quick 2023-06-23 12:12:12 -0700
• 274837fcd7
  Add sorting to version/PR on generated documents index. Kevin Quick 2023-06-23 11:10:38 -0700
• 82dca5fdbc CHANGELOG: Mention all closed issues and PRs Ryan Scott 2023-06-22 11:45:30 -0400
• 8e362bf611 Mention #1363 in the CHANGELOG Ryan Scott 2023-06-22 10:56:18 -0400
• c6d8996754 Mention #1502 in the CHANGELOG Ryan Scott 2023-06-22 10:45:25 -0400
• d55fc18fa3 Mention #1388 in the CHANGELOG Ryan Scott 2023-06-22 10:38:13 -0400
• 8f64a5bc76 Bump changelog versions to 3.0.0 Ryan Scott 2023-06-22 10:29:53 -0400
• ed84e2db0c
  Merge pull request #1529 from GaloisInc/ci_multidoc Kevin Quick 2023-06-23 09:22:02 -0700
• 9f50f0384a
  Add more information regarding the auto-duplication of _templates/versions.html Kevin Quick 2023-06-22 14:04:24 -0700
• 76d8dc6313
  Update references to online documentation to point to the new URL. Kevin Quick 2023-06-22 13:05:03 -0700
• 608448ddfa
  Update wording and reference to online documentation URL. Kevin Quick 2023-06-22 11:23:33 -0700
• cb825cf4a6
  Docs redirect reset to standard Galois cryptol location. Kevin Quick 2023-06-21 17:11:44 -0700
• f84cc434be Change displayed name of main modules back to Main Bretton 2023-06-21 16:29:51 -0700
• 1e27345ccf Name parameterized main modules in tests Bretton 2023-06-21 16:29:07 -0700
• faa1a6c241
  CI docs checkout merge sha not PR branch (may be on a fork). Kevin Quick 2023-06-21 16:27:51 -0700
• 96559d118c
  Merge bc0f219637 into 4e722ec1ac Kevin Quick 2023-06-21 16:09:46 -0700
• 8fefc47247
  Update CI docs git clone/checkout process. Kevin Quick 2023-06-21 16:05:37 -0700
• 4401a64c2c Revert "Update tests for Main module name change" Bretton 2023-06-21 14:30:34 -0700
• a372fafeda Merge branch 'master' into projects Bretton 2023-06-21 12:05:39 -0700
• 8ef8ef4a82
  Diagnostics output for CI doc builds. Kevin Quick 2023-06-20 22:50:04 -0700
• 1318643cc0
  Enable Github CI build of documentation for all tags and PRs. Kevin Quick 2023-06-20 22:41:10 -0700
• 4e722ec1ac
  Merge pull request #1363 from GaloisInc/functors-merge Iavor S. Diatchki 2023-06-16 13:17:36 -0700
• 179c2cf6b5 Merge branch 'master' into functors-merge Iavor Diatchki 2023-06-16 11:09:48 -0700
• 1baa68bca7
  Merge pull request #1528 from GaloisInc/ci-setup-v2 Bretton 2023-06-14 22:57:11 -0700
• a84622099b Implement project config file, loading all modules Bretton 2023-06-14 17:23:41 -0700
• af084f6bc2 CI: Use haskell/actions/setup@v2 Bretton 2023-06-10 15:34:31 -0700
• 40b7c4a1d1 CI: Use cabal 3.10.1.0 ci-cabal-3.10 Bretton 2023-06-09 17:58:50 -0700
• 9d7133d93d CI: Use cabal 3.10.1.1 for build jobs Bretton 2023-06-09 17:35:19 -0700
• 7254c5b5c9 CI: Use cabal 3.10.1.1 for test jobs Bretton 2023-06-09 15:34:55 -0700
• 6674db1496 Update tests for Main module name change Bretton 2023-06-08 00:15:57 -0700
• f049fd4b52 Tweak unnamed module naming again Bretton 2023-06-08 00:15:20 -0700
• 367a9cd1b6 Slightly modify main module name formatting Bretton 2023-06-07 15:14:49 -0700
• 8951a0f8a4 Disallow parameterized main modules Bretton 2023-06-07 14:55:09 -0700
• 6ee1eb5b9a Name main modules using their file path Bretton 2023-06-07 11:38:19 -0700
• bc0f219637
  Add build advice for cryptol-remote-api check-docs failure. Kevin Quick 2023-06-05 09:53:33 -0700
• d7a376adad
  Use env on shebangs to invoke bash for maximum compatibility. Kevin Quick 2023-06-05 09:52:03 -0700
• 5778f6f9f2
  Support building with sbv-10.* (#1523) Ryan Scott 2023-05-26 14:40:43 -0400