C

cryptol

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed about 13 hours ago. based on code collected about 14 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 30, 2024 — Aug 30, 2025 Showing page 133 of 155 Search / Filter on:
Location information changed in test 101	Trevor Elliott	More...				about 10 years ago
Update 226 output, as it uses :browse	Trevor Elliott	More...				about 10 years ago
Name changes in debug output	Trevor Elliott	More...				about 10 years ago
Properly resolve constraint fixity	Trevor Elliott	More...				about 10 years ago
Fix PP instance for infix type functions	Trevor Elliott	More...				about 10 years ago
Change the precedence of xor	Trevor Elliott	More...				about 10 years ago
More fixity, and add back special error messages	Trevor Elliott	More...				about 10 years ago
More consistent output in the REPL	Trevor Elliott	More...				about 10 years ago
Remove primitives	Trevor Elliott	More...				about 10 years ago
Allow parenthesized operators with :help	Trevor Elliott	More...				about 10 years ago
Remove primitive type operators from the parser	Trevor Elliott	More...				about 10 years ago
Begin work on fixity resolution at the type level	Trevor Elliott	More...				about 10 years ago
Start migrating primitives to the prelude	Trevor Elliott	More...				about 10 years ago
Merge remote-tracking branch 'origin/master' into wip/prim-decls	Trevor Elliott	More...				about 10 years ago
Have :help use the doc string, instead of built-in docs	Trevor Elliott	More...				about 10 years ago
fixed negative stepped sequence example (issue #234) in ProgrammingCryptol	Dylan McNamee	More...				about 10 years ago
Parse doc strings, and attach them to declarations	Trevor Elliott	More...				about 10 years ago
Add fixity information to primitive bindings	Trevor Elliott	More...				about 10 years ago
Add another test for unary operators	Trevor Elliott	More...				about 10 years ago
Fix the precedence of (-/~) again	Trevor Elliott	More...				about 10 years ago
Implement + as a primitive in the prelude	Trevor Elliott	More...				about 10 years ago
Plumb through primitive declarations	Trevor Elliott	More...				about 10 years ago
Fix parsing of unary operators	Trevor Elliott	More...				about 10 years ago
Add a regression test for xor precedence	Trevor Elliott	More...				about 10 years ago
Fix the precedence of xor again	Trevor Elliott	More...				about 10 years ago
Don't generalize over variables that got defined	Iavor S. Diatchki	More...				about 10 years ago
Just wibbles	Iavor S. Diatchki	More...				about 10 years ago
Fix build with GHC 7.8	Aaron Tomb	More...				about 10 years ago
Add support for user-defined infix operators	Trevor Elliott	More...				about 10 years ago
Merge branch 'hotfix/2.2.4' into releases	Adam C. Foltzer	More...				about 10 years ago

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