openhub.net
Black Duck Software, Inc.
Open Hub
Follow @
OH
Sign In
Join Now
Projects
People
Organizations
Tools
Blog
BDSA
Projects
People
Projects
Organizations
Forums
C
cryptol
Settings
|
Report Duplicate
0
I Use This!
×
Login Required
Log in to Open Hub
Remember Me
High Activity
Commits
: Listings
Analyzed
about 9 hours
ago. based on code collected
about 10 hours
ago.
Jul 25, 2024 — Jul 25, 2025
Showing page 145 of 154
Search / Filter on:
Commit Message
Contributor
Files Modified
Lines Added
Lines Removed
Code Location
Date
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
→
This site uses cookies to give you the best possible experience. By using the site, you consent to our use of cookies. For more information, please see our
Privacy Policy
Agree