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
Sep 03, 2024 — Sep 03, 2025 Showing page 99 of 156 Search / Filter on:
Update CryptolPrims.md for prims with changed types and new instances.	Brian Huffman	More...				about 7 years ago
Fix definition of `demote` in reference interpreter.	Brian Huffman	More...				about 7 years ago
Fix primitives for list enumerations in reference interpreter.	Brian Huffman	More...				about 7 years ago
Generalize `[x,y...]` (`infFromThen` primitive) to class `Arith`.	Brian Huffman	More...				about 7 years ago
Generalize `[x...]` (i.e. `infFrom` primitive) to class `Arith`.	Brian Huffman	More...				about 7 years ago
Remove now-redundant primitive `toZ`; use `fromInteger` instead.	Brian Huffman	More...				about 7 years ago
Generalize prelude function `fromInteger` to class `Arith`.	Brian Huffman	More...				about 7 years ago
Add regression test for #323.	Brian Huffman	More...				about 7 years ago
Use the full path when suggesting the fix for the test. Fixes #509	Iavor Diatchki	More...				about 7 years ago
Fix more tests.	Iavor Diatchki	More...				about 7 years ago
Merge remote-tracking branch 'origin/master' into literal-class	Iavor Diatchki	More...				about 7 years ago
Fix implementation of `negate` and `lg2` for types `Integer` and `Z n`.	Brian Huffman	More...				about 7 years ago
Merge remote-tracking branch 'origin/master' into literal-class	Iavor Diatchki	More...				about 7 years ago
Fix output for tests/issues/T146.icry to reflect changes in unification.	Brian Huffman	More...				about 7 years ago
Merge remote-tracking branch 'origin/master' into literal-class	Iavor Diatchki	More...				about 7 years ago
Tweak unification algorithm to preserve old behavior more.	Brian Huffman	More...				about 7 years ago
Implement defaulting in the presence of overloaded literals.	Iavor Diatchki	More...				about 7 years ago
Fix test output for #146.	Brian Huffman	More...				about 7 years ago
Fix unification algorithm to avoid returning invalid `Subst` values.	Brian Huffman	More...				about 7 years ago
Document invariant on `Subst` type; redo checking of the invariant.	Brian Huffman	More...				about 7 years ago
Add regression test for #513.	Brian Huffman	More...				about 7 years ago
Remove debugging output.	Brian Huffman	More...				about 7 years ago
Add checks for instantiating type schemas containing unification vars.	Brian Huffman	More...				about 7 years ago
Fix typos in comments.	Brian Huffman	More...				about 7 years ago
Specialize type of `TVFree` constructor argument for type variable scope.	Brian Huffman	More...				about 7 years ago
Further specialize type of `lazyTVars` table.	Brian Huffman	More...				about 7 years ago
Specialize type of `lazyTVars` table in state of Kind-checking monad.	Brian Huffman	More...				about 7 years ago
Merge remote-tracking branch 'origin/master' into literal-class	Iavor Diatchki	More...				about 7 years ago
Merge branch 'master' of github.com:GaloisInc/cryptol	Iavor Diatchki	More...				about 7 years ago
Improved locations for defaulting warnings.	Iavor Diatchki	More...				about 7 years ago

←
1
2
…
95
96
97
98
99
100
101
102
103
…
155
156
→