C

cryptol

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed about 5 hours ago. based on code collected about 6 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 22, 2024 — Aug 22, 2025 Showing page 142 of 155 Search / Filter on:
Remove the dependency on mtl	Trevor Elliott	More...				over 10 years ago
Remove custom fork of SBV library in favor of the official SBV-4.0.	Brian Huffman	More...				over 10 years ago
Make NB in notebook into an Applicative instance	David Raymond Christiansen	More...				over 10 years ago
Update book pdf with changes from a15fb75	Adam C. Foltzer	More...				over 10 years ago
Make IPython notebook build again.	David Raymond Christiansen	More...				over 10 years ago
Fixes #172	Adam C. Foltzer	More...				over 10 years ago
update book with allSat	Adam C. Foltzer	More...				over 10 years ago
Merge branch 'yuuko-master'	Adam C. Foltzer	More...				over 10 years ago
Merge @yuuko's allsat pull requests	Adam C. Foltzer	More...				over 10 years ago
properties and cleanup for new contrib examples	Adam C. Foltzer	More...				over 10 years ago
add README for contrib	Adam C. Foltzer	More...				over 10 years ago
move RC4 to contrib directory	Adam C. Foltzer	More...				over 10 years ago
Merge pull request #69 from mknight-tag/master	Adam C. Foltzer	More...				over 10 years ago
serialize alex and happy targets	Adam C. Foltzer	More...				over 10 years ago
Fix definitions of sbvRotate{Left,Right} for large rotation amounts;	Brian Huffman	More...				over 10 years ago
Add regression test for issue #158.	Brian Huffman	More...				over 10 years ago
Merge changes from latest SBV version (3.5 pre-release)	Brian Huffman	More...				over 10 years ago
Merge pull request #157 from dmwit/master	brianhuffman	More...				over 10 years ago
canonicalize records during comparison in :prove	Daniel Wagner	More...				over 10 years ago
Avoid importing private modules from sbv package	Brian Huffman	More...				over 10 years ago
Fix-up export to SMT to deal correctly with finiteness.	Iavor S. Diatchki	More...				over 10 years ago
Merge branch 'master' into wip/cs	Iavor S. Diatchki	More...				over 10 years ago
Import Applicative for pre 7.10	Iavor S. Diatchki	More...				over 10 years ago
Checkpoint (with debug stuff)	Iavor S. Diatchki	More...				over 10 years ago
Bugfix in simplification.	Iavor S. Diatchki	More...				over 10 years ago
Fix to work with GHC 7.8	Iavor S. Diatchki	More...				over 10 years ago
Switch to using Tries.	Iavor S. Diatchki	More...				over 10 years ago
Update for GHC 7.10	Iavor S. Diatchki	More...				over 10 years ago
Remove dependency on pressburger	Iavor S. Diatchki	More...				over 10 years ago
Merge branch 'master' into wip/cs	Iavor S. Diatchki	More...				over 10 years ago

←
1
2
…
138
139
140
141
142
143
144
145
146
…
154
155
→