1. Yit Phang Khoo
  2. Adapton.ocaml

Commits

Author Commit Message Date Builds
jprider63
reordered arguments to be more compositional
jprider63
added some lifts
jprider63
Added some more combinators.
jprider63
Fixed function module type
Yit Phang Khoo
Fix PolySA to optimize partial application of const/thunk/memo and .memo* to also wrap the recursive call.
Yit Phang Khoo
Add PolySA to provide a polymorphic API over other self-adjusting modules.
Yit Phang Khoo
Move id field from EagerSATotalOrder.meta to EagerSATotalOrder.thunk, so that it will be the first value used by Hashtbl.hash_param (might save a bit of memory too).
jprider63
Added function module : SeededHashedType in Type.ml
jprider63
Defined types and started adding behaviors.
Matthew Hammer
Initial spreadsheet example implementation.
Yit Phang Khoo
"or" -> "||" (the former is deprecated).
Yit Phang Khoo
Include (other) baselines in benchmark overhead/speed-up plots.
Yit Phang Khoo
Provide a (linear projection) estimate of time left for each benchmark.
Yit Phang Khoo
Add "tfold(min)" benchmark.
Yit Phang Khoo
Rename "sum" benchmark to "tfold(sum)".
Yit Phang Khoo
Minor refactoring of the benchmark to refer to the main self-adjusting module rather than the self-adjusting list module.
Yit Phang Khoo
Augment Statistics as well as the benchmark with counters for various internal operations.
Yit Phang Khoo
Extract benchmark measurement functions into a new module Statistics.
Yit Phang Khoo
Add functions to get the unique ID of (non-)self-adjusting values/lists (useful for debugging memoization).
Yit Phang Khoo
Minor grammatical fixes in comments.
Yit Phang Khoo
Minor comment update for LazySABidi.
Yit Phang Khoo
Update and fix bugs in README.
Yit Phang Khoo
Pass invalidated timestamp to invalidator in TotalOrder.
Yit Phang Khoo
Avoid unnecessary unmemo calls and assignments in EagerSATotalOrder.
Yit Phang Khoo
Search only up until the furthest extent of prior linear probings in WeakSet.
Yit Phang Khoo
Fix WeakSet.merge to choose the first empty slot, rather than the last.
Yit Phang Khoo
Add insert and remove functions to SAList.
Yit Phang Khoo
Annotate Types.Counter.make to ensure the right type.
Yit Phang Khoo
Minor refactoring.
Yit Phang Khoo
Minor comment typo.
  1. Prev
  2. Next