1. Yit Phang Khoo
  2. Adapton.ocaml

Commits

Author Commit Message Date Builds
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
Matthew Hammer
implementing memo interface defined in GrifolaType; still missing nominal variant
Branches
nominal
Matthew Hammer
MakeArt rather than just Make
Branches
nominal
Matthew Hammer
MakeArt rather than just Make
Branches
nominal
Matthew Hammer
Key module implements NameType sig; body of Grifola.Make functor implements ArtType
Branches
nominal
Matthew Hammer
unopen AdaptonUtil
Branches
nominal
Matthew Hammer
unopen AdaptonUtil
Branches
nominal
Matthew Hammer
unopen AdaptonUtil
Branches
nominal
Matthew Hammer
futzing with comments
Branches
nominal
Matthew Hammer
removed cruft
Branches
nominal
Matthew Hammer
separated new Adapton library design; named the new iteration 'Grifola'
Branches
nominal
Matthew Hammer
removed comments; added TODOs
Branches
nominal
Matthew Hammer
memo tables for list and tree reduction
Branches
nominal
Matthew Hammer
memo tables for reversing lists and trees
Branches
nominal
Matthew Hammer
progress on adding memo tables to SpreadTree code: half done with MakeSeq
Branches
nominal
Matthew Hammer
progress on adding memo tables to SpreadTree code: half done with MakeSeq
Branches
nominal
Matthew Hammer
converting to use memo tables.. in progress
Branches
nominal
Matthew Hammer
completed design of new programming API, sans the name case for spreadtrees
Branches
nominal
Matthew Hammer
some notes about the design of the spreadtree structure
Branches
nominal
Matthew Hammer
refactored tons of stuff for spread tree library; ready to write graph traversals next..
Branches
nominal
Matthew Hammer
tore out inessential nesting pattern I was playing with earlier
Branches
nominal
Matthew Hammer
wrote binary search tree routines, and in particular, AVL insert
Branches
nominal
Matthew Hammer
starting to flesh out a library for trees; purposely not thinking about memo tables yet
Branches
nominal
Matthew Hammer
starting to flesh out a library for trees; purposely not thinking about memo tables yet
Branches
nominal
Matthew Hammer
starting to flesh out a library for trees; purposely not thinking about memo tables yet
Branches
nominal
Matthew Hammer
tried nesting pattern in types; mixed success, but failed to make a DSL
Branches
nominal
Matthew Hammer
spreadtrees generalize lists and trees, and allow varying incremental articulation policies
Branches
nominal
  1. Prev
  2. Next