C

cryptol

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 19, 2024 — Aug 19, 2025 Showing page 128 of 155 Search / Filter on:
Case analysis wibbles	Trevor Elliott	More...				almost 10 years ago
mkTInfix was rewriting too much	Trevor Elliott	More...				almost 10 years ago
Start fixing failing tests	Trevor Elliott	More...				almost 10 years ago
Warning removal	Trevor Elliott	More...				almost 10 years ago
Makefile fix	Trevor Elliott	More...				almost 10 years ago
Merge remote-tracking branch 'origin/master' into wip/name-change	Trevor Elliott	More...				almost 10 years ago
NameMap wasn't actually helping	Trevor Elliott	More...				almost 10 years ago
Prelude loads again	Trevor Elliott	More...				almost 10 years ago
Fixed some renamer problems	Trevor Elliott	More...				almost 10 years ago
Fix some renamer/parser bugs	Trevor Elliott	More...				almost 10 years ago
Major changes plumbed through, now for the bugs!	Trevor Elliott	More...				almost 10 years ago
Library is building again	Trevor Elliott	More...				almost 10 years ago
Lib nearly builds	Trevor Elliott	More...				almost 10 years ago
Fold changes through the parser, and part of the typechecker	Trevor Elliott	More...				almost 10 years ago
More incremental fixes	Trevor Elliott	More...				almost 10 years ago
Continue plumbing new names through	Trevor Elliott	More...				almost 10 years ago
update to Stackage LTS 3.5	Adam C. Foltzer	More...				almost 10 years ago
bump version number, add SBV upper bound	Adam C. Foltzer	More...				almost 10 years ago
Lots of changes to the renamer	Trevor Elliott	More...				almost 10 years ago
Parameterize parsed AST on names	Trevor Elliott	More...				almost 10 years ago
update stackage snapshot	Adam C. Foltzer	More...				almost 10 years ago
add `\protect` to fix error on Windows docs	Jenkins Builder	More...				almost 10 years ago
switch back to non-latexmk for book (Windows)	Adam C. Foltzer	More...				almost 10 years ago
A rough cut at SIV.	Thomas M. DuBuisson	More...				almost 10 years ago
change how the book is built	Adam C. Foltzer	More...				almost 10 years ago
Slight speedup in name comparison	Trevor Elliott	More...				almost 10 years ago
update attribution on SHA512	Adam C. Foltzer	More...				almost 10 years ago
Fix #272 Don't full blocks in ChaChaPoly8675309	Thomas M. DuBuisson	More...				almost 10 years ago
Change where integer masking is applied in the interpreter	Brian Huffman	More...				almost 10 years ago
Fix comment in Keccak example	Aaron Tomb	More...				almost 10 years ago

←
1
2
…
124
125
126
127
128
129
130
131
132
…
154
155
→