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 27, 2024 — Aug 27, 2025 Showing page 93 of 155 Search / Filter on:
Add some comments explaining the hackery	Iavor Diatchki	More...				over 6 years ago
A TEMPORARY hack to force rebuilding `GitRev.hs` so we get the correct hashes.	Iavor Diatchki	More...				over 6 years ago
Indicate in the logo, if the repo has been modified.	Iavor Diatchki	More...				over 6 years ago
Indent goals to be shown a bit further, to line up with assumptions.	Iavor Diatchki	More...				over 6 years ago
Improve some of the error messages.	Iavor Diatchki	More...				over 6 years ago
Add a command to run the locally built Cryptol	Iavor Diatchki	More...				over 6 years ago
Add some bullets and rephrase error a bit.	Iavor Diatchki	More...				over 6 years ago
Remove unused error message	Iavor Diatchki	More...				over 6 years ago
Bump Travis GHC and cabal-install versions	Aaron Tomb	More...				over 6 years ago
Adapt Travis to new scripts	Aaron Tomb	More...				over 6 years ago
A Bash script to automate common cabal (v2) tasks	Iavor Diatchki	More...				over 6 years ago
Use the factored-out test-runner.	Iavor Diatchki	More...				over 6 years ago
Ignore all .ghc.envi* stuff	Iavor Diatchki	More...				over 6 years ago
Update changed test output.	Brian Huffman	More...				over 6 years ago
Add special case to speed up type checking of decimal literals.	Brian Huffman	More...				almost 7 years ago
Factor out new function `listParamSubst`.	Brian Huffman	More...				almost 7 years ago
Just a note	Iavor Diatchki	More...				almost 7 years ago
Symbolic `+` and `-` on `Z n` reduce mod `n` when arguments are concrete.	Brian Huffman	More...				almost 7 years ago
Symbolic `*` on type `Z n` reduces mod `n` when arguments are concrete.	Brian Huffman	More...				almost 7 years ago
Add note in manual about `satNum` and `Integer`	Aaron Tomb	More...				almost 7 years ago
Merge pull request #552 from LeventErkok/master	Aaron Tomb	More...				almost 7 years ago
Fix satNum	Levent Erkok	More...				almost 7 years ago
Rename prelude function `width` to `length`, and generalize its type.	Brian Huffman	More...				almost 7 years ago
Changes to avoid irrefutable patterns.	Iavor Diatchki	More...				almost 7 years ago
Make :browse handle shadowing of names from dynamic environment.	Brian Huffman	More...				almost 7 years ago
Suppress REPL instantiation messages when warnDefaulting = off.	Brian Huffman	More...				almost 7 years ago
Reformulate the property, so that Z3 can still find models.	Iavor Diatchki	More...				almost 7 years ago
Add another property of width.	Iavor Diatchki	More...				almost 7 years ago
More consistent statement of axioms for `cryWidthUnknown`	Iavor Diatchki	More...				almost 7 years ago
Use 32-bit GMP size limit on unknown architectures	Aaron Tomb	More...				almost 7 years ago

←
1
2
…
89
90
91
92
93
94
95
96
97
…
154
155
→