GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-08-16 17:30:27 +03:00
Code Issues Projects Releases Wiki Activity
4,244 Commits 64 Branches 26 Tags 81 MiB

Default Branch

master

2fb70e61c5 · Gracefully skip docstrings on top-level functors (#1730) · Updated 2024-08-14 00:43:15 +03:00
 ZIP  TAR.GZ

Branches

check-scope

324b736306 · Limit :check to return only locally defined properties · Updated 2024-08-15 02:51:49 +03:00
0
1
 ZIP  TAR.GZ
bitwuzla

c41c222584 · Draft: Add Bitwuzla support · Updated 2024-08-12 17:11:53 +03:00
3
1
 ZIP  TAR.GZ
issue_1696

22e136a462 · Fixes #1696 · Updated 2024-07-02 06:02:07 +03:00
27
1
 ZIP  TAR.GZ
libnuma-patch-1

709bee1830 · Update Dockerfile · Updated 2024-04-17 19:57:33 +03:00
100
1
 ZIP  TAR.GZ
cryptol-compiler

3b4ffb6077 · Export push and pop · Updated 2024-03-01 22:26:07 +03:00
112
1
 ZIP  TAR.GZ
projects

dfc95f0da4 · This should be just refactoring and comments. · Updated 2024-02-13 03:07:38 +03:00
120
14
 ZIP  TAR.GZ
release-3.1.0

65397a491b · cryptol.cabal: Tag 3.1.0 release · Updated 2024-02-05 22:57:29 +03:00
126
2
 ZIP  TAR.GZ
sum-types-deriving

d9c5d3c36b · Draft: deriving · Updated 2024-01-29 03:54:13 +03:00
155
1
 ZIP  TAR.GZ
release-3.0.0

7aede559ad · cryptol.cabal: Set tag to 3.0.0 · Updated 2023-06-26 22:22:20 +03:00
312
2
 ZIP  TAR.GZ
ci-cabal-3.10

40b7c4a1d1 · CI: Use cabal 3.10.1.0 · Updated 2023-06-10 03:58:50 +03:00
503
3
 ZIP  TAR.GZ
module-aliases

bc3f7f6e95 · Tweaks · Updated 2023-03-09 19:33:18 +03:00
386
2
 ZIP  TAR.GZ
vim-syntax-highlight

29a63a09ef · Copy the syntax-highlight directory under share/cyrptol for installation · Updated 2022-10-27 00:05:48 +03:00
551
0
 Included
 ZIP  TAR.GZ
solver-exponents

ad26512099 · Fix typo in comment, the exponent bases must be the same, of course. · Updated 2022-09-14 17:21:34 +03:00
861
2
 ZIP  TAR.GZ
literal-sampling

cbf521f3c7 · removed old test file · Updated 2022-09-03 02:54:48 +03:00
778
87
 ZIP  TAR.GZ
fix-benchmarks

40d60e4049 · Try to fix benchmarks · Updated 2022-08-25 01:57:38 +03:00
778
1
 ZIP  TAR.GZ
ffi-aes

97b9ac648c · Add FFI version of SuiteB AES128 encrypt · Updated 2022-08-20 07:33:49 +03:00
785
1
 ZIP  TAR.GZ
coverage

007aea28c7 · hpc_markup dir · Updated 2022-07-22 21:30:54 +03:00
867
4
 ZIP  TAR.GZ
functors

a0b43eef33 · Add another test · Updated 2022-06-11 01:38:34 +03:00
926
136
 ZIP  TAR.GZ
issue-1345

34bd329276 · Merge pull request #1356 from GaloisInc/ci-improvements · Updated 2022-05-20 00:30:38 +03:00
889
0
 Included
 ZIP  TAR.GZ
release-2.13.0

8d02285252 · Update to version 2.13.0 · Updated 2022-05-16 16:18:19 +03:00
896
1
 ZIP  TAR.GZ