Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | [getCookie] reads cookie settings from current page generation | Adam Chlipala | 2008-11-08 |
| | |||
* | Resolve all tag named in [Basis]; deal with C compilation failure without ↵ | Adam Chlipala | 2008-11-08 |
| | | | | leaving /tmp files | ||
* | Generated web servers use getopt() | Adam Chlipala | 2008-11-08 |
| | |||
* | Tree demo working (and other assorted regressions fixed) | Adam Chlipala | 2008-11-06 |
| | |||
* | Tree demo works | Adam Chlipala | 2008-11-06 |
| | |||
* | About to begin optimization of recursive transaction functions | Adam Chlipala | 2008-11-06 |
| | |||
* | Ensql'ing nullables | Adam Chlipala | 2008-11-06 |
| | |||
* | Inserted a NULL value | Adam Chlipala | 2008-11-06 |
| | |||
* | Cookies work across pages | Adam Chlipala | 2008-11-06 |
| | |||
* | Cookie prose; fix bugs that broke demo compilation | Adam Chlipala | 2008-11-06 |
| | |||
* | Cookie demo code; fix error message display | Adam Chlipala | 2008-11-06 |
| | |||
* | Reading cookies works | Adam Chlipala | 2008-11-06 |
| | |||
* | Setting a cookie | Adam Chlipala | 2008-11-06 |
| | |||
* | Cookies through shake2 | Adam Chlipala | 2008-11-06 |
| | |||
* | Cookies through explify | Adam Chlipala | 2008-11-06 |
| | |||
* | Cookies through elaborate | Adam Chlipala | 2008-11-06 |
| | |||
* | Avoid allocating strings for requestHeader | Adam Chlipala | 2008-11-06 |
| | |||
* | Request header reading works | Adam Chlipala | 2008-11-06 |
| | |||
* | Monoizing FFI transactions correctly | Adam Chlipala | 2008-11-06 |
| | |||
* | Nested demo | Adam Chlipala | 2008-11-04 |
| | |||
* | Nested save compiles | Adam Chlipala | 2008-11-01 |
| | |||
* | Almost have that nested save function compiling | Adam Chlipala | 2008-11-01 |
| | |||
* | Fix some type-class detection | Adam Chlipala | 2008-11-01 |
| | |||
* | Remove empty writes | Adam Chlipala | 2008-11-01 |
| | |||
* | Wrapping works in Blog | Adam Chlipala | 2008-11-01 |
| | |||
* | Explify 'let' | Adam Chlipala | 2008-11-01 |
| | |||
* | First Unnest tests working | Adam Chlipala | 2008-11-01 |
| | |||
* | Elaborating 'let' | Adam Chlipala | 2008-11-01 |
| | |||
* | Parsing 'let' | Adam Chlipala | 2008-11-01 |
| | |||
* | Replace 'with' with '++' | Adam Chlipala | 2008-10-31 |
| | |||
* | Remove _espec tag; add some tag fields | Adam Chlipala | 2008-10-30 |
| | |||
* | Especialize | Adam Chlipala | 2008-10-30 |
| | |||
* | Don't inline case expressions | Adam Chlipala | 2008-10-30 |
| | |||
* | CURRENT_TIMESTAMP | Adam Chlipala | 2008-10-30 |
| | |||
* | Time MIN/MAX | Adam Chlipala | 2008-10-30 |
| | |||
* | Marshaling time to SQL | Adam Chlipala | 2008-10-30 |
| | |||
* | Reading timestamps from SQL | Adam Chlipala | 2008-10-30 |
| | |||
* | Add time to some type classes | Adam Chlipala | 2008-10-30 |
| | |||
* | time type | Adam Chlipala | 2008-10-30 |
| | |||
* | GCCARGS configure option | Adam Chlipala | 2008-10-28 |
| | |||
* | Remove need for '() <-' notation | Adam Chlipala | 2008-10-27 |
| | |||
* | Switch exit(1) call to uw_error() | Adam Chlipala | 2008-10-27 |
| | |||
* | Avoid using libpq when unneeded | Adam Chlipala | 2008-10-26 |
| | |||
* | Change 'sed' invocation to work in OSX | Adam Chlipala | 2008-10-25 |
| | |||
* | mkdir -p BIN | Adam Chlipala | 2008-10-25 |
| | |||
* | Use configure --prefix | Adam Chlipala | 2008-10-25 |
| | |||
* | Make *_w function prototypes match header file | adamc | 2008-10-24 |
| | |||
* | Add 'package' make target; add LICENSE | Adam Chlipala | 2008-10-24 |
| | |||
* | Remove debug print for optional inputs | Adam Chlipala | 2008-10-24 |
| | |||
* | Properly freeing libpq results on errors | Adam Chlipala | 2008-10-24 |
| |