Commits

Author Commit Message Labels Comments Date
Kyle Headley
setup for Grifola min benchmarks
Branches
nominal
Matthew Hammer
merge; fixed copy+paste error for --id and --di
Branches
nominal
Matthew Hammer
minor changes
Branches
nominal
Matthew Hammer
more debugging-related tweaking
Branches
nominal
Matthew Hammer
fixed debugging support for ropes
Branches
nominal
Matthew Hammer
wrote experiments for reductions
Branches
nominal
Matthew Hammer
commas are confusing in CSV file; using hypens instead; Rope_iter_0_0 is seems to be efficient
Branches
nominal
Matthew Hammer
debugging performance of incremental rope representation, with granularity control
Branches
nominal
Matthew Hammer
experimenting with different granularities of Rope_mergesort
Branches
nominal
Matthew Hammer
tweaking rope_of_list to make a more stable version
Branches
nominal
Matthew Hammer
fixed bugs regarding input changes in spreadtree experiment
Branches
nominal
Kyle Headley
added filename to experiments args, created Grifola bench script
Branches
nominal
Matthew Hammer
Bugfix: Dynamic correctness check always passes now; It failed because dirtying was too aggressive
Branches
nominal
Matthew Hammer
moved cost counter into library code
Branches
nominal
Matthew Hammer
debugging rope_of_list and rope_mergesort
Branches
nominal
Matthew Hammer
implemented split, fst and snd for articulations
Branches
nominal
Matthew Hammer
prepared Rope_mergesort_grifola experiment; some TODOs remain to fix
Branches
nominal
Matthew Hammer
new implementation of mergesort
Branches
nominal
Matthew Hammer
implemented more rope functions
Branches
nominal
Matthew Hammer
implemented ropes
Branches
nominal
Matthew Hammer
ready to start experimenting on spread trees; refactored experiments script; improved control over which experiment runs, and the random seed
Branches
nominal
Kyle Headley
added heap/stack to experiments
Branches
nominal
Matthew Hammer
updated experiments script to use nominal Grifola
Branches
nominal
Matthew Hammer
bugfix: make sure to get the latest argument for nominal thunks
Branches
nominal
Matthew Hammer
debugging with experiments and ounit testing; fixed missing case for node_force
Branches
nominal
Matthew Hammer
Grifola has bugs
Branches
nominal
Matthew Hammer
first draft of Grifola nominal memo tables; next step is to test it on existing AKList tests
Branches
nominal
Matthew Hammer
towards nominal memo tables in Grifola; remaining: dirtying logic
Branches
nominal
Matthew Hammer
unifying nominal and non-nominal memotables
Branches
nominal
Matthew Hammer
fix todos for nondet keys/names
Branches
nominal
  1. Prev
  2. Next