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
Jul 27, 2024 — Jul 27, 2025 Showing page 137 of 154 Search / Filter on:
Only one option for tc-solver	Trevor Elliott	More...				over 10 years ago
Connect the tc solver to a repl option	Trevor Elliott	More...				over 10 years ago
Abstract the solver used	Trevor Elliott	More...				over 10 years ago
Merge remote-tracking branch 'origin/master' into wip/cs	Iavor S. Diatchki	More...				over 10 years ago
prepare for 7.10	Adam C. Foltzer	More...				over 10 years ago
prepare for 7.10	Adam C. Foltzer	More...				over 10 years ago
Extra pragma	Iavor S. Diatchki	More...				over 10 years ago
Merge remote-tracking branch 'origin/master' into wip/cs	Iavor S. Diatchki	More...				over 10 years ago
note about CVC4 from Homebrew	Adam C. Foltzer	More...				over 10 years ago
note about CVC4 from Homebrew	Adam C. Foltzer	More...				over 10 years ago
update readme with Homebrew info	Adam C. Foltzer	More...				over 10 years ago
update readme with Homebrew info	Adam C. Foltzer	More...				over 10 years ago
Adapt to use new Data.SBV.Dynamic API in SBV-4.3	Brian Huffman	More...				over 10 years ago
Adapt to use new Data.SBV.Dynamic API in SBV-4.3	Brian Huffman	More...				over 10 years ago
fix #197	Adam C. Foltzer	More...				over 10 years ago
fix #197	Adam C. Foltzer	More...				over 10 years ago
Merge branch 'release/2.2.1' into releases	Adam C. Foltzer	More...				over 10 years ago
clean up doc distribution	Adam C. Foltzer	More...				over 10 years ago
bump to 2.2.1	Adam C. Foltzer	More...				over 10 years ago
fix problems uncovered by hackage and stackage	Adam C. Foltzer	More...				over 10 years ago
Merge branch 'release/2.2.0' into releases	Adam C. Foltzer	More...				over 10 years ago
update copyright years	Adam C. Foltzer	More...				over 10 years ago
clean up how license files are included in dist	Adam C. Foltzer	More...				over 10 years ago
add pointer to CRYPTOLPATH in error message	Adam C. Foltzer	More...				over 10 years ago
add environment variable documentation to `--help`	Adam C. Foltzer	More...				over 10 years ago
clean up warnings and remove dead code	Adam C. Foltzer	More...				over 10 years ago
add latest Stackage LTS for release	Adam C. Foltzer	More...				over 10 years ago
bump version for 2.2.0 release	Adam C. Foltzer	More...				over 10 years ago
bump SBV version for better ABC support	Adam C. Foltzer	More...				over 10 years ago
Speed up 'packWord' and 'unpackWord' functions in SBV backend	Brian Huffman	More...				over 10 years ago

←
1
2
…
133
134
135
136
137
138
139
140
141
…
153
154
→