Commits

Show all
Author Commit Message Labels Comments Date
Yit Phang Khoo
Add a test that reveals a correctness issue due to the use of Weak sets for memoization.
Yit Phang Khoo
Minor renaming.
Yit Phang Khoo
Update for OCaml version 4.02 (now the minimum requirement).
Yit Phang Khoo
Move ocamlbuild tags from Makefile into _tags files.
Yit Phang Khoo
Minor comment typo.
Yit Phang Khoo
Add an assertion and a comment about the new exact dirtying maintenance logic.
Yit Phang Khoo
Augment dependency edges' dirty flag to also mark obsolete edges, to make dirtying exact.
Yit Phang Khoo
Modify TestAList to check only a prefix of the output list, to allow laziness.
Yit Phang Khoo
Flip the arguments of AList.take.
Yit Phang Khoo
Remove ununsed variable.
Yit Phang Khoo
Add create/hit/miss counts to Statistics and benchmarks.
Yit Phang Khoo
Fix pldi2014-trend-benchmarks-template to plot graphs, and remove a couple of unused variables.
Yit Phang Khoo
Fix missing variables for pldi2014-trend-benchmarks-template.
Yit Phang Khoo
Fix inconsistent benchmark naming (with PLDI 2014 paper).
Yit Phang Khoo
Minor edits to benchmarking command-line help text.
Yit Phang Khoo
Fix inconsistent testsuite naming.
Yit Phang Khoo
Make Adapton installable, with instructions.
Yit Phang Khoo
Clean up Markdown formatting for README.md.
Yit Phang Khoo
Fix As2 broken due to refactoring of Statistics in #fa1bb76ffcf4.
Yit Phang Khoo
Save one word from WeakSet, and add some tests.
Yit Phang Khoo
Fix batch filter/map take count in pldi2014-benchmark-template.
Yit Phang Khoo
Make MyOUnit unwrap ForkCallException to produce more useful error messages.
Yit Phang Khoo
Merge.
Yit Phang Khoo
Apply correction to PLDI 2014 AEC monotonic exptree results and regenerate summaries with tables.
Yit Phang Khoo
Don't print trailing whitespaces in benchmark text table.
Yit Phang Khoo
Remove some more whitespace from benchmark log.
Yit Phang Khoo
Merge.
Yit Phang Khoo
Add missing Makefile target pldi2014-trend-benchmarks-template mistakenly dropped in #f6e64c588900.
Yit Phang Khoo
Separate the benchmark sub-functions out of conditional on the benchmark flags, in preparation for further refactoring.
Yit Phang Khoo
Move units from benchmark log to benchmark config.
  1. Prev
  2. Next