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 27, 2024 — Jul 27, 2025 Showing page 140 of 154 Search / Filter on:
Disable some of the NL code; get back to a somewhat working state.	Iavor S. Diatchki	More...				over 10 years ago
Use Map instead of Trie for the moment (Tries take too long to build)	Iavor S. Diatchki	More...				over 10 years ago
Add the filename to parser errors	Trevor Elliott	More...				over 10 years ago
Fix a typo	Trevor Elliott	More...				over 10 years ago
Always pack the zero literal	Trevor Elliott	More...				over 10 years ago
Merge remote-tracking branch 'origin/master' into wip/cs	Iavor S. Diatchki	More...				over 10 years ago
move issue218 test to issue116	Adam C. Foltzer	More...				over 10 years ago
update (failing) test case for 0-based tuple index	Adam C. Foltzer	More...				over 10 years ago
correction: 49030290 fixes #117	Adam C. Foltzer	More...				over 10 years ago
fix #93	Adam C. Foltzer	More...				over 10 years ago
add load targets to search path	Adam C. Foltzer	More...				over 10 years ago
Merge remote-tracking branch 'origin/master' into wip/cs	Iavor S. Diatchki	More...				over 10 years ago
exceptions no longer bring down the kernel	Adam C. Foltzer	More...				over 10 years ago
fewer default warnings in notebook	Adam C. Foltzer	More...				over 10 years ago
configuration depends on cryptol.cabal	Adam C. Foltzer	More...				over 10 years ago
add warnShadowing REPL option	Adam C. Foltzer	More...				over 10 years ago
add warnShadowing REPL option	Adam C. Foltzer	More...				over 10 years ago
disable `let` in notebook	Adam C. Foltzer	More...				over 10 years ago
support :prove, :sat, and others in notebook	Adam C. Foltzer	More...				over 10 years ago
add abc prover support	Adam C. Foltzer	More...				over 10 years ago
bump version constraint for ipython-kernel	Adam C. Foltzer	More...				over 10 years ago
remove submodule; EasyKernel is on hackage	Adam C. Foltzer	More...				over 10 years ago
clarify the name of the icryptol script	Adam C. Foltzer	More...				over 10 years ago
remove bit about cloning IHaskell from README	Adam C. Foltzer	More...				over 10 years ago
document the `make run` target	Adam C. Foltzer	More...				over 10 years ago
document the `make run` target	Adam C. Foltzer	More...				over 10 years ago
document notebook branch and add submodule	Adam C. Foltzer	More...				over 10 years ago
make notebook distributable	Adam C. Foltzer	More...				over 10 years ago
add just enough strictness to evalCmd	Adam C. Foltzer	More...				over 10 years ago
Merge branch 'master' into feature/issue75	Adam C. Foltzer	More...				over 10 years ago

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