log

age author description
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).