Thu, 27 May 2010 16:36:17 -0400 |
Adam Chlipala |
-moduleOf command-line option; compatibility fixes and better error messages for SQLite |
Tue, 13 Apr 2010 11:34:59 -0400 |
Adam Chlipala |
Command-line use of Iflow |
Sun, 04 Apr 2010 14:37:19 -0400 |
Adam Chlipala |
Generated basic dummy Iflow conditions |
Tue, 16 Mar 2010 15:39:16 -0400 |
Adam Chlipala |
Remove unpoly1 |
Tue, 09 Mar 2010 18:28:44 -0500 |
Adam Chlipala |
safeGet |
Sat, 06 Mar 2010 19:14:48 -0500 |
Adam Chlipala |
Got split1 working, but noticed a nasty type inference bug with transplanted unification variables |
Sat, 27 Feb 2010 16:49:11 -0500 |
Adam Chlipala |
benignEffectful |
Sat, 27 Feb 2010 14:57:57 -0500 |
Adam Chlipala |
Basic analysis of tag and CSS class usage |
Thu, 11 Feb 2010 09:10:01 -0500 |
Adam Chlipala |
sigfile directive |
Thu, 24 Dec 2009 16:35:09 -0500 |
Adam Chlipala |
Module roots |
Thu, 24 Dec 2009 15:49:52 -0500 |
Adam Chlipala |
Convenience libifying; allow more NULLs with globals |
Tue, 22 Dec 2009 15:29:38 -0500 |
Adam Chlipala |
Alternate job-parsing interface, to avoid merging library directives |
Tue, 15 Dec 2009 19:26:52 -0500 |
Adam Chlipala |
Especialize uses a termination measure based on number of arguments introduced |
Tue, 08 Dec 2009 11:45:19 -0500 |
Adam Chlipala |
Shake bug fix; pattern reduction in ReduceLocal |
Wed, 25 Nov 2009 08:52:32 -0500 |
Adam Chlipala |
Refactor compile functions; allow empty tag contents |
Sun, 25 Oct 2009 14:07:10 -0400 |
Adam Chlipala |
RPC uses VM support for call/cc |