C

cryptol

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 27, 2024 — Jul 27, 2025 Showing page 139 of 154 Search / Filter on:
split out notebook into separate package	Adam C. Foltzer	More...				over 10 years ago
Updates to the Cryptol specializer:	Brian Huffman	More...				over 10 years ago
Fix a panic, when we "improve" an unused variable	Iavor S. Diatchki	More...				over 10 years ago
Simplify simplification rules for addition	Iavor S. Diatchki	More...				over 10 years ago
Clean up rules a bit, and add a note about some missing rules	Iavor S. Diatchki	More...				over 10 years ago
Merge remote-tracking branch 'origin/master' into wip/cs	Iavor S. Diatchki	More...				over 10 years ago
make cryptol interpreter utf8 by default	Adam C. Foltzer	More...				over 10 years ago
Switch to new defaulting code in type inference.	Iavor S. Diatchki	More...				over 10 years ago
Port defaulting to new solver; hook it in with prove implication.	Iavor S. Diatchki	More...				over 10 years ago
Fix test (again)	Iavor S. Diatchki	More...				over 10 years ago
Better errors	Iavor S. Diatchki	More...				over 10 years ago
Merge remote-tracking branch 'origin/master' into wip/cs	Iavor S. Diatchki	More...				over 10 years ago
Merge branch 'master' of github.com:GaloisInc/cryptol	Iavor S. Diatchki	More...				over 10 years ago
Modify testrunniner to figure out on its own if we have a dir or a test.	Iavor S. Diatchki	More...				over 10 years ago
Fix test.	Iavor S. Diatchki	More...				over 10 years ago
Allow for negatives in linear relations.	Iavor S. Diatchki	More...				over 10 years ago
Run linear relation improvement, even (especially!) then the values differ.	Iavor S. Diatchki	More...				over 10 years ago
Just debugging improvements.	Iavor S. Diatchki	More...				over 10 years ago
Hook in and improve linear relations.	Iavor S. Diatchki	More...				over 10 years ago
Generalize anyJust	Iavor S. Diatchki	More...				over 10 years ago
Comments, and some small changes:	Iavor S. Diatchki	More...				over 10 years ago
Merge pull request #172 from bryant/issue-167	Trevor Elliott	More...				over 10 years ago
add empty module test	bryant	More...				over 10 years ago
insert end-of-layout-block early when eof	bryant	More...				over 10 years ago
Add flag to support division by constant.	Iavor S. Diatchki	More...				over 10 years ago
Add a rewrite for a common pattern involving `width`	Iavor S. Diatchki	More...				over 10 years ago
Fix the non-linearity test	Iavor S. Diatchki	More...				over 10 years ago
Be queit	Iavor S. Diatchki	More...				over 10 years ago
Fix the location of `fin` constriaints when exporting to SMT	Iavor S. Diatchki	More...				over 10 years ago
When declaring non-linear variables, assert their finatness also.	Iavor S. Diatchki	More...				over 10 years ago

←
1
2
…
135
136
137
138
139
140
141
142
143
…
153
154
→