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 28, 2024 — Aug 28, 2025 Showing page 122 of 155 Search / Filter on:
Update benchmarks for new interpreters	Rob Dockins	More...				about 9 years ago
Add a utility function for forcing internal thunks in interpreter values.	Rob Dockins	More...				about 9 years ago
Make the implementation of "random" in the symbolic simulator more lazy.	Rob Dockins	More...				about 9 years ago
Fix a bug with the implementation of extractWord for symbolic values.	Rob Dockins	More...				about 9 years ago
Test suite maintenance	Rob Dockins	More...				about 9 years ago
Update unit test golden outputs	Rob Dockins	More...				about 9 years ago
Implement the 'trace' primitive in the symbolic simulator.	Rob Dockins	More...				about 9 years ago
Merge branch 'master' of cryptol into new-eval	Rob Dockins	More...				about 9 years ago
Merge branch 'master' of github.com:GaloisInc/cryptol	Rob Dockins	More...				about 9 years ago
Complete the implementation of symbolic evaluator primitives.	Rob Dockins	More...				about 9 years ago
Fixes #304	Trevor Elliott	More...				over 9 years ago
Update test output renamer errors	Trevor Elliott	More...				over 9 years ago
Fix overlap errors in the renamer	Trevor Elliott	More...				over 9 years ago
Remove the generic-trie dependency	Trevor Elliott	More...				over 9 years ago
Update output for tests 256 and 335	Brian Huffman	More...				over 9 years ago
:t prints un-renamed parsed AST. Fixes #336.	Brian Huffman	More...				over 9 years ago
Use a type-appropriate function argument name	Brian Huffman	More...				over 9 years ago
Avoid extra shadowing warnings when renaming comprehensions	Brian Huffman	More...				over 9 years ago
Fix build with GHC 7.8	Aaron Tomb	More...				over 9 years ago
Fixes #335	Trevor Elliott	More...				over 9 years ago
Fix typo in comment	Brian Huffman	More...				over 9 years ago
Fix typo in comment, whitespace	Brian Huffman	More...				over 9 years ago
Put bench/data/*.cry in extra-source-files	Ryan Scott	More...				over 9 years ago
Put bench/data/*.cry in extra-source-files	Ryan Scott	More...				over 9 years ago
Update (<<) and (>>) in the symbolic evaluator	Rob Dockins	More...				over 9 years ago
Back out changes that delayed applying substituions when composing.	Rob Dockins	More...				over 9 years ago
Back out changes that delayed applying substituions when composing.	Rob Dockins	More...				over 9 years ago
Start reimplementing the symbolic interpreter primitives based on the generalized operations from the concrete simulator.	Rob Dockins	More...				over 9 years ago
generalize the 'zero' operation	Rob Dockins	More...				over 9 years ago
Generalize unary logic operations. Also fix a bug where complement was not poperly truncating bitvector values.	Rob Dockins	More...				over 9 years ago

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