C

cryptol

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 28, 2024 — Aug 28, 2025 Showing page 134 of 155 Search / Filter on:
bump version	Adam C. Foltzer	More...				about 10 years ago
fixed replicateV during symbolic simulation	Adam C. Foltzer	More...				about 10 years ago
fixed replicateV during symbolic simulation	Adam C. Foltzer	More...				about 10 years ago
Wibbles	Iavor S. Diatchki	More...				over 10 years ago
Propagate constants in comparisons	Iavor S. Diatchki	More...				over 10 years ago
Add --rewrite-divk to test	Iavor S. Diatchki	More...				over 10 years ago
Fix test output issues214.	Iavor S. Diatchki	More...				over 10 years ago
Put cast under the quantifiers, fixes test05 in mono-binds	Iavor S. Diatchki	More...				over 10 years ago
Stick with integers, otherwise we overflow for large lists	Iavor S. Diatchki	More...				over 10 years ago
Fix broken rewrite	Iavor S. Diatchki	More...				over 10 years ago
Merge branch 'master' of github.com:GaloisInc/cryptol	Iavor S. Diatchki	More...				over 10 years ago
More constant propagation when solving	Iavor S. Diatchki	More...				over 10 years ago
Functions for computing roots	Iavor S. Diatchki	More...				over 10 years ago
Use Text consistently in the parser interface	Trevor Elliott	More...				over 10 years ago
Adds more support for UTF-8 in identifiers	Trevor Elliott	More...				over 10 years ago
version bump to 2.3.0; fix warnings	Adam C. Foltzer	More...				over 10 years ago
Fix 7.10/7.8 compatibility with use of mempty	Trevor Elliott	More...				over 10 years ago
Fix #177	Trevor Elliott	More...				over 10 years ago
Add a naming environment to the pretty printer	Trevor Elliott	More...				over 10 years ago
Add :read command	Thomas M. DuBuisson	More...				over 10 years ago
Add option to run-core lint.	Iavor S. Diatchki	More...				over 10 years ago
Import applicative qualified, to make things work on 7.8	Iavor S. Diatchki	More...				over 10 years ago
First stab at type-checker sanity checking.	Iavor S. Diatchki	More...				over 10 years ago
Add a ':write' command	Thomas M. DuBuisson	More...				over 10 years ago
Remember to insert casts when simplifying; don't mess with user-supplied signatures.	Iavor S. Diatchki	More...				over 10 years ago
add announcement venues	Adam C. Foltzer	More...				over 10 years ago
Make 'lg2' actually compute 'lg2'	Thomas M. DuBuisson	More...				over 10 years ago
Remove unintentional string change	Thomas M. DuBuisson	More...				over 10 years ago
Fix #215	Thomas M. DuBuisson	More...				over 10 years ago
Fix #214: Add the test that shows the success.	Thomas M. DuBuisson	More...				over 10 years ago

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