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 28, 2024 — Aug 28, 2025 Showing page 130 of 155 Search / Filter on:
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
Only import Traversable in < ghc 7.10	Trevor Elliott	More...				about 10 years ago
Add the CPP pragma	Trevor Elliott	More...				about 10 years ago
Checkpoint	Iavor S. Diatchki	More...				about 10 years ago
More logging	Iavor S. Diatchki	More...				about 10 years ago
Rewrite div equalities as multiplication	Iavor S. Diatchki	More...				about 10 years ago
add a hex version of Big Sequence	Adam C. Foltzer	More...				about 10 years ago
Make fewer calls to addToComment	Trevor Elliott	More...				about 10 years ago
add typechecking and large sequence benchmarks	Adam C. Foltzer	More...				about 10 years ago
Use custom applicative functor to speed up interpreter on list comprehensions	Brian Huffman	More...				about 10 years ago
start benchmarking suite with a Prelude parse test	Adam C. Foltzer	More...				about 10 years ago
Fix typos in comments	Brian Huffman	More...				about 10 years ago
Optimize evaluation of list comprehensions in Cryptol interpreter	Brian Huffman	More...				about 10 years ago
Optimize append operator (#) on bitvectors.	Brian Huffman	More...				about 10 years ago
Merge pull request #266 from msaaltink/issue-258	Trevor Elliott	More...				about 10 years ago
Fix for issue-258 (incude of literate file fails)	Mark Saaltink	More...				about 10 years ago
Merge pull request #263 from nbraud/master	Adam C. Foltzer	More...				about 10 years ago
add server flag to deps install step	Adam C. Foltzer	More...				about 10 years ago
README.md: Trivial fixes	Nicolas Braud-Santoni	More...				about 10 years ago

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