0
I Use This!
Activity Not Available

Commits : Listings

Analyzed about 1 year ago. based on code collected about 1 year ago.
Jan 18, 2023 — Jan 18, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Improve bitcount functions. More... almost 3 years ago
Use the empty variant to define counit and drop abstraction. More... almost 3 years ago
Deprecate some Prime_float values available from recent Stdlib. More... almost 3 years ago
Add 4.14.0 to dune-workspace.dev. More... almost 3 years ago
Add switches to dune-workspace.dev. More... almost 3 years ago
Update change log. More... almost 3 years ago
Fix extunix deprecation. More... almost 3 years ago
Rename search and search_s to find_map and find_map_s everywhere. More... almost 3 years ago
Add iterators for Prime_cache. More... almost 3 years ago
Remove accidental addition from last commit. More... almost 3 years ago
Switch to LGPL-3.0 Linking Exception. More... almost 3 years ago
Update the "Installation" section of the README. More... almost 3 years ago
Merge pull request #2 from idkjs/patch-1 More... almost 3 years ago
Update README.md More... almost 3 years ago
Document exceptions in Prime_enummap. More... over 4 years ago
Rename Prime_enummap.{pop_min => pop_min_exn, pop_max => pop_max_exn}. More... over 4 years ago
Update change log for v0.9.2. More... over 4 years ago
Add exception suffixes to Prime_enumset.S.{pop_min,pop_max}. More... over 4 years ago
Add Prime_enumset.S.{min_elt,max_elt}. More... over 4 years ago
Remove record prefix in prime_beacon.ml. More... over 4 years ago
Fix atomicity issue in beacon and add test. More... over 4 years ago
Update change log for 0.9.1. More... over 4 years ago
Restore compatibility with OCaml 4.07.1. More... over 4 years ago
Add sequence extraction for Prime_enumset and Prime_enummap. More... over 4 years ago
Specialise and test Prime_enummap.update. More... over 4 years ago
Add Prime_enumset.disjoint. More... over 4 years ago
Add Prime_enummap.{find_opt, update}. More... over 4 years ago
Add Prime_seq. More... over 4 years ago
Add Prime_list.{compare,equal}. More... about 5 years ago
Switch change log format and truncate very old entries. More... about 5 years ago