C

cryptol

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed about 20 hours ago. based on code collected about 20 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 29, 2024 — Jul 29, 2025 Showing page 134 of 154 Search / Filter on:
First stab at type-checker sanity checking.	Iavor S. Diatchki	More...				about 10 years ago
Add a ':write' command	Thomas M. DuBuisson	More...				about 10 years ago
Remember to insert casts when simplifying; don't mess with user-supplied signatures.	Iavor S. Diatchki	More...				about 10 years ago
add announcement venues	Adam C. Foltzer	More...				about 10 years ago
Make 'lg2' actually compute 'lg2'	Thomas M. DuBuisson	More...				about 10 years ago
Remove unintentional string change	Thomas M. DuBuisson	More...				about 10 years ago
Fix #215	Thomas M. DuBuisson	More...				about 10 years ago
Fix #214: Add the test that shows the success.	Thomas M. DuBuisson	More...				about 10 years ago
Fix the exporting of length function to SMT	Iavor S. Diatchki	More...				about 10 years ago
Merge branch 'master' of github.com:GaloisInc/cryptol	Iavor S. Diatchki	More...				about 10 years ago
Another take on improvements.	Iavor S. Diatchki	More...				about 10 years ago
Example crash in HEAD (issue #214)	Thomas M. DuBuisson	More...				about 10 years ago
Split out expression simplification in a separate module	Iavor S. Diatchki	More...				about 10 years ago
An extra constraint for well-definedness of LenFromThen	Iavor S. Diatchki	More...				about 10 years ago
@yav Another TC example for #212	Thomas M. DuBuisson	More...				about 10 years ago
Simplify things by reusing type-checker names in the solver.	Iavor S. Diatchki	More...				about 10 years ago
Merge branch 'master' of github.com:GaloisInc/cryptol	Iavor S. Diatchki	More...				about 10 years ago
Start on interval analysis	Iavor S. Diatchki	More...				about 10 years ago
Checkpoint	Iavor S. Diatchki	More...				about 10 years ago
Example type constraint width issues	Thomas M. DuBuisson	More...				about 10 years ago
Split off in a separate module	Iavor S. Diatchki	More...				about 10 years ago
Checkpoint.	Iavor S. Diatchki	More...				about 10 years ago
A bit more simplification of types.	Iavor S. Diatchki	More...				about 10 years ago
Merge branch 'master' of github.com:GaloisInc/cryptol	Iavor S. Diatchki	More...				about 10 years ago
Fix pretty printing bug	Iavor S. Diatchki	More...				about 10 years ago
Some more info about non-linear constraints.	Iavor S. Diatchki	More...				about 10 years ago
Add regression test for issue #211.	Brian Huffman	More...				about 10 years ago
Make evaluation of splitAt a bit lazier. Fixes #211.	Brian Huffman	More...				about 10 years ago
documentation fixes (tuples, spelling, other wibble)	Dylan McNamee	More...				about 10 years ago
More debug info and comments only	Iavor S. Diatchki	More...				about 10 years ago

←
1
2
…
130
131
132
133
134
135
136
137
138
…
153
154
→