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
Commit message (
Expand
)
Author
Age
...
*
|
Allow returnBlob and redirect in static protocol
Julian Squires
2015-07-13
*
|
Add a missed case in CoreUtil.Exp fold
Adam Chlipala
2015-07-05
*
|
Tag NULLs with their types in SQL, to help the DBMS do type inference
Adam Chlipala
2015-07-04
*
|
Fix a maddening bug in the comparator for Core constructors
Adam Chlipala
2015-07-03
*
|
Allow apostrophes in capitalized identifiers
Adam Chlipala
2015-06-11
*
|
Apply syntax sugar for 'class' attribute to <form> as well
Adam Chlipala
2015-06-08
*
|
location literal _LOC_
Gabriel Riba Faura
2015-06-03
*
|
Remove duplicate lexer line
Adam Chlipala
2015-05-28
*
|
Handling overflow in integer literals (contributed by Gabriel Riba)
Adam Chlipala
2015-05-28
*
|
Do not explicitly return false from onclick handler
Julian Squires
2015-05-07
*
|
Fix .sql generation to honor 'noMangleSql' in column names
Adam Chlipala
2015-05-10
*
|
Make naughtyDebug use protocol-specific logging
Adam Chlipala
2015-05-10
|
*
More work factoring out Sqlcache back end.
Ziv Scully
2015-05-06
|
*
Merge.
Ziv Scully
2015-05-06
|
|
\
|
*
|
Add missing file.
Ziv Scully
2015-05-06
|
*
|
Factor out cache implementation from Sqlcache.
Ziv Scully
2015-05-06
*
|
|
Fix XML indentation in Emacs mode
Julian Squires
2015-05-04
*
|
|
Treat "style" as starting an expression in urweb-mode
Julian Squires
2015-05-05
*
|
|
Add urweb-mode command to close current XML tag
Julian Squires
2015-05-04
*
|
|
Allow URIs specified in file directives implicitly
Julian Squires
2015-04-24
|
|
/
|
/
|
*
|
Set dummy header lookup function in static.c
Adam Chlipala
2015-05-03
*
|
Allow file directives to contain slashes
Julian Squires
2015-04-24
*
|
Fix missing SQL name-mangling in table initialization
Istvan Chung
2015-04-23
*
|
New mouse events oncontextmenu, onmouseenter, and onmouseleave.
Ziv Scully
2015-04-07
|
*
New mouse events oncontextmenu, onmouseenter, and onmouseleave.
Ziv Scully
2015-04-07
|
*
Fix type in flush FFI call to option string (rather than string).
Ziv Scully
2015-03-31
|
*
Merge.
Ziv Scully
2015-03-27
|
|
\
|
|
/
|
/
|
*
|
Fix interpretation of 'file' argument paths
Adam Chlipala
2015-03-08
*
|
Change MonoReduce to do fixed-pointing, since it sometimes enables more optim...
Adam Chlipala
2015-03-06
*
|
Hexadecimal integer literals, contributed by Gabriel Riba
Adam Chlipala
2015-03-05
*
|
Some new infix operators, contributed by Gabriel Riba
Adam Chlipala
2015-03-05
*
|
Support 'dynClass' and 'dynStyle' for <body>
Adam Chlipala
2015-03-03
*
|
Evaluate minus and times in MonoOpt
Adam Chlipala
2015-02-16
|
*
Merge.
Ziv Scully
2014-12-11
|
|
\
|
*
|
Remove Sqlcache urlification hack.
Ziv Scully
2014-11-29
|
*
|
Basic field-resolution invalidation.
Ziv Scully
2014-11-29
|
*
|
Merge.
Ziv Scully
2014-11-24
|
|
\
\
|
*
|
|
Add interface to UnionFind.
Ziv Scully
2014-11-24
|
*
|
|
More invalidation progress.
Ziv Scully
2014-11-11
|
*
|
|
Merge.
Ziv Scully
2014-11-10
|
|
\
\
\
|
*
|
|
|
Progress towards invalidation based on equalities of fields.
Ziv Scully
2014-11-10
|
*
|
|
|
Mostly finish effectfulness analysis.
Ziv Scully
2014-10-31
*
|
|
|
|
The 2nd half of proper CSRF protection related to environment variables
Adam Chlipala
2015-02-12
*
|
|
|
|
An Emacs urweb-mode optimization contributed by John Wiegley
Adam Chlipala
2015-02-11
*
|
|
|
|
Merge
Adam Chlipala
2015-02-10
|
\
\
\
\
\
*
|
|
|
|
|
Fix resolution of 'file' paths
Adam Chlipala
2015-02-10
|
*
|
|
|
|
Treat getHeader and getenv as vectors for reading request data supplied impli...
Adam Chlipala
2015-02-05
|
/
/
/
/
/
*
|
|
|
|
Don't allow singleton <button> tags
Adam Chlipala
2015-02-01
*
|
|
|
|
A new MonoReduce optimization for lifting 'let' out of field projection; Java...
Adam Chlipala
2015-02-01
*
|
|
|
|
Improve wildification for records of type-class witnesses
Adam Chlipala
2015-01-28
[prev]
[next]