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
2013-11-22
Anders Kaseorg
Allow building in a separate build directory
2013-06-15
Adam Chlipala
Add Sigcheck phase to avoid issues with signatures in global initializers
2012-08-02
Adam Chlipala
New NameJs phase, still needing some debugging
2012-04-29
Adam Chlipala
Initial support for reusing elaboration results
2012-03-12
Edward Z. Yang
Refactor SQL parsing code from Iflow to Sql, add querydml parser.
2012-01-02
Adam Chlipala
Fix handling of quotes in generating C literals
2011-11-14
Adam Chlipala
Better error messages about server-side use of client-side functions
2011-11-05
Adam Chlipala
Support the full set of XHTML character entities
2011-07-15
Adam Chlipala
Generated pretty-printed HTML for a simple tutorial source file
2010-08-22
Adam Chlipala
Reduce: Inline let-bound variables whose types involve functions
2010-06-05
Adam Chlipala
Another run of Specialize, using ReduceLocal on datatype parameters
2010-04-13
Adam Chlipala
Command-line use of Iflow
2010-04-04
Adam Chlipala
Generated basic dummy Iflow conditions
2010-02-27
Adam Chlipala
Basic analysis of tag and CSS class usage
2009-10-25
Adam Chlipala
RPC uses VM support for call/cc
less
more
|
(0)
-15
tip