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 16, 2024 — Aug 16, 2025 Showing page 113 of 155 Search / Filter on:
Update Travis config to install Z3	Aaron Tomb	More...				about 8 years ago
Extend built-in library caching to Cryptol::Extras	Andrey Chudnov	More...				about 8 years ago
correctly print out uids for type variables	Eric Mullen	More...				about 8 years ago
lots of running examples	Eric Mullen	More...				about 8 years ago
Use built-in diff on Travis	Aaron Tomb	More...				about 8 years ago
Specify the diff program to use on Travis	Aaron Tomb	More...				about 8 years ago
Fix typo in Travis OS X script	Aaron Tomb	More...				about 8 years ago
Back to `make` for AppVeyor	Aaron Tomb	More...				about 8 years ago
Use `install` instead of `build` for AppVeyor	Aaron Tomb	More...				about 8 years ago
Fix typo in Travis config	Aaron Tomb	More...				about 8 years ago
Use `cabal build` instead of `make` for AppVeyor	Aaron Tomb	More...				about 8 years ago
Add AppVeyor configuration	Aaron Tomb	More...				about 8 years ago
Add OS X configuration for Travis	Aaron Tomb	More...				about 8 years ago
Run `cabal update` on Travis	Aaron Tomb	More...				about 8 years ago
Another attempt at Travis	Aaron Tomb	More...				about 8 years ago
Bump Travis GHC version	Aaron Tomb	More...				about 8 years ago
Track both original and canonical module paths	Aaron Tomb	More...				about 8 years ago
Canonicalize module path names earlier	Aaron Tomb	More...				about 8 years ago
Use canonical paths to check if module is loaded	Aaron Tomb	More...				about 8 years ago
HMAC example now loads into cryptol	Eric Mullen	More...				about 8 years ago
adding some examples	Eric Mullen	More...				about 8 years ago
got rid of the pesky ascii logo	Eric Mullen	More...				about 8 years ago
give better names to type variables,and include a tool to print the AST	Eric Mullen	More...				about 8 years ago
Simplify some type signatures in examples	Aaron Tomb	More...				about 8 years ago
types print out correctly	Eric Mullen	More...				about 8 years ago
Fix test failures from latest type checker changes	Aaron Tomb	More...				about 8 years ago
explicit printing of decl groups	Eric Mullen	More...				about 8 years ago
When solving selectors, keep trying if any unifications happened	Iavor S. Diatchki	More...				about 8 years ago
Comments, + apply the correct substitution	Iavor S. Diatchki	More...				about 8 years ago
Add `fin` constraints on the message mart of trace.	Iavor S. Diatchki	More...				about 8 years ago

←
1
2
…
109
110
111
112
113
114
115
116
117
…
154
155
→