C

cryptol

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 22, 2024 — Jul 22, 2025 Showing page 145 of 154 Search / Filter on:
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
Make general substitutions, and move code into AST module.	Iavor S. Diatchki	More...				over 10 years ago
Split off translation between `TypeCheck.AST` and `TypeCheck.Numeric.AST`	Iavor S. Diatchki	More...				over 10 years ago
Add extra rule.	Iavor S. Diatchki	More...				over 10 years ago
Checkpoint.	Iavor S. Diatchki	More...				over 10 years ago
Hook-in incomplete new solver.	Iavor S. Diatchki	More...				over 10 years ago
Fix typpo	Iavor S. Diatchki	More...				over 10 years ago
Make the diff command line absolute	Trevor Elliott	More...				over 10 years ago
Make the diff command line absolute	Trevor Elliott	More...				over 10 years ago
Don't generalize bindings in where clauses	Trevor Elliott	More...				over 10 years ago
Update renamer errors to clarify some funny situations	Trevor Elliott	More...				over 10 years ago
Towards integrating into the typechecker. We still need to do improvement.	Iavor S. Diatchki	More...				over 10 years ago
Start on intergrating with type checker.	Iavor S. Diatchki	More...				over 10 years ago
Record the parameters of the current scheama into fresh variables generated during kind checking.	Iavor S. Diatchki	More...				over 10 years ago
Add an example where we can get capture when substituting.	Iavor S. Diatchki	More...				over 10 years ago
Add Parser AST constructor EInfFrom to represent [x...] and [x,y...]	Brian Huffman	More...				over 10 years ago
Fix symbolic simulator implementations of (!!) and (@@)	Brian Huffman	More...				over 10 years ago

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