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
Sep 01, 2024 — Sep 01, 2025 Showing page 92 of 156 Search / Filter on:
Fix typo in documentation.	Brian Huffman	More...				over 6 years ago
Merge pull request #575 from GaloisInc/wip/no-from-then	brianhuffman	More...				over 6 years ago
Remove `[x..]` and `[x,y..]` syntax from documentation.	Brian Huffman	More...				over 6 years ago
Update test for new utf-8 error message	Eric Mertens	More...				over 6 years ago
Remove unused primitive type operator `lengthFromThen`.	Brian Huffman	More...				over 6 years ago
Remove unused primitive `fromThen`.	Brian Huffman	More...				over 6 years ago
Remove `[x..]` and `[x,y..]` syntax from Cryptol.	Brian Huffman	More...				over 6 years ago
Remove all uses of `[x..]` syntax from examples and tests.	Brian Huffman	More...				over 6 years ago
Track file content fingerprints alongside loaded modules	Eric Mertens	More...				over 6 years ago
Update AppVeyor configuration	Aaron Tomb	More...				over 6 years ago
Update Travis for GHC 8.6	Aaron Tomb	More...				over 6 years ago
Update Syntax.md and re-sync it with Syntax.tex	Iavor Diatchki	More...				over 6 years ago
Merge branch 'master' into rec-upd	Iavor Diatchki	More...				over 6 years ago
Fixup function notation in records	Iavor Diatchki	More...				over 6 years ago
Reference implementation of updates.	Iavor Diatchki	More...				over 6 years ago
Concrete evaluation	Iavor Diatchki	More...				over 6 years ago
Create updating dictionaries	Iavor Diatchki	More...				over 6 years ago
Type checking done (except evidence) + fixes prinintg + filling missing cases	Iavor Diatchki	More...				over 6 years ago
Replace undefined with error to tell them apart (these are temporary)	Iavor Diatchki	More...				over 6 years ago
Parsing of nested field updates	Iavor Diatchki	More...				over 6 years ago
Do most of the desugaring for record updates in the renamer	Iavor Diatchki	More...				over 6 years ago
This should correct issue #572	Iavor Diatchki	More...				over 6 years ago
Renamer changes for update	Iavor Diatchki	More...				over 6 years ago
Basics of setting a single field.	Iavor Diatchki	More...				over 6 years ago
Generalize the dictionary for HasGoal to support multiple methods.	Iavor Diatchki	More...				over 6 years ago
Add a new constructor for updating records to the intermediate language.	Iavor Diatchki	More...				over 6 years ago
Fix parser error	Iavor Diatchki	More...				over 6 years ago
Merge branch 'master' into rec-upd	Iavor Diatchki	More...				over 6 years ago
Add a hacky way to get local executable path	Iavor Diatchki	More...				over 6 years ago
Special case for `svFromInteger` at bit width 0. Fixes #563.	Brian Huffman	More...				over 6 years ago

←
1
2
…
88
89
90
91
92
93
94
95
96
…
155
156
→