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)
-30
tip
age
author
description
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
2009-03-10
Adam Chlipala
Avoid any JavaScript when pages don't need it; update demo prose
2009-02-14
Adam Chlipala
Start of RPCification
2008-12-20
Adam Chlipala
Start of JsComp
2008-11-27
Adam Chlipala
Untangle and shake within Especialize loop
2008-11-25
Adam Chlipala
Fusing writes with recursive function calls
2008-11-09
Adam Chlipala
Defunctionalization gets CommentBlog working
2008-11-09
Adam Chlipala
Especialize working reasonably well; need to add new closure representation pass
2008-11-02
Adam Chlipala
Nested save compiles
2008-11-02
Adam Chlipala
Almost have that nested save function compiling
2008-11-01
Adam Chlipala
First Unnest tests working
2008-10-30
Adam Chlipala
Especialize
2008-10-19
Adam Chlipala
Demo HTML generation, minus source code
2008-10-19
Adam Chlipala
Proper configuration and installation
2008-10-19
Adam Chlipala
Proper generation of relation names; checking that sequences exist
2008-09-13
Adam Chlipala
foldTR2
2008-09-11
Adam Chlipala
Unpoly non-recursive function
2008-09-09
Adam Chlipala
Termination checking
2008-09-07
Adam Chlipala
Ran a prepared statement with one string parameter
2008-08-31
Adam Chlipala
Laconic -> Ur
2008-08-08
Adam Chlipala
Specialization of single-parameter datatypes
2008-07-17
Adam Chlipala
MonoShake
2008-07-17
Adam Chlipala
MonoReduce
2008-07-17
Adam Chlipala
Untangle
2008-07-13
Adam Chlipala
Starting with closure links
2008-07-13
Adam Chlipala
Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
less
more
|
(0)
-30
tip