C

cryptol

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 19, 2024 — Aug 19, 2025 Showing page 114 of 155 Search / Filter on:
print out all the declarations, not just current module	Eric Mullen	More...				about 8 years ago
don't print out proof things for now	Eric Mullen	More...				about 8 years ago
change in normalization of Min	Iavor S. Diatchki	More...				about 8 years ago
New rule: `min K1 a >= K2` ~> a >= K2 if `K1 >= K2`, and `False` otherwise	Iavor S. Diatchki	More...				about 8 years ago
Some code that is useful for tracing the simplifier when debugging.	Iavor S. Diatchki	More...				about 8 years ago
Just some comments that make it easy to disable defaulting.	Iavor S. Diatchki	More...				about 8 years ago
no longer defining new versions of Show, using different typeclass	Eric Mullen	More...				about 8 years ago
:all command and :ast command work	Eric Mullen	More...				about 8 years ago
added :ast command, working on printing out all definitions	Eric Mullen	More...				about 8 years ago
Updated with latest changes to Eval/Reference.lhs (5d9d8ba7)	Brian Huffman	More...				about 8 years ago
Removed definition of binary infix (~) from Cryptol prelude. Fixes #423.	Brian Huffman	More...				about 8 years ago
Update doc-strings to mention syntactic sugar for complement and sequences.	Brian Huffman	More...				about 8 years ago
Avoid using `copyByValue` with the wrong type. Fixes #420.	Brian Huffman	More...				over 8 years ago
Fix a corner case for `join` on 0-length inner sequences.	Robert Dockins	More...				over 8 years ago
Ignore stack and cabal new-build build artifacts	Robert Dockins	More...				over 8 years ago
Implement a missing case in the definition of 'transpose'.	Robert Dockins	More...				over 8 years ago
Reference interpreter: `update` raises run-time error on invalid index.	Brian Huffman	More...				over 8 years ago
Add regression tests for #406, #408, and #410.	Brian Huffman	More...				over 8 years ago
Merge branch 'robdockins-master'	Brian Huffman	More...				over 8 years ago
Merge branch 'master' of https://github.com/robdockins/cryptol into robdockins-master	Brian Huffman	More...				over 8 years ago
Fix type sanity checker problems on list comprehensions.	Brian Huffman	More...				over 8 years ago
Reference interpreter: fix bug in tuple comparisons	Brian Huffman	More...				over 8 years ago
Reference interpreter: Fix strictness of enumeration, shift/rotate, indexing	Brian Huffman	More...				over 8 years ago
Reference interpreter: Fix strictness of Arith and polynomial functions	Brian Huffman	More...				over 8 years ago
Perform more careful handling of divide-by-0 conditions.	Rob Dockins	More...				over 8 years ago
Clarify which prover finished first	Aaron Tomb	More...				over 8 years ago
Add rendered semantics document to repository	Aaron Tomb	More...				over 8 years ago
Write out the typechecker prelude when necessary	Trevor Elliott	More...				over 8 years ago
Edit documentation for reference interpreter.	Brian Huffman	More...				over 8 years ago
Add rules for Semantics.pdf to docs/Makefile	Brian Huffman	More...				over 8 years ago

←
1
2
…
110
111
112
113
114
115
116
117
118
…
154
155
→