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
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 loadedTrevor 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
into3188a212b5
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
into62acc96f97
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 loadedTrevor 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
into2f229e0c9c
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