index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
sources
Commit message (
Expand
)
Author
Age
*
Fix handling of quotes in generating C literals
Adam Chlipala
2012-01-02
*
Better error messages about server-side use of client-side functions
Adam Chlipala
2011-11-14
*
Support the full set of XHTML character entities
Adam Chlipala
2011-11-05
*
Generated pretty-printed HTML for a simple tutorial source file
Adam Chlipala
2011-07-15
*
Reduce: Inline let-bound variables whose types involve functions
Adam Chlipala
2010-08-22
*
Another run of Specialize, using ReduceLocal on datatype parameters
Adam Chlipala
2010-06-05
*
Command-line use of Iflow
Adam Chlipala
2010-04-13
*
Generated basic dummy Iflow conditions
Adam Chlipala
2010-04-04
*
Basic analysis of tag and CSS class usage
Adam Chlipala
2010-02-27
*
RPC uses VM support for call/cc
Adam Chlipala
2009-10-25
*
Grid changed to use Dlist.replace; filters stopped working
Adam Chlipala
2009-09-17
*
demo/sql works with SQLite
Adam Chlipala
2009-07-17
*
Fix dependency misordering
Adam Chlipala
2009-07-17
*
Demo working with MySQL
Adam Chlipala
2009-07-16
*
Demo compiles again with Postgres and MySQL; MySQL version lacks sequence cod...
Adam Chlipala
2009-07-12
*
Start of multi-DBMS support
Adam Chlipala
2009-06-28
*
Move http protocol into its own file
Adam Chlipala
2009-06-28
*
Successfully starting FastCGI sessions with Apache
Adam Chlipala
2009-06-27
*
Avoid using prepared statements for non-persistent protocols
Adam Chlipala
2009-06-27
*
C FFI compiler options
Adam Chlipala
2009-04-30
*
Effectness analysis
Adam Chlipala
2009-04-16
*
Label exported symbols by effect-ness; factor out some common datatypes
Adam Chlipala
2009-04-16
*
Track uniqueness sets in table types
Adam Chlipala
2009-04-07
*
Marshalcheck
Adam Chlipala
2009-03-28
*
Avoid any JavaScript when pages don't need it; update demo prose
Adam Chlipala
2009-03-10
*
Start of RPCification
Adam Chlipala
2009-02-14
*
Start of JsComp
Adam Chlipala
2008-12-20
*
Untangle and shake within Especialize loop
Adam Chlipala
2008-11-27
*
Fusing writes with recursive function calls
Adam Chlipala
2008-11-25
*
Defunctionalization gets CommentBlog working
Adam Chlipala
2008-11-09
*
Especialize working reasonably well; need to add new closure representation pass
Adam Chlipala
2008-11-09
*
Nested save compiles
Adam Chlipala
2008-11-01
*
Almost have that nested save function compiling
Adam Chlipala
2008-11-01
*
First Unnest tests working
Adam Chlipala
2008-11-01
*
Especialize
Adam Chlipala
2008-10-30
*
Demo HTML generation, minus source code
Adam Chlipala
2008-10-19
*
Proper configuration and installation
Adam Chlipala
2008-10-19
*
Proper generation of relation names; checking that sequences exist
Adam Chlipala
2008-10-19
*
foldTR2
Adam Chlipala
2008-09-13
*
Unpoly non-recursive function
Adam Chlipala
2008-09-11
*
Termination checking
Adam Chlipala
2008-09-09
*
Ran a prepared statement with one string parameter
Adam Chlipala
2008-09-07
*
Laconic -> Ur
Adam Chlipala
2008-08-31
*
Specialization of single-parameter datatypes
Adam Chlipala
2008-08-08
*
MonoShake
Adam Chlipala
2008-07-17
*
MonoReduce
Adam Chlipala
2008-07-17
*
Untangle
Adam Chlipala
2008-07-17
*
Starting with closure links
Adam Chlipala
2008-07-13
*
Remove closure conversion in favor of zany fun with modules, which also repla...
Adam Chlipala
2008-07-13
*
Fix dependency graph mismatch in sources
Adam Chlipala
2008-07-10
[next]