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 30, 2024 — Aug 30, 2025 Showing page 132 of 155 Search / Filter on:
Add missing case for `max`.	Iavor S. Diatchki	More...				about 10 years ago
Print some information, even if there is no doc comment	Iavor S. Diatchki	More...				about 10 years ago
Fixup/changes to parsing comments	Iavor S. Diatchki	More...				about 10 years ago
Add a test for multi-if	Iavor S. Diatchki	More...				about 10 years ago
Merge branch 'master' of github.com:GaloisInc/cryptol	Iavor S. Diatchki	More...				about 10 years ago
Reverse alternatives in multi-way `if`.	Iavor S. Diatchki	More...				about 10 years ago
Allow operators to use '\'	Trevor Elliott	More...				about 10 years ago
Remove some unused code. See Cryptol.TypeCheck.AST.tSplitFun for the same.	Iavor S. Diatchki	More...				about 10 years ago
Notice unsolvable class instances; different error for unsolvable vs unsolved cts	Iavor S. Diatchki	More...				about 10 years ago
Check all constraints after defaulting.	Iavor S. Diatchki	More...				about 10 years ago
Some more helper functions	Iavor S. Diatchki	More...				about 10 years ago
Comments: domains of partial type-functions	Iavor S. Diatchki	More...				about 10 years ago
Fix incorrect rule	Iavor S. Diatchki	More...				about 10 years ago
Remove 'lg2` from types. Use `width` instead.	Iavor S. Diatchki	More...				about 10 years ago
Fix incorrect construction of substitution.	Iavor S. Diatchki	More...				about 10 years ago
more exports	Adam C. Foltzer	More...				about 10 years ago
additional exports for cryptol-server	Adam C. Foltzer	More...				about 10 years ago
Remove yucky uses of 'fromJust'	Robert Dockins	More...				about 10 years ago
Ignore some doc comments	Trevor Elliott	More...				about 10 years ago
Add a test for doc strings	Trevor Elliott	More...				about 10 years ago
Add a test for qualified infix operators	Trevor Elliott	More...				about 10 years ago
Add docs for pattern bindings	Trevor Elliott	More...				about 10 years ago
Fix parsing of else branches and lambdas	Trevor Elliott	More...				about 10 years ago
Lex qualified names and operators	Trevor Elliott	More...				about 10 years ago
Add documentation to properties	Trevor Elliott	More...				about 10 years ago
Give 100 fixity levels, and fix prelude fixity again	Trevor Elliott	More...				about 10 years ago
Fix for 7.8	Trevor Elliott	More...				about 10 years ago
Slight test output change	Trevor Elliott	More...				about 10 years ago
Hide defaulting for `!`, not `@@`	Trevor Elliott	More...				about 10 years ago
Fix a spelling bug	Trevor Elliott	More...				about 10 years ago

←
1
2
…
128
129
130
131
132
133
134
135
136
…
154
155
→