C

cryptol

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 30, 2024 — Aug 30, 2025 Showing page 123 of 155 Search / Filter on:
generalize logic binary operations	Rob Dockins	More...				over 9 years ago
Generalize unary arithmetic operations	Rob Dockins	More...				over 9 years ago
Generalize binary arithmetic operations	Rob Dockins	More...				over 9 years ago
Further generalize evaluation code for use in both the concrete and symbolic evaluators.	Rob Dockins	More...				over 9 years ago
Start generalizing evaluator code to be used in both the concrete and symbolic evaluators.	Rob Dockins	More...				over 9 years ago
Make bitwise and shifting operations less aggressive about forcing bitsequences.	Rob Dockins	More...				over 9 years ago
Have enumeration primitives directly calculate their values instead of computing a list and indexing into it.	Rob Dockins	More...				over 9 years ago
Minor cleanup in Cryptol.Eval	Rob Dockins	More...				over 9 years ago
Fix the behavior of 'memoMap' to save more work.	Rob Dockins	More...				over 9 years ago
Merge branch 'master' of /home/robert/work/cryptol into new-eval	Rob Dockins	More...				over 9 years ago
Tweak substituions again to avoid expensive flattening operations	Rob Dockins	More...				over 9 years ago
Fix some bugs with the new substitution representation	Rob Dockins	More...				over 9 years ago
Change the representation of type substitutions.	Rob Dockins	More...				over 9 years ago
Change the representation of type substitutions.	Rob Dockins	More...				over 9 years ago
WIP. Improve performance of the new evaluator.	Robert Dockins	More...				over 9 years ago
WIP. New monadic Cryptol interpreter.	Robert Dockins	More...				over 9 years ago
Fix bogus simplification.	Iavor S. Diatchki	More...				over 9 years ago
Use hang and sep instead of hsep to print counterexamples.	Brian Huffman	More...				over 9 years ago
Fix typo in error constructor name	Robert Dockins	More...				over 9 years ago
Fall back onto unification in more cases when typechecking explicit sequences.	Robert Dockins	More...				over 9 years ago
Add keywords to the REPL autocompletion list.	Robert Dockins	More...				over 9 years ago
Add the 'lg2' type function as a synonym.	Robert Dockins	More...				over 9 years ago
Make a friendlier, non-panic error message for cases where patterns introduce nontrivial constraints.	Robert Dockins	More...				over 9 years ago
Update the parser to allow prefix operators in more places.	Robert Dockins	More...				over 9 years ago
Update the parser to handle '#' patterns as a special case.	Robert Dockins	More...				over 9 years ago
Add Fixity information to Name and the PPName class.	Robert Dockins	More...				over 9 years ago
Fix a boneheaded syntax error	Robert Dockins	More...				over 9 years ago
Load the Prelude even if a command-line module fails to load.	Robert Dockins	More...				over 9 years ago
Improve the printing of some panic messages.	Robert Dockins	More...				over 9 years ago
incorporating typos and other improvements to docs	Dylan McNamee	More...				over 9 years ago

←
1
2
…
119
120
121
122
123
124
125
126
127
…
154
155
→