C

cryptol

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed about 20 hours ago. based on code collected about 20 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 19, 2024 — Aug 19, 2025 Showing page 129 of 155 Search / Filter on:
reexport version number	Adam C. Foltzer	More...				almost 10 years ago
Fix #271	Trevor Elliott	More...				almost 10 years ago
Allow "-" in infix operator names	Brian Huffman	More...				almost 10 years ago
add regression in #269 to benchmark suite	Adam C. Foltzer	More...				almost 10 years ago
update to use Text in `Ident`	Adam C. Foltzer	More...				about 10 years ago
Warning removal	Trevor Elliott	More...				about 10 years ago
Improvement improvements	Trevor Elliott	More...				about 10 years ago
Issue #148 is fixed now	Trevor Elliott	More...				about 10 years ago
Merge branch 'master' into feature/benchmarks	Adam C. Foltzer	More...				about 10 years ago
make NFData deriving 7.8-compatible	Adam C. Foltzer	More...				about 10 years ago
Finish a comment	Trevor Elliott	More...				about 10 years ago
Warning removal	Trevor Elliott	More...				about 10 years ago
Add an intersection function for intervals	Trevor Elliott	More...				about 10 years ago
Solving fin constraints direclty.	Iavor S. Diatchki	More...				about 10 years ago
Bufixes, and pass in info argument.	Iavor S. Diatchki	More...				about 10 years ago
Remove debugging output	Trevor Elliott	More...				about 10 years ago
Conservative use of fin constraints	Trevor Elliott	More...				about 10 years ago
Enable OverloadedStrings to fix a build error	Trevor Elliott	More...				about 10 years ago
Only add subtraction in special cases during goal rewriting	Trevor Elliott	More...				about 10 years ago
Switch Name type to use Data.Text instead of String	Brian Huffman	More...				about 10 years ago
Use abstract interface to module Cryptol.ModuleSystem.Name	Brian Huffman	More...				about 10 years ago
Fix up tests.	Iavor S. Diatchki	More...				about 10 years ago
add junit-style output for `make bench` target	Adam C. Foltzer	More...				about 10 years ago
Merge remote-tracking branch 'origin/wip/goal-rewriting'	Iavor S. Diatchki	More...				about 10 years ago
Merge branch 'master' of github.com:GaloisInc/cryptol	Iavor S. Diatchki	More...				about 10 years ago
Definitions of semantics for partial predicates.	Iavor S. Diatchki	More...				about 10 years ago
Clean up simplification of individual constraints, somewhat.	Iavor S. Diatchki	More...				about 10 years ago
add benchmark sources	Adam C. Foltzer	More...				about 10 years ago
add NFData instances for many cryptol types	Adam C. Foltzer	More...				about 10 years ago
First pass at goal rewriting	Trevor Elliott	More...				about 10 years ago

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