log

age author description
Mon, 24 Nov 2014 20:47:38 -0500 Ziv Scully Merge.
Mon, 24 Nov 2014 20:41:24 -0500 Ziv Scully Add interface to UnionFind.
Tue, 11 Nov 2014 04:25:20 -0500 Ziv Scully More invalidation progress.
Mon, 10 Nov 2014 22:07:51 -0500 Ziv Scully Merge.
Mon, 10 Nov 2014 22:04:40 -0500 Ziv Scully Progress towards invalidation based on equalities of fields.
Fri, 31 Oct 2014 09:25:03 -0400 Ziv Scully Mostly finish effectfulness analysis.
Tue, 14 Oct 2014 18:07:09 -0400 Ziv Scully Add mono_inline.sml (which was left out of last commit).