C

cryptol

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed 2 days ago. based on code collected 2 days ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 19, 2024 — Aug 19, 2025 Showing page 131 of 155 Search / Filter on:
add missing cryptol-server directory	Adam C. Foltzer	More...				about 10 years ago
remove unnecessary import	Adam C. Foltzer	More...				about 10 years ago
fold server into main Cryptol package	Adam C. Foltzer	More...				about 10 years ago
Half-fix but not quite issue #256 (Bool ~> Bit).	Thomas M. DuBuisson	More...				about 10 years ago
tweak patch in 170e5953 to work for 7.8; add test	Adam C. Foltzer	More...				about 10 years ago
Resolve includes relative to the file that includes them	Trevor Elliott	More...				about 10 years ago
Fix a potential problem with infixr type operators	Trevor Elliott	More...				about 10 years ago
Observe parens when resolving type operators	Trevor Elliott	More...				about 10 years ago
add proper MonadIO instance for REPL	Adam C. Foltzer	More...				about 10 years ago
Fix right-associative nesting for expressions	Trevor Elliott	More...				about 10 years ago
Update test output	Trevor Elliott	More...				about 10 years ago
Fix fixity resolution	Trevor Elliott	More...				about 10 years ago
ListSel on VWord in symbolic backend uses correct endian-ness.	Brian Huffman	More...				about 10 years ago
Allow use of Cabal 1.18 during build	Aaron Tomb	More...				about 10 years ago
Fix typo	Iavor S. Diatchki	More...				about 10 years ago
Correct the rule for equality with constant on division	Iavor S. Diatchki	More...				about 10 years ago
Add a case for `Not`. Fixes #249.	Iavor S. Diatchki	More...				about 10 years ago
Make `fin` decisions first.	Iavor S. Diatchki	More...				about 10 years ago
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

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