2009-04-12 |
Adam Chlipala |
Classes as optional arguments to Basis.tag |
2009-04-09 |
Adam Chlipala |
URLs |
2009-04-09 |
Adam Chlipala |
CHECK constraints |
2009-03-10 |
Adam Chlipala |
Noisy demo |
2009-03-10 |
Adam Chlipala |
Batch example |
2008-12-30 |
Adam Chlipala |
Harmonized source-setting between server and client |
2008-12-21 |
Adam Chlipala |
Handling singnal bind |
2008-12-20 |
Adam Chlipala |
Start of JsComp |
2008-12-19 |
Adam Chlipala |
Displayed an alert dialog |
2008-11-25 |
Adam Chlipala |
Fusing writes with recursive function calls |
2008-11-12 |
Adam Chlipala |
Fix type calculation for applying-a-case optimization |
2008-11-09 |
Adam Chlipala |
Remove some allocation |
2008-11-06 |
Adam Chlipala |
Inserted a NULL value |
2008-11-02 |
Adam Chlipala |
Almost have that nested save function compiling |
2008-11-01 |
Adam Chlipala |
Remove empty writes |
2008-10-30 |
Adam Chlipala |
time type |
2008-09-14 |
Adam Chlipala |
Push writes inside lets |
2008-09-13 |
Adam Chlipala |
queryX |
2008-09-13 |
Adam Chlipala |
Optimize immediate writes of query results |
2008-09-11 |
Adam Chlipala |
Expand scope of base type conversion coalesce optimizations |
2008-09-07 |
Adam Chlipala |
'show' type class; htmlification optimizations |
2008-09-04 |
Adam Chlipala |
Change sqlify[int|float|string] to annotate with SQL types |
2008-08-31 |
Adam Chlipala |
Monoize HAVING |
2008-08-31 |
Adam Chlipala |
Monoized a WHERE clause with a comparison |
2008-08-09 |
Adam Chlipala |
Lists all the way through |
2008-08-03 |
Adam Chlipala |
Datatype representation optimization |
2008-08-03 |
Adam Chlipala |
Mono_opt for urlifying bools |
2008-08-03 |
Adam Chlipala |
FFI datatypes |
2008-08-03 |
Adam Chlipala |
Push write inside case |
2008-08-03 |
Adam Chlipala |
Optimizing 'case' in Mono_reduce |
2008-07-17 |
Adam Chlipala |
Proper escaping of cdata |
2008-07-14 |
Adam Chlipala |
Passing an argument to a web function |
2008-07-10 |
Adam Chlipala |
Optimizing attrification of constants |
2008-07-10 |
Adam Chlipala |
More with attributes and efficient serialization |
2008-07-10 |
Adam Chlipala |
Stringifying attributes |
2008-07-03 |
Adam Chlipala |
Mono optimizations (start with string concat and space eating) |