Brett Boston
a87684aad4
Clarify that each file can only contain a single module
2020-06-30 19:10:33 -07:00
robdockins
87d5edab00
Documentation updates ( #779 )
...
* Add docstrings for all prelude functions and fix minor style issues.
Fixes #771
* Update `CryptolPrims` documentation
* Minor updates to the prelude
* Update CHANGES
* Updates to the cryptol book and CryptolPrims
* Fix several additional docstrings
* Specify and document properties of signed bitvector division.
Fixes #677
* Fixup test
* typos and style
* Regenerate PDFs
2020-06-30 10:58:25 -07:00
Rob Dockins
542debdb67
Documentation tweaks
2020-05-27 14:21:17 -07:00
Rob Dockins
2cb904ec46
Update documentation
2020-05-15 15:28:44 -07:00
Brian Huffman
030349f6de
Fix outdated usage of value-level function width in Cryptol book.
...
It is now called `length` and has a generalized type.
Cf. #549 .
2019-06-20 10:47:40 -07:00
Brian Huffman
6b53cd0c2f
Fix typo in documentation.
2019-02-28 10:46:41 -08:00
Aaron Tomb
b111e78a30
Minor fixes to Programming in Cryptol
2018-07-27 16:09:50 -07:00
Brian Huffman
34e6a18efe
Fix Cryptol output in exercise solution in the book.
2018-07-27 13:18:03 -07:00
Brian Huffman
891b7fe914
Update exercises in chapter 1 of the book.
2018-07-20 15:48:10 -07:00
Brian Huffman
6201415c66
Remove index entries and text about non-existent :i, :p commands.
2018-07-20 08:28:35 -07:00
Brian Huffman
dd2c4b6507
Introduce command for more uniform exercise references in the book.
2018-07-19 18:25:55 -07:00
Brian Huffman
10f43b4279
Switch Cryptol book exercises to use split instead of groupBy.
2018-07-19 16:46:48 -07:00
Brian Huffman
8892759a93
More edits to Cryptol book, rewrite type synonym section.
2018-07-17 10:52:21 -07:00
Brian Huffman
0d074ce231
Many updates to Programming Cryptol book (work in progress).
2018-07-16 09:48:39 -07:00
Brian Huffman
5f795d4644
Restrict output number base to 2, 8, 10 and 16.
...
The output bases now match the possible input bases for
numeric literals.
Fixes #179 .
2018-07-12 09:57:41 -07:00
Brian Huffman
7c1de9c133
Add short section to Cryptol book about type Integer.
...
Fixes #468 .
2018-05-24 13:04:10 -07:00
Aaron Tomb
99f3fdbf37
Merge Cryptol/Extras.cry with Cryptol.cry
...
Closes #427 .
2018-05-23 15:55:05 -07:00
Brian Huffman
6fdc1ff326
Write about type constraint synonyms in Programming Cryptol.
...
Fixes #452 .
2018-03-22 16:06:55 -07:00
Brian Huffman
11067f8220
Document new type classes Zero, Logic, and SignedCmp. Fixes #451 .
2017-10-05 11:15:49 -07:00
Brian Huffman
361be3827e
Fix incorrect spacing after abbreviation "vs."
2017-10-05 11:08:34 -07:00
Brian Huffman
6d484c854d
Fix inaccurate statements about Cmp class.
2017-10-05 10:38:37 -07:00
Brian Huffman
ffe113669e
Document the REPL let-definition feature. Fixes #359 .
2017-10-05 10:23:34 -07:00
Brian Huffman
7b0b8836c0
Fix outdated reference to inf a constraint in docs.
2017-10-05 10:20:57 -07:00
Brian Huffman
0478ec434c
Uniformly place footnotes after punctuation.
2017-10-05 09:25:44 -07:00
Brian Huffman
4cc76e6c8b
Small fixes for crash-course chapter of Programming Cryptol
...
Changes include spelling, grammar, punctuation,
typesetting, and code formatting. A few factual errors
have been fixed, and some Cryptol REPL output has been
updated as well.
2016-08-03 09:54:52 -07:00
Adam C. Foltzer
2c428804bc
remove splitBy and update documentation
...
Closes #291
2016-07-05 09:58:49 -07:00
Dylan McNamee
ab279f01d5
incorporating typos and other improvements to docs
2016-04-27 11:52:09 -07:00
Dylan McNamee
623b847094
merging changes to docs
2016-04-19 11:41:55 -07:00
Joseph Kiniry
849fecead8
Merge branch 'master' of github.com:GaloisInc/cryptol
2016-04-18 15:15:58 -07:00
Thomas M. DuBuisson
bd593e4ebe
Add hierarchy to the module documentation.
2016-02-25 16:34:30 -08:00
Dylan McNamee
86c3d0ffe2
Module documentation
2016-02-25 15:14:00 -08:00
Joseph Kiniry
357905934b
Merge branch 'master' of github.com:GaloisInc/cryptol
2016-01-03 23:46:52 -08:00
Dylan McNamee
c27c91af3a
fixed negative stepped sequence example (issue #234 ) in ProgrammingCryptol
2015-06-05 12:02:16 -07:00
Joseph Kiniry
6af66f2dba
Merge branch 'master' of github.com:GaloisInc/cryptol
2015-05-04 15:19:39 -07:00
Rob Dickerson
8250adfdbe
Changing some split examples in crash course to use splitBy instead.
2014-09-18 02:59:11 -05:00
Dylan McNamee
75852a2596
Merge branch 'master' of https://github.com/GaloisInc/cryptol
2014-09-10 14:27:26 -07:00
Dylan McNamee
81adb95a37
tweaks to documentation and Salsa20 fix from Sean
2014-09-10 14:27:08 -07:00
Adam C. Foltzer
15e6fec34d
update documentation for #82
2014-09-09 11:59:39 -04:00
Dylan McNamee
3ebc8bffcd
Incorporating Sean Weaver's fixes to programming cryptol - ticket #80
2014-09-02 10:26:35 -07:00
Joseph Kiniry
39a472e43f
Merge branch 'master' of github.com:GaloisInc/cryptol
2014-08-12 16:24:53 -07:00
Joseph Kiniry
6fc11569ea
Corrected typo.
2014-08-12 16:24:28 -07:00
Dylan McNamee
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
2014-04-30 11:37:15 -07:00
Adam C. Foltzer
ba0a0e8576
Initial import from internal repo
2014-04-17 15:34:25 -07:00
