C

cryptol

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 19, 2024 — Aug 19, 2025 Showing page 115 of 155 Search / Filter on:
Simplify addition of constants in equality and geq constraints	Trevor Elliott	More...				over 8 years ago
Reorder and add documentation to reference evaluator	Brian Huffman	More...				over 8 years ago
Makefile looks for .lhs source files	Brian Huffman	More...				over 8 years ago
More precise rule for `k >= width var` interval derivation	Trevor Elliott	More...				over 8 years ago
More precise definition of chunks	Trevor Elliott	More...				over 8 years ago
Remove unnecessary constraint that was preventing malicious_SHA1.cry from loading	Trevor Elliott	More...				over 8 years ago
Expand the width table, and fix a bug in CryptoBox (Thanks @tommd)	Trevor Elliott	More...				over 8 years ago
Fix upper bound on the interval derived from `k >= width x`	Trevor Elliott	More...				over 8 years ago
Add a rule for simplifying `x +y = inf`	Trevor Elliott	More...				over 8 years ago
First attempt at interval computation for `k >= width x`	Trevor Elliott	More...				over 8 years ago
Add a rule for multiplication	Trevor Elliott	More...				over 8 years ago
Convert module Cryptol.Eval.Reference to literate Haskell.	Brian Huffman	More...				over 8 years ago
Update Programming Cryptol PDF	Aaron Tomb	More...				over 8 years ago
Update benchmarks to find Prelude and CryptolTC.z3	Aaron Tomb	More...				over 8 years ago
Process CRYPTOLPATH before smoke test	Aaron Tomb	More...				over 8 years ago
Improve error message when CryptolTC.z3 not found	Aaron Tomb	More...				over 8 years ago
Document configuration of support files	Aaron Tomb	More...				over 8 years ago
Document success and error exit codes.	Aaron Tomb	More...				over 8 years ago
Document the `prover-stats` option.	Aaron Tomb	More...				over 8 years ago
Set user option if exact match, even if prefix	Aaron Tomb	More...				over 8 years ago
Remove transformers-compat and crackNum in the GHC710 config	Trevor Elliott	More...				over 8 years ago
Remove QuickCheck from the GHC710 stackage snapshot	Trevor Elliott	More...				over 8 years ago
Remove monadLib and simple-smt from stackage snapshots	Trevor Elliott	More...				over 8 years ago
Remove cryptol from the stackage snapshots	Trevor Elliott	More...				over 8 years ago
Update stackage snapshots	Trevor Elliott	More...				over 8 years ago
Update haddock comments	Brian Huffman	More...				over 8 years ago
Fix haddock parse errors	Brian Huffman	More...				over 8 years ago
Fix compiler warnings	Brian Huffman	More...				over 8 years ago
Merge branch 'master' of github.com:GaloisInc/cryptol	Iavor S. Diatchki	More...				over 8 years ago
Remove ECast	Iavor S. Diatchki	More...				over 8 years ago

←
1
2
…
111
112
113
114
115
116
117
118
119
…
154
155
→