log
graph
tags
bookmarks
branches
changeset
browse
file
diff
comparison
annotate
file log
raw
help
Mercurial
>
urweb
log src/sources
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
less
more
|
(0)
-15
tip
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
less
more
|
(0)
-15
tip