cryptol

GaloisInc/cryptol

Fork 0

mirror of https://github.com/GaloisInc/cryptol.git synced 2024-09-11 14:06:13 +03:00

Commit Graph

Select branches

Hide Pull Requests

1747-take-type

T1749

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

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

#1731

#1733

#1734

#1735

#1736

#1739

#1739

#1742

#1743

#1748

#1748

#1750

#1750

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

28043c395c Only print Loading when the module is going to be loaded Trevor Elliott 2014-04-25 11:13:06 -0700
25f17d0202 Some bug fixes related to fenced code in markdown Trevor Elliott 2014-05-06 14:29:51 -0700
f1f1991ce0 No plans to allow indented code fence blocks Trevor Elliott 2014-05-06 10:59:29 -0700
b713a8ac9f Setup.hs: unbreak 'runhaskell Setup configure' building mode Sergei Trofimovich 2014-05-02 15:28:11 +0300
87042d4604 fixing lone bad reference in doc, added syntax chapter, replaced Salsa spec PDF with pointer to it, fixed table in section 1.2.2 Dylan McNamee 2014-04-30 11:37:15 -0700
deed454a5b Merge 9c47604cac into 3188a212b5 ajdm 2014-04-30 16:57:24 +0000
3919ebeab7 fix expected output for tests after fix in #10 Adam C. Foltzer 2014-04-29 11:43:19 -0700
3188a212b5 Fixing a type constraint solver bug submitted by Jaak Randmets, verified by Iavor. Regression tests passed. Dylan McNamee 2014-04-28 10:17:11 -0700
8ad498ca57 disable email notifications for travis Adam C. Foltzer 2014-04-27 21:54:18 -0700
924de3f152 install the Cabal library before starting the Travis build Adam C. Foltzer 2014-04-27 21:33:38 -0700
2b6642457b add travis.yml Adam C. Foltzer 2014-04-27 21:27:57 -0700
2cf71679c6 Merge branch 'master' into devel Adam C. Foltzer 2014-04-27 20:51:56 -0700
3e0ce32888 document that four failing tests is expected (for now) Dylan McNamee 2014-04-27 11:29:52 -0700
3e22966c1c spelling in README Dylan McNamee 2014-04-27 11:26:37 -0700
58dba72bdb Merge e5789d368a into 62acc96f97 orchid-hybrid 2014-04-26 02:43:25 +0000
e5789d368a Update README.md orchid-hybrid 2014-04-26 03:43:09 +0100
1dac36494a Only print Loading when the module is going to be loaded Trevor Elliott 2014-04-25 11:13:06 -0700
e54f73717d Merge branch 'master' of github.com:GaloisInc/cryptol Joseph Kiniry 2014-04-25 09:58:10 +0200
200df77725 Missing space. Joseph Kiniry 2014-04-25 09:57:44 +0200
728f9cc00e Two new todos. Joseph Kiniry 2014-04-25 09:57:38 +0200
62acc96f97 Fixing makefile to be compatible with David Lazar's speck fix Dylan McNamee 2014-04-24 18:07:47 -0700
203b2c8596 Merge branch 'master' of https://github.com/davidlazar/cryptol into davidlazar-master Dylan McNamee 2014-04-24 18:01:46 -0700
9c47604cac Fix reference James Manton 2014-04-25 01:12:13 +0100
27b9074952 Merge fe67268088 into 2f229e0c9c David Lazar 2014-04-24 22:01:46 +0000
2f229e0c9c reinsert book authors into acknowledgments Adam C. Foltzer 2014-04-24 14:47:55 -0700
fe67268088 Simplify type constraints. David Lazar 2014-04-24 17:33:43 -0400
bda2596f30 Minor whitespace tweak. David Lazar 2014-04-24 17:28:25 -0400
e1c2ddec55 Fix formatting in speck.cry. David Lazar 2014-04-24 17:27:34 -0400
46c93d1a33 spec.cry should be speck.cry. David Lazar 2014-04-24 17:19:20 -0400
bd578915ea incorporating "thanks" in main README v2.0.0 Dylan McNamee 2014-04-24 10:58:33 -0700
8c97b35bb2 updated docs Adam C. Foltzer 2014-04-24 10:55:52 -0700
8fbb351063 final tweaks to the book Dylan McNamee 2014-04-24 10:52:43 -0700
934e0aae53 change system description parameter in makefile Adam C. Foltzer 2014-04-23 19:36:41 -0700
4a2da5686a temporarily check docs into the repo Adam C. Foltzer 2014-04-23 19:16:57 -0700
417193b8a8 change glob for markdown docs Adam C. Foltzer 2014-04-23 18:54:45 -0700
72cd17c11b change name of book pdf Adam C. Foltzer 2014-04-23 18:52:10 -0700
af3e5ecb39 make package id configurable via env var Adam C. Foltzer 2014-04-23 18:04:15 -0700
288178dea2 markdown -> .md, Acks section, adding spec to contrib Dylan McNamee 2014-04-23 13:15:18 -0700
bba0c10cf7 keccak is version 1, and proving too tricky to convert for now. Moving simon and spec to contrib, to "seed the pool" of contributed examples. Dylan McNamee 2014-04-22 17:26:11 -0700
b7cad1c5b0 fixing issue290 - it was a bug in the brain of the reporter. imports need to be qualified to support this behavior. Dylan McNamee 2014-04-22 17:03:24 -0700
72d690bd9f a little "how to run this" added to funstuff Dylan McNamee 2014-04-22 10:43:39 -0700
695a0781a8 add arch to dist package Adam C. Foltzer 2014-04-21 16:04:59 -0700
a04a2444a5 Note: NIST 180-4 has an inconsistency in section 4.1.1 - the prose says 0<=t<=80, but the formula says 0<=t<=79. Later, they refer to 80 elements, so we're going with the formula's specification Dylan McNamee 2014-04-21 13:50:00 -0700
744808f67f Making the SHA1 "f" look more like the NIST SHA1 "f" Dylan McNamee 2014-04-21 13:42:12 -0700
51cb27555a readme updates Adam C. Foltzer 2014-04-21 12:01:18 -0700
bca8d997f5 add David's Keccak implementation Adam C. Foltzer 2014-04-21 11:39:07 -0700
4f57c0a93f polishing Dylan McNamee 2014-04-21 11:40:07 -0700
63b77b82d3 add David's Keccak implementation Adam C. Foltzer 2014-04-21 11:39:07 -0700
e937d172d3 !=== is now !== (!!!) Adam C. Foltzer 2014-04-18 14:57:40 -0700
4e31cd7b4c fix license file for Windows installer Adam C. Foltzer 2014-04-18 10:51:55 -0700
7f44d616dd fixup: Paths_cryptol_parser Adam C. Foltzer 2014-04-18 10:28:46 -0700
5b25f8c21a it's not just a parser anymore Adam C. Foltzer 2014-04-18 10:18:26 -0700
ba0a0e8576 Initial import from internal repo Adam C. Foltzer 2014-04-17 15:34:25 -0700