0
I Use This!
High Activity

Commits : Listings

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