graph
- Defunctionalization gets CommentBlog working2008-11-09, by Adam Chlipala
- Remove an extra line2008-11-09, by Adam Chlipala
- Especialize working reasonably well; need to add new closure representation pass2008-11-09, by Adam Chlipala
- Better detection of [let] substitution opportunities2008-11-08, by Adam Chlipala
- Especialize handles records better2008-11-08, by Adam Chlipala
- Broaden set of possible especializations2008-11-08, by Adam Chlipala
- Some small changes while failing to write [restrict]2008-11-08, by Adam Chlipala
- Add help text for generated web servers2008-11-08, by Adam Chlipala
- Handle EError returning a function; handle multiple cookies in one input header2008-11-08, by Adam Chlipala
- Fix parsing of last input header2008-11-08, by Adam Chlipala
- [getCookie] reads cookie settings from current page generation2008-11-08, by Adam Chlipala
- Resolve all tag named in [Basis]; deal with C compilation failure without leaving /tmp files2008-11-08, by Adam Chlipala
- Generated web servers use getopt()2008-11-08, by Adam Chlipala
- Tree demo working (and other assorted regressions fixed)2008-11-06, by Adam Chlipala
- Tree demo works2008-11-06, by Adam Chlipala
- About to begin optimization of recursive transaction functions2008-11-06, by Adam Chlipala
- Ensql'ing nullables2008-11-06, by Adam Chlipala
- Inserted a NULL value2008-11-06, by Adam Chlipala
- Cookies work across pages2008-11-06, by Adam Chlipala
- Cookie prose; fix bugs that broke demo compilation2008-11-06, by Adam Chlipala
- Cookie demo code; fix error message display2008-11-06, by Adam Chlipala
- Reading cookies works2008-11-06, by Adam Chlipala
- Setting a cookie2008-11-06, by Adam Chlipala
- Cookies through shake22008-11-06, by Adam Chlipala
- Cookies through explify2008-11-06, by Adam Chlipala
- Cookies through elaborate2008-11-06, by Adam Chlipala
- Avoid allocating strings for requestHeader2008-11-06, by Adam Chlipala
- Request header reading works2008-11-06, by Adam Chlipala
- Monoizing FFI transactions correctly2008-11-06, by Adam Chlipala
- Nested demo2008-11-04, by Adam Chlipala
- Nested save compiles2008-11-01, by Adam Chlipala
- Almost have that nested save function compiling2008-11-01, by Adam Chlipala
- Fix some type-class detection2008-11-01, by Adam Chlipala
- Remove empty writes2008-11-01, by Adam Chlipala
- Wrapping works in Blog2008-11-01, by Adam Chlipala
- Explify 'let'2008-11-01, by Adam Chlipala
- First Unnest tests working2008-11-01, by Adam Chlipala
- Elaborating 'let'2008-11-01, by Adam Chlipala
- Parsing 'let'2008-11-01, by Adam Chlipala
- Replace 'with' with '++'2008-10-31, by Adam Chlipala
- Remove _espec tag; add some tag fields2008-10-30, by Adam Chlipala
- Especialize2008-10-30, by Adam Chlipala
- Don't inline case expressions2008-10-30, by Adam Chlipala
- CURRENT_TIMESTAMP2008-10-30, by Adam Chlipala
- Time MIN/MAX2008-10-30, by Adam Chlipala
- Marshaling time to SQL2008-10-30, by Adam Chlipala
- Reading timestamps from SQL2008-10-30, by Adam Chlipala
- Add time to some type classes2008-10-30, by Adam Chlipala
- time type2008-10-30, by Adam Chlipala
- GCCARGS configure option2008-10-28, by Adam Chlipala
- Remove need for '() <-' notation2008-10-27, by Adam Chlipala
- Switch exit(1) call to uw_error()2008-10-27, by Adam Chlipala
- Avoid using libpq when unneeded2008-10-26, by Adam Chlipala
- Change 'sed' invocation to work in OSX2008-10-25, by Adam Chlipala
- mkdir -p BIN2008-10-25, by Adam Chlipala
- Use configure --prefix2008-10-25, by Adam Chlipala
- Make *_w function prototypes match header file2008-10-24, by adamc
- Add 'package' make target; add LICENSE2008-10-24, by Adam Chlipala
- Remove debug print for optional inputs2008-10-24, by Adam Chlipala
- Properly freeing libpq results on errors2008-10-24, by Adam Chlipala