| Wed, 03 Jun 2015 09:55:37 -0400 |
Adam Chlipala |
Adjust new [assert] to work properly from top.ur |
| Wed, 03 Jun 2015 15:07:46 +0200 |
Gabriel Riba Faura |
assert function to use with location literal _LOC_ |
| Sun, 29 Jun 2014 08:33:47 -0400 |
Adam Chlipala |
Top.max and Top.min |
| Sat, 21 Jul 2012 15:16:57 -0400 |
Adam Chlipala |
Top.postFields |
| Sun, 03 Jun 2012 11:29:31 -0400 |
Adam Chlipala |
Lighter-weight encoding of window function use |
| Sat, 02 Jun 2012 15:35:58 -0400 |
Adam Chlipala |
Track whether SQL expressions may use window functions, in preparation for actual window function support |
| Thu, 29 Dec 2011 14:12:03 -0500 |
Adam Chlipala |
Rename [Top.id] to avoid clash with [Basis.id] |
| Tue, 14 Jun 2011 08:54:45 -0400 |
Adam Chlipala |
Implicit argument insertion for local variables |
| Fri, 11 Mar 2011 18:36:24 -0500 |
Adam Chlipala |
Make 'ex' kind-generic |
| Thu, 20 Jan 2011 12:50:42 -0500 |
Adam Chlipala |
Fix the two functions I just added |
| Thu, 20 Jan 2011 12:43:12 -0500 |
Adam Chlipala |
queryXI and queryX1I |
| Sat, 15 Jan 2011 14:53:13 -0500 |
Adam Chlipala |
Allow subqueries to reference aggregate-only columns of free tables; treat non-COUNT aggregate functions as possibly returning NULL |
| Fri, 24 Dec 2010 16:41:10 -0500 |
Adam Chlipala |
Top.queryI1; fix definition of uw_Basis_minTime |
| Thu, 23 Dec 2010 17:46:40 -0500 |
Adam Chlipala |
[De]serialization of times in JavaScript; proper integer division in JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types |
