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 30, 2024 — Aug 30, 2025 Showing page 136 of 155 Search / Filter on:
Fix `fastTypeOf` to handle selectors in the presence of type synonyms	Brian Huffman	More...				over 10 years ago
Bump sbv minimum version to 4.3	Brian Huffman	More...				over 10 years ago
Another way to represent simplification strucuture	Iavor S. Diatchki	More...				over 10 years ago
Correct rule for `LenFromThen x y w == 0`.	Iavor S. Diatchki	More...				over 10 years ago
Merge branch 'master' of github.com:GaloisInc/cryptol	Iavor S. Diatchki	More...				over 10 years ago
A few more special cases	Iavor S. Diatchki	More...				over 10 years ago
Fix minimization algorithm	Iavor S. Diatchki	More...				over 10 years ago
Fix endian-ness bug in `(^^)` introduced in b6b7e18adb447c47da3d819a3909b1ab5b0d1427.	Brian Huffman	More...				over 10 years ago
Fix endian-ness bug in `(^^)` introduced in b6b7e18adb447c47da3d819a3909b1ab5b0d1427.	Brian Huffman	More...				over 10 years ago
Handle addition and subtraction together.	Iavor S. Diatchki	More...				over 10 years ago
Merge branch 'master' of github.com:GaloisInc/cryptol	Iavor S. Diatchki	More...				over 10 years ago
Add a flag for verbose constraint solving.	Iavor S. Diatchki	More...				over 10 years ago
lg2 -> width	Dylan McNamee	More...				over 10 years ago
Remove old stuff	Iavor S. Diatchki	More...				over 10 years ago
Factor out simplification of summands	Iavor S. Diatchki	More...				over 10 years ago
Improve simplifification of addition	Iavor S. Diatchki	More...				over 10 years ago
Bugfix in the simplification rules	Iavor S. Diatchki	More...				over 10 years ago
Simplify things a bit, still not quite reasonable	Iavor S. Diatchki	More...				over 10 years ago
Add a case for comparing with `width` above	Iavor S. Diatchki	More...				over 10 years ago
Remove unused stuff (some of it will may have to come back later)	Iavor S. Diatchki	More...				over 10 years ago
Fix the one panic. Also check-point on other work.	Iavor S. Diatchki	More...				over 10 years ago
Reuse some code in the defaulting mechanism.	Iavor S. Diatchki	More...				over 10 years ago
Reuse `getVal` function; work with Nat' rather than Expr in models	Iavor S. Diatchki	More...				over 10 years ago
Fix documentation for `check`, and return a more reasonable return type.	Iavor S. Diatchki	More...				over 10 years ago
move Stackage config out of the way	Adam C. Foltzer	More...				over 10 years ago
add upper bound to SBV; bump version	Adam C. Foltzer	More...				over 10 years ago
Bump sbv minimum version to 4.3	Brian Huffman	More...				over 10 years ago
Merge module Cryptol.Symbolic.BitVector into Cryptol.Symbolic.Value	Brian Huffman	More...				over 10 years ago
Merge module Cryptol.Symbolic.BitVector into Cryptol.Symbolic.Value	Brian Huffman	More...				over 10 years ago
Merge branch 'master' into sbv-4.3	Brian Huffman	More...				over 10 years ago

←
1
2
…
132
133
134
135
136
137
138
139
140
…
154
155
→