GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-10-04 09:28:58 +03:00
Code Issues Projects Releases Wiki Activity
3,738 Commits 65 Branches 28 Tags 85 MiB
08783625c1
Commit Graph

232 Commits

Author SHA1 Message Date
Iavor Diatchki
08783625c1 Document the classes that inhabit the various overloading classes. 2023-05-23 11:23:36 -07:00
Iavor Diatchki
11c0efe1d8 Fixup line numbers in docs and update CHANGES 2022-11-21 10:24:56 -08:00
Ryan Scott
27ac8d9717 Support FFI on Windows 
This patch:

* Adds the appropriate conditional logic to use the `Win32` library to
  dynamically load shared libraries on Windows.
* Tweaks some FFI-related test cases to make them work portably on Windows. I
  have left comments describing each of the non-obvious tweaks that I had to
  make.
* Updates the reference manual accordingly.

Fixes #1394.
 2022-09-24 11:21:03 -04:00
Iavor Diatchki
e7a3f87858 Update FFI Section of Reference Manual to describe Integer/Rational/Z 2022-09-22 18:30:03 +03:00
Iavor Diatchki
5a4a3967fc Merge remote-tracking branch 'origin/master' into ffi-generate-headers 
# Conflicts:
#	docs/RefMan/_build/doctrees/FFI.doctree
#	docs/RefMan/_build/doctrees/environment.pickle
#	docs/RefMan/_build/html/FFI.html
#	docs/RefMan/_build/html/searchindex.js
 2022-09-14 17:18:30 +03:00
Iavor S. Diatchki
51b765efd8
Merge pull request #1431 from GaloisInc/ffi-slides 
Add FFI presentation slides
 2022-09-14 16:40:17 +03:00
Bretton
387a15e14c Add FFI presentation slides 2022-09-08 18:28:30 -07:00
Bretton
986ec22ac7 gen header: Update refman 2022-09-08 17:39:18 -07:00
Iavor Diatchki
b86825b7c4 Update text in the "Numeric Constraint Guards" section 2022-09-03 11:56:57 +03:00
Henry Blanchette
28f34df25e can be -> are 2022-08-30 08:55:46 -07:00
Henry Blanchette
1cfad8affc updated to master 2022-08-22 13:34:27 -07:00
Bretton
2f4b821eab FFI: Add docs for nested sequences 2022-08-17 14:50:26 -07:00
Henry Blanchette
c33c3fd1c4 updated docs [ci skip] 2022-08-13 14:22:26 -07:00
Henry Blanchette
57cb59a845 Merge branch 'master' into conditional-constraints 2022-08-13 14:20:41 -07:00
Henry Blanchette
fcce470d1e updated docs to reflect new warning 2022-08-12 23:08:00 -07:00
Bretton
d933fa6307 FFI: Improve docs 2022-08-11 19:45:50 -07:00
Bretton
60a342ad9f FFI: Improve docs 2022-08-11 14:56:43 -07:00
Bretton
0bc3bb74c5 FFI: Add docs 2022-08-11 12:26:48 -07:00
Henry Blanchette
eca8366659 rest of the docs stuff 
rest of the docs stuff [ci skip]
 2022-08-11 12:25:37 -07:00
Henry Blanchette
5e0d8a8e5f updated docs: constraint guads exhaustivity requirement 2022-08-11 12:12:00 -07:00
Henry Blanchette
2ecee7b782 docs for constraint guards 2022-08-11 12:02:06 -07:00
Iavor Diatchki
9d68dc91ae Add a note that the documentation of parameterized modules 
is about the upcoming version
 2022-08-04 14:40:33 +03:00
Iavor Diatchki
c8e499cc1e Improvements to reference manual 2022-08-04 14:37:15 +03:00
Iavor Diatchki
fcd5578ee6 Fix documentation 2022-02-23 14:39:20 -08:00
Iavor Diatchki
8b97cf4a8a Fix typo 2021-10-18 11:47:16 -07:00
Iavor Diatchki
6bb573eef3 Add the basic Cryptol classes 2021-10-18 10:21:33 -07:00
Iavor Diatchki
c03a590c34 Fix the URL 2021-10-18 09:49:38 -07:00
Iavor Diatchki
638525fd64 Disable jekyll, as it ignores files starting with _ 2021-10-18 09:47:08 -07:00
Iavor Diatchki
621e9a8acd Add a redirect to reference manual 2021-10-18 09:42:32 -07:00
Iavor Diatchki
0109f9ce83 Add a link to the Reference Manual index 2021-10-18 09:25:03 -07:00
Iavor Diatchki
a7e4f32a30 Generated HTML for manual 2021-10-18 09:22:47 -07:00
Iavor Diatchki
ae904687cb Ignore build stuff 2021-10-18 09:15:03 -07:00
Iavor Diatchki
6d2e32d6f4 Testing github pages 2021-10-18 09:11:52 -07:00
Brian Huffman
869deb1354 Update expected test output. 
Some error messages changed due to the new definition in Cryptol.cry.
 2021-09-10 20:08:43 -07:00
Brian Huffman
b9f97e7790 Update expected output for check-docs. 2021-09-02 20:30:55 -07:00
Rob Dockins
e742d24a14 Update documentation 2021-08-06 15:04:38 -07:00
Rob Dockins
d740442035 Update documenetation with new enumeration forms, 
and update the reference semantics.
Other minor documentation fixes and updates.
 2021-07-20 17:01:50 -07:00
Rob Dockins
4d5d66ff27 update docs again 2021-06-30 16:51:54 -07:00
Rob Dockins
0778fd8ff2 Update "ProgrammingCryptol" 
Minor output changes in the exercises are required.
 2021-06-30 10:05:39 -07:00
Iavor Diatchki
c62d921fb3 More docs 2021-04-30 15:43:14 -07:00
Iavor Diatchki
402c0cc256 Mess around with html teams 2021-04-30 15:42:49 -07:00
Iavor Diatchki
7a98ab5b9b Make a table for operator precedences 2021-04-30 12:00:46 -07:00
Iavor Diatchki
29eefbc09d A shpynx temaplte for a reference manual 2021-04-29 16:47:54 -07:00
Rob Dockins
cc8822f736 Update reference implementation and documentation 2021-04-13 10:27:17 -07:00
Rob Dockins
23a0f0f260 Update documentation PDFs 2021-04-06 09:48:41 -07:00
Rob Dockins
eb9d3e900d Update book exercise output 2021-03-02 17:18:36 -08:00
Rob Dockins
6b784b11ec Typo 
Fixes #1039
 2021-02-17 16:13:04 -08:00
Rob Dockins
0abde1e55e Update option names in documentation 2021-02-11 16:27:04 -08:00
Iavor Diatchki
8796390244 Add name etc. 2021-01-25 08:33:11 -08:00
Iavor Diatchki
c9307065b9 A short talk on the new parameterized moduels design 2021-01-14 15:43:04 -08:00