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
Jul 30, 2024 — Jul 30, 2025 Showing page 147 of 154 Search / Filter on:
A couple of additional simplification (maybe slow!)	Iavor S. Diatchki	More...				over 10 years ago
Replace CrySAT1. Implement information propagation. Hook debug output in solver.	Iavor S. Diatchki	More...				over 10 years ago
Propagate `x = inf` in conjunctions and disjunctions.	Iavor S. Diatchki	More...				over 10 years ago
Add regression test for github issue #133.	Brian Huffman	More...				over 10 years ago
Capture some of the invariants for the simplfier.	Iavor S. Diatchki	More...				over 10 years ago
Partially fixes #73	Adam C. Foltzer	More...				over 10 years ago
add tests for #73	Adam C. Foltzer	More...				over 10 years ago
Propagate '> 0' through expressions.	Iavor S. Diatchki	More...				over 10 years ago
Cosmetics: rewrite using `anyJust`.	Iavor S. Diatchki	More...				over 10 years ago
Adjust `cryDefined` to ensure that first argument fits.	Iavor S. Diatchki	More...				over 10 years ago
Fix `cryNoInf`: the second argument of `Mod` does not need to be finite.	Iavor S. Diatchki	More...				over 10 years ago
Check that the first element of `nLefFromThen` fits in the result.	Iavor S. Diatchki	More...				over 10 years ago
add guards for bit vector widths during concrete evaluation	Adam C. Foltzer	More...				over 10 years ago
Add regression tests for issue #135.	Brian Huffman	More...				over 10 years ago
Merge changes from latest version of SBV	Brian Huffman	More...				over 10 years ago
Comments and desugar Width into Lg2	Iavor S. Diatchki	More...				over 10 years ago
Comment	Iavor S. Diatchki	More...				over 10 years ago
Cosmetics: re-arrange, add export list, use `panic`.	Iavor S. Diatchki	More...				over 10 years ago
Cosmetics.	Iavor S. Diatchki	More...				over 10 years ago
Refactor `cryIsEq` to indicate that it should always be eliminated.	Iavor S. Diatchki	More...				over 10 years ago
Propagate `Fin` constraints across `:\|\|`	Iavor S. Diatchki	More...				over 10 years ago
0 `mod` x == 0	Iavor S. Diatchki	More...				over 10 years ago
x / 1 == x	Iavor S. Diatchki	More...				over 10 years ago
Substition	Iavor S. Diatchki	More...				over 10 years ago
Make sure that we generate valid terms, when removing @inf@.	Iavor S. Diatchki	More...				over 10 years ago
Computing free variables, plus some generic traversals.	Iavor S. Diatchki	More...				over 10 years ago
Working draft of "hacking" document	Adam C. Foltzer	More...				over 10 years ago
add wip branch info to HACKING.md	Adam C. Foltzer	More...				over 10 years ago
Bugfix: typo	Iavor S. Diatchki	More...				over 10 years ago
Remember to call the finite constructors.	Iavor S. Diatchki	More...				over 10 years ago

←
1
2
…
143
144
145
146
147
148
149
150
151
152
153
154
→