Tue, 01 Jun 2010 10:44:57 -0400 |
Adam Chlipala |
Improve consNeq to detect unequal projected cons |
Thu, 27 May 2010 10:56:52 -0400 |
Adam Chlipala |
Fix bug in module path generation with module roots; push wildification through substructures |
Sun, 11 Apr 2010 14:11:17 -0400 |
Adam Chlipala |
Tweaks to table signatures and MonoOpt summarizing |
Sun, 04 Apr 2010 12:29:34 -0400 |
Adam Chlipala |
Pushing policies through |
Thu, 25 Mar 2010 15:44:24 -0400 |
Adam Chlipala |
Subquery expressions |
Tue, 09 Mar 2010 17:50:42 -0500 |
Adam Chlipala |
Spiffed-up Split1; remove spurious error message triggered by 'open'ing a module containing a functor |
Sat, 26 Dec 2009 11:56:40 -0500 |
Adam Chlipala |
Make summary unification more conservative; infer implicit arguments after applications |
Tue, 15 Dec 2009 10:19:05 -0500 |
Adam Chlipala |
Convert to task syntax |
Sun, 13 Dec 2009 14:34:18 -0500 |
Adam Chlipala |
Fixing a bug in DInitializer elaboration |
Sun, 13 Dec 2009 14:20:41 -0500 |
Adam Chlipala |
Initializers and setval |
Sun, 13 Dec 2009 11:28:47 -0500 |
Adam Chlipala |
Better record summary error messages; more tweaking SQL usability |
Wed, 25 Nov 2009 09:48:23 -0500 |
Adam Chlipala |
Hint about disallowed attributes |
Mon, 02 Nov 2009 15:48:06 -0500 |
Adam Chlipala |
Start of Decision |
Sat, 31 Oct 2009 15:51:50 -0400 |
Adam Chlipala |
Start of bidding implementation compiles |
Thu, 15 Oct 2009 14:27:38 -0400 |
Adam Chlipala |
Better subSgn error locations |
Mon, 05 Oct 2009 16:36:38 -0400 |
Adam Chlipala |
Better location calculation for record unification error messages; infer kind arguments to module-projected variables |