Commit Graph

Select branches

Hide Pull Requests

WIP/rpc/feat/newtype

actions/lisanna/init-helm

bh-fixes

bitwuzla

bv-sized

check-scope

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

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/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

#1731

#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

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

• a4b5051002
  Merge 324b736306 into 2fb70e61c5 Eric Mertens 2024-08-14 18:51:58 -0500
• 324b736306 Limit :check to return only locally defined properties check-scope Eric Mertens 2024-08-14 16:51:49 -0700
• 2fb70e61c5
  Gracefully skip docstrings on top-level functors (#1730) master Eric Mertens 2024-08-13 16:43:15 -0500
• 4e551a94d6 Gracefully skip docstrings on top-level functors Eric Mertens 2024-08-13 14:02:48 -0700
• 1f15ca632d
  Don't report an error on unclosed, skipped code fence (#1728) Eric Mertens 2024-08-13 15:35:36 -0500
• ad9cab387b Don't report an error on unclosed, skipped code fence Eric Mertens 2024-08-13 11:46:09 -0700
• 1f6f880318
  Functor docstrings (#1726) Eric Mertens 2024-08-13 13:23:00 -0500
• ff9b118958 Suppress :check-docstring output for definitions without fences Eric Mertens 2024-08-13 10:54:51 -0700
• 2b98b5f2a1 Fix docstring behaviors around functors Eric Mertens 2024-08-13 10:52:25 -0700
• c41c222584 Draft: Add Bitwuzla support bitwuzla Ryan Scott 2024-01-09 10:16:17 -0500
• df4c9df73c
  Initial implementation of check docstrings from python (#1712) Eric Mertens 2024-08-06 08:07:41 -0700
• b7b0ed76a1 Add docstrings to top-level modules Eric Mertens 2024-08-05 16:49:13 -0700
• 4b143d2b4d Previous change lost track missing fences Eric Mertens 2024-08-01 09:49:48 -0700
• 65a1ca38ed Add documentation for check docstrings api call Eric Mertens 2024-08-01 09:30:08 -0700
• a1a18b0d64 Add :set proverTimeout = Eric Mertens 2024-07-31 16:34:21 -0700
• c949f93793 Trick which identifiers each docstring comes from Eric Mertens 2024-07-26 11:38:12 -0700
• e0fce8228b Improve and synchronize the unlit and docstring code fence parser Eric Mertens 2024-07-25 17:00:41 -0700
• d38869f2d4 Initial implementation of check docstrings from python Eric Mertens 2024-07-25 13:55:24 -0700
• c650eb28ed
  Propagate nested relation when instantiating functors (#1720) Eric Mertens 2024-08-02 14:34:17 -0700
• d4e658d78c Propagate nested relation when instantiating functors Eric Mertens 2024-08-02 13:56:38 -0700
• f489ff8a5d
  Merge pull request #1716 from GaloisInc/T1714-reference-eval-float Ryan Scott 2024-07-31 13:25:54 -0400
• dd9ba9c028 Implement Float's Literal instance in the reference evaluator Ryan Scott 2024-07-31 10:56:11 -0400
• a11dff9846 Implement all floating-point primitives in reference evaluator Ryan Scott 2024-07-31 10:47:49 -0400
• 25423ce4ee
  Merge pull request #1713 from GaloisInc/rem/solver-exponents mccleeary-galois 2024-07-30 15:14:55 -0600
• 110a753a94 Move (K^a * K^b) => K^(a + b) from Numeric.hs to SimpType.hs to allow EQ check in Numeric.hs to work for multiplication of exponents as well. Ryan 2024-07-30 13:07:43 -0600
• 681fcd45ca Add (x>=2, x^a = x^b => a = b) rule to Numeric.hs. Ryan 2024-07-30 11:40:24 -0600
• bb77d9f1dc Enhance TypeCheck to reason more about exponents. Ryan McCleeary 2022-08-09 19:54:01 +0300
• 009907ed91
  Improve :check-docstrings (#1706) Eric Mertens 2024-07-23 09:43:43 -0700
• 60d03b65c6 Test updating the docs Iavor Diatchki 2024-07-23 09:33:09 -0700
• c03f659776 Test doc updates Iavor Diatchki 2024-07-23 09:27:44 -0700
• bfeaeca19e Just a test to see if docs update Iavor Diatchki 2024-07-23 09:23:23 -0700
• 53d308217a More monospace backticks Eric Mertens 2024-07-23 08:59:14 -0700
• 8af9246211 Document empty string literal Eric Mertens 2024-07-23 08:43:29 -0700
• 77cee2e6ab Fix rst syntax Eric Mertens 2024-07-23 08:43:15 -0700
• 486da13370 Allow more spaces Eric Mertens 2024-07-23 08:43:06 -0700
• 711bec5410 Improve :check-docstrings Eric Mertens 2024-07-22 15:40:54 -0700
• 577ee8f0da
  Bump copyright Kevin Quick 2024-07-19 13:59:34 -0700
• 4ca062966e
  Initial implementation of :check-docstrings (#1682) Eric Mertens 2024-07-18 15:44:16 -0700
• 05b7691792 Handle focusing on a functor submodule Eric Mertens 2024-07-18 13:08:05 -0700
• 2c674ac87f Demonstrate that docstrings on submodules run in the correct context Eric Mertens 2024-07-17 13:11:50 -0700
• 77d0096393 replace \r\n earlier, alexGetByte is too late Eric Mertens 2024-07-17 11:13:32 -0700
• 70fc3aff94 Require repl and convert \r\n to \n in lexer Eric Mertens 2024-07-17 10:50:08 -0700
• 551219fabc Update CrashCourse.tex now that more commands are checked Eric Mertens 2024-07-17 09:32:27 -0700
• 17e8366d96 Generalize isLoaded* to handle ImpName Eric Mertens 2024-07-17 08:40:10 -0700
• 37fa28832a Make cryptol-server build to with focused module change Eric Mertens 2024-07-16 15:14:15 -0700
• 87ca401476 Update changelog Eric Mertens 2024-07-16 14:49:31 -0700
• 5639fa9d55 Add some :check-docstring test cases Eric Mertens 2024-07-16 11:59:05 -0700
• f5fa503b18
  Merge pull request #1701 from GaloisInc/issue#1675 mccleeary-galois 2024-07-10 15:06:10 -0600
• dd112501ca Remove unnecessary line from issue1675 test. Ryan 2024-07-10 15:02:15 -0600
• 39b0682fbb Clean up panic error message in ec_mult Ryan 2024-07-10 13:30:17 -0600
• 873fa9cd67 Remove bigNatMod and replace with bigNatRem, and add same fix to negate as well Ryan 2024-07-10 12:31:43 -0600
• e1774d45c1 Mod y variable by p in ec_sub Ryan 2024-07-10 11:26:37 -0600
• 84194fc187 Issue#1675, add failing test for ec_mult as y should be 0 rather than 13. Ryan 2024-07-10 10:13:11 -0600
• 72902bddf3 Implement :focus Eric Mertens 2024-07-08 17:41:06 -0700
• b2ce8200cd Implement REPL :check-docstrings command Eric Mertens 2024-06-07 12:05:55 -0700
• ad5af8b462 Update all commands to track their results Eric Mertens 2024-06-06 10:57:53 -0700
• e54979212b
  Bump certifi from 2024.2.2 to 2024.7.4 in /cryptol-remote-api/python (#1700) dependabot[bot] 2024-07-08 08:37:22 -0400
• 4e973d434b Bump certifi from 2024.2.2 to 2024.7.4 in /cryptol-remote-api/python dependabot[bot] 2024-07-06 02:03:01 +0000
• 6d5560b5bc Merge branch 'master' into issue_1696 Iavor Diatchki 2024-07-03 09:48:40 -0700
• 97e972b025
  Merge pull request #1695 from GaloisInc/issue1593-issue1693 Ryan Scott 2024-07-03 12:41:23 -0400
• f0fb79b194
  Merge 22e136a462 into 07bb442d7e Iavor S. Diatchki 2024-07-03 09:39:34 -0700
• 07bb442d7e
  Merge pull request #1698 from GaloisInc/issue_1691_2 Iavor S. Diatchki 2024-07-03 09:27:22 -0700
• d0a98a545b Make fixes for 1691 work with more nested modules. Iavor Diatchki 2024-07-03 08:57:52 -0700
• 6e417aa3d1 Abort early after type-checking malformed constraint guards Ryan Scott 2024-07-01 13:04:21 -0400
• a483c1eddd Typofixes: s/Unexpeceted/Unexpected/g Ryan Scott 2024-07-01 13:08:03 -0400
• 22e136a462 Fixes #1696 issue_1696 Iavor Diatchki 2024-07-01 20:02:07 -0700
• 623ea9bef5
  Merge pull request #1692 from GaloisInc/issue_1691 Iavor S. Diatchki 2024-07-01 19:30:10 -0700
• 128411e605 Merge branch 'master' into issue_1691 Iavor Diatchki 2024-07-01 09:57:15 -0700
• efa9dd1742 Fix test for Windows. Iavor Diatchki 2024-07-01 09:55:04 -0700
• 41dceb0431
  Update src/Cryptol/ModuleSystem/Renamer/ImplicitImports.hs Iavor S. Diatchki 2024-07-01 09:35:25 -0700
• bbd08f4efd
  Update CHANGES.md Iavor S. Diatchki 2024-07-01 09:34:56 -0700
• fbbbb8f56f
  Check for syntactically invalid constraint guards in the parser (#1686) Ryan Scott 2024-07-01 04:13:36 -0700
• 11e037a720
  Merge pull request #1626 from GaloisInc/T1623 Ryan Scott 2024-07-01 03:16:59 -0700
• e55470c90b Update CHANGES Iavor Diatchki 2024-06-28 04:51:16 -0700
• 84648390b7 Add a test Iavor Diatchki 2024-06-28 04:39:19 -0700
• e98f4d6e28 Only add implicit imports for non-anonymous modules Iavor Diatchki 2024-06-28 04:39:05 -0700
• cd18b891f6
  Merge c013035701 into 0ab12fa1cc brianhuffman 2024-06-28 13:04:00 +0200
• 2c6ac78f87 Fixes #1691 (and removes partial match warning) Iavor Diatchki 2024-06-28 02:01:58 -0700
• 0ab12fa1cc
  Merge pull request #1684 from GaloisInc/add-ubuntu-dev-setup Marcella Hastings 2024-06-18 08:01:02 -0400
• 45103ad8b9
  Bump urllib3 from 2.2.1 to 2.2.2 in /cryptol-remote-api/python (#1688) dependabot[bot] 2024-06-18 06:23:55 -0400
• 2eb54530e4 Bump urllib3 from 2.2.1 to 2.2.2 in /cryptol-remote-api/python dependabot[bot] 2024-06-17 23:30:26 +0000
• 54f52c57ab Check for syntactically invalid constraint guards in the parser Ryan Scott 2024-06-14 08:28:44 -0400
• 36a6f576f6 dev-script: fix env variable handling #1673 Marcella Hastings 2024-06-13 14:58:34 -0400
• 05392cf94d dev-setup: small script improvements #1673 Marcella Hastings 2024-06-13 14:07:57 -0400
• 1952c8b4ff dev-setup: prettify script #1673 Marcella Hastings 2024-06-11 09:33:00 -0400
• 918335bf93 dev-setup: add support for ubuntu-22.04 #1673 Marcella Hastings 2024-06-11 09:11:53 -0400
• 73a6e683d7 dev-setup: add support for ubuntu 20.04 #1673 Marcella Hastings 2024-06-10 15:29:49 -0400
• cb9b2b28f1 dev-setup: add minimal docker for ubuntu 20 #1673 Marcella Hastings 2024-06-10 14:53:57 -0400
• 8df304dc76 dev-setup: move script to dev/ dir #1673 Marcella Hastings 2024-06-10 14:51:42 -0400
• 94c8db0a7d
  Merge pull request #1674 from GaloisInc/add-macos-dev-setup Marcella Hastings 2024-06-05 09:05:11 -0400
• 4a7f0a8513 use specific ghc/cabal versions in dev setup #1673 Marcella Hastings 2024-06-05 08:36:52 -0400
• e03e7be18f simplify ghc install in dev script #1673 Marcella Hastings 2024-06-04 07:17:55 -0400
• 21ef9d3f6e
  Merge 709bee1830 into 20d88b8401 weaversa 2024-06-03 16:17:05 -0700
• 20d88b8401
  Merge pull request #1664 from GaloisInc/remember-docstrings Eric Mertens 2024-06-03 13:53:54 -0700
• 0380a45d89 consolidate funcs, improve errors in setup script Marcella Hastings 2024-06-03 16:22:05 -0400
• 1009680664 Remove docstrings from 'include' Eric Mertens 2024-06-03 08:40:20 -0700
• 823ed91fc7 Update docs.cry test to show preserved doctests Eric Mertens 2024-05-20 13:56:42 -0700
• ec94131db5 Avoid discarding any docstring comments Eric Mertens 2024-05-16 17:08:09 -0700
• e25afff519 Fix distro and version checks in dev script #1673 Marcella Hastings 2024-06-03 11:21:14 -0400
• c6b4209816
  Merge pull request #1678 from GaloisInc/issue_1490 Iavor S. Diatchki 2024-06-02 19:30:02 +0300