log src/sources

age author description
2009-10-25 Adam Chlipala RPC uses VM support for call/cc
2009-09-17 Adam Chlipala Grid changed to use Dlist.replace; filters stopped working
2009-07-17 Adam Chlipala demo/sql works with SQLite
2009-07-17 Adam Chlipala Fix dependency misordering
2009-07-16 Adam Chlipala Demo working with MySQL
2009-07-12 Adam Chlipala Demo compiles again with Postgres and MySQL; MySQL version lacks sequence code and so doesn't work yet
2009-06-28 Adam Chlipala Start of multi-DBMS support
2009-06-28 Adam Chlipala Move http protocol into its own file
2009-06-27 Adam Chlipala Successfully starting FastCGI sessions with Apache
2009-06-27 Adam Chlipala Avoid using prepared statements for non-persistent protocols
2009-04-30 Adam Chlipala C FFI compiler options
2009-04-16 Adam Chlipala Effectness analysis
2009-04-16 Adam Chlipala Label exported symbols by effect-ness; factor out some common datatypes
2009-04-07 Adam Chlipala Track uniqueness sets in table types
2009-03-28 Adam Chlipala Marshalcheck