C

cryptol

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed about 9 hours ago. based on code collected about 10 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 25, 2024 — Jul 25, 2025 Showing page 145 of 154 Search / Filter on:
Forgot to add this module in the last commit	Trevor Elliott	More...				over 10 years ago
Fix a bug with the closed env, and add a test	Trevor Elliott	More...				over 10 years ago
Update issue 225 to reflect the use of mono-binds	Trevor Elliott	More...				over 10 years ago
Add a test that shows programs that fail with mono-binds	Trevor Elliott	More...				over 10 years ago
Add some tests for the mono-binds feature	Trevor Elliott	More...				over 10 years ago
Better partitioning of the monomorphizing code	Trevor Elliott	More...				over 10 years ago
Merge branch 'master' into wip/mono-binds	Trevor Elliott	More...				over 10 years ago
Make the cryptol binary depend on the sources	Trevor Elliott	More...				over 10 years ago
Merge remote-tracking branch 'origin/master' into wip/mono-binds	Trevor Elliott	More...				over 10 years ago
Remove debugging output	Trevor Elliott	More...				over 10 years ago
Thread a flag through to manage let-generalization	Trevor Elliott	More...				over 10 years ago
small tweak to readme wording	Adam C. Foltzer	More...				over 10 years ago
add pointer to low-hanging fruit issue label	Adam C. Foltzer	More...				over 10 years ago
Test 225 no longer fails, this fixes #5	Trevor Elliott	More...				over 10 years ago
Merge remote-tracking branch 'origin/master' into wip/mono-binds	Trevor Elliott	More...				over 10 years ago
Updated test output for monomorphic bindings	Trevor Elliott	More...				over 10 years ago
Only return changes to the closed environment	Trevor Elliott	More...				over 10 years ago
Make sure to initialize iClosed with the imported environment	Trevor Elliott	More...				over 10 years ago
Make sure to pass out the new closed set from inferBinds	Trevor Elliott	More...				over 10 years ago
Make bindings monomorphic based on use of closed values	Trevor Elliott	More...				over 10 years ago
tweak escaped variable message to be more clear	Adam C. Foltzer	More...				over 10 years ago
Merge changes from SBV version 3.3	Brian Huffman	More...				over 10 years ago
update random values after changing random generation	Adam C. Foltzer	More...				over 10 years ago
Merge branch 'master' into wip/mono-binds	Trevor Elliott	More...				over 10 years ago
Don't do fancy progress bars for :check in batch mode	Adam C. Foltzer	More...				over 10 years ago
Add a stdout file for the failing test, issues/T146	Trevor Elliott	More...				over 10 years ago
Allow `make test` to output the diff results	Trevor Elliott	More...				over 10 years ago
Add block decls to the local environment after partitioning	Trevor Elliott	More...				over 10 years ago
Rename iParams to iLocalEnv	Trevor Elliott	More...				over 10 years ago
Better partitioning of monomorphic declarations	Trevor Elliott	More...				over 10 years ago

←
1
2
…
141
142
143
144
145
146
147
148
149
…
153
154
→