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 17, 2024 — Jul 17, 2025 Showing page 143 of 154 Search / Filter on:
Merge remote-tracking branch 'origin/master' into wip/cs	Iavor S. Diatchki	More...				over 10 years ago
Fixes to applying substitutin to TypeMap keys.	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
Fix a bug with being inconsistent with how we make substitutions.	Iavor S. Diatchki	More...				over 10 years ago
Fix apSubstTypeMapKeys	Trevor Elliott	More...				over 10 years ago
Clean-up things.	Iavor S. Diatchki	More...				over 10 years ago
Merge in the history of the mono-binds change	Trevor Elliott	More...				over 10 years ago
Add the mono-binds flag	Adam C. Foltzer	More...				over 10 years ago
Filter out "true" in simplifyProps	Trevor Elliott	More...				over 10 years ago
Merge branch 'wip/cs' of github.com:GaloisInc/cryptol into wip/cs	Trevor Elliott	More...				over 10 years ago
Merge branch 'master' into wip/cs	Trevor Elliott	More...				over 10 years ago
Add a Goals newtype	Trevor Elliott	More...				over 10 years ago
Record the computed substitution.	Iavor S. Diatchki	More...				over 10 years ago
Add constraints araising from improvement.	Iavor S. Diatchki	More...				over 10 years ago
Remove `smtpOrig`, we don't really need it for now.	Iavor S. Diatchki	More...				over 10 years ago
Store goals in a TypeMap, instead of a list	Trevor Elliott	More...				over 10 years ago
Merge branch 'wip/cs' of github.com:GaloisInc/cryptol into wip/cs	Iavor S. Diatchki	More...				over 10 years ago
Add improvements based on a linear relation (XXX: Still loosing constraints in imps.)	Iavor S. Diatchki	More...				over 10 years ago
fix up a couple mono-binds-related tests	Adam C. Foltzer	More...				over 10 years ago
Export the prop/expr maps	Trevor Elliott	More...				over 10 years ago
Add a TrieMaps for Props and Exprs	Trevor Elliott	More...				over 10 years ago
Merge branch 'master' into wip/mono-binds	Adam C. Foltzer	More...				over 10 years ago
update documentation of where clauses with mono-binds info	Adam C. Foltzer	More...				over 10 years ago
exclude emacs autosave files from Cryptol dependencies in Makefile	Adam C. Foltzer	More...				over 10 years ago
Don't try to prove True	Trevor Elliott	More...				over 10 years ago
Export schema-parsing functions	Brian Huffman	More...				over 10 years ago
Derive Eq and Show for Prop	Trevor Elliott	More...				over 10 years ago
Group common inequalities together	Trevor Elliott	More...				over 10 years ago
Simplify the Exprs in goals	Trevor Elliott	More...				over 10 years ago
Tab and untab when pushing and popping, respectively.	Iavor S. Diatchki	More...				over 10 years ago

←
1
2
…
139
140
141
142
143
144
145
146
147
…
153
154
→