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
...
*
Broaden handling of wildcard rewrites
Adam Chlipala
2014-12-24
*
Improve wildify heuristic for finding record type-class witnesses
Adam Chlipala
2014-12-23
*
New antiquote syntax for ORDER BY
Adam Chlipala
2014-12-23
*
Another try at a proper fix for constraint matching in subsignature checking
Adam Chlipala
2014-12-23
*
Fix XML syntax for closing <input> tags
Adam Chlipala
2014-12-18
*
Move code from last changeset, to improve performance
Adam Chlipala
2014-12-05
*
In checking signature subsumption, be sure to try constraints last.
Adam Chlipala
2014-12-04
*
Optimizing writes of single characters
Adam Chlipala
2014-12-04
*
More aggressive inlining of 'let' with record literals, plus some changes to ...
Adam Chlipala
2014-12-04
*
MonoOpt: remove concatenation with empty string
Adam Chlipala
2014-12-03
*
Some more optimization of string expressions showing up in JSON generation (M...
Adam Chlipala
2014-12-03
*
Tiny lexer change for SML/NJ compatibility (suggested by Ziv Scully)
Adam Chlipala
2014-11-25
*
More HTML5 AJAX widgets
Adam Chlipala
2014-11-16
*
Textual HTML5 AJAX widgets
Adam Chlipala
2014-11-16
*
Some more HTML5 input types
Adam Chlipala
2014-11-16
*
More simple textual HTML5 input types
Adam Chlipala
2014-11-16
*
Make 'required' and 'autofocus' attributes Boolean; add a syntax extension fo...
Adam Chlipala
2014-11-16
*
HTML5 input attributes: placeholder, required, autofocus; email input type (w...
Sergey Mironov
2014-10-12
*
uw_remoteSock()
Adam Chlipala
2014-11-16
*
Default to parsing time strings with the application-configured format
Adam Chlipala
2014-09-20
*
Introduce recv timeout controlled by '-T' option in http.c
Sergey Mironov
2014-09-02
*
Check realloc's return code to prevent segfault on out of memory condition (P...
Sergey Mironov
2014-09-02
*
Replace common "if(!quiet) printf(...)" pattern with a macro
Sergey Mironov
2014-09-02
*
Check realloc's return code to prevent segfault on out of memory condition (P...
Sergey Mironov
2014-08-24
*
In computing command lines, put filenames inside of quotes, to support spaces...
Adam Chlipala
2014-09-04
*
Extend ScriptCheck to take RPCs into account
Adam Chlipala
2014-08-24
*
Check realloc's return code to prevent segfault on out of memoty condition
Sergey Mironov
2014-08-23
*
New phase: Dbmodecheck
Adam Chlipala
2014-08-17
*
Adds AJAX-oriented widget cpassword.
Ziv Scully
2014-08-10
*
Don't use uw_malloc() or equivalent in generating error messages while parsin...
Adam Chlipala
2014-08-15
*
MonoReduce bug involving 'error'
Adam Chlipala
2014-08-06
*
When unifying constructor-level unification variables, also unify their kinds
Adam Chlipala
2014-08-01
*
Differentiate between HTML and normal string literals
Adam Chlipala
2014-08-01
*
'aria-*' attributes
Adam Chlipala
2014-08-01
*
New .urp directive: file
Adam Chlipala
2014-07-31
*
Added javascript for Basis.strsindex
Samuel Dukhovni
2014-07-28
*
Retweak the last tweak to allow type inference to succeed in a strict superse...
Adam Chlipala
2014-07-29
*
Small tweak to ordering of unification rules, to support better record matching
Adam Chlipala
2014-07-29
*
Another MonoReduce fix
Adam Chlipala
2014-07-26
*
Fix index-matching bug in MonoReduce effect calculation
Adam Chlipala
2014-07-21
*
Default 'jsFunc' for less-safe FFI
Adam Chlipala
2014-07-16
*
Fix off-by-one error in less-safe FFI wrapper generation
Adam Chlipala
2014-07-13
*
Fix uw_Basis_lt_time
Adam Chlipala
2014-06-29
*
Add locking to enforce atomicity of message sends from one transaction
Adam Chlipala
2014-06-27
*
New syntactic shorthand for antiquoting subqueries
Adam Chlipala
2014-06-25
*
Call try_rollback before resetting the context
Sergey Mironov
2014-06-15
*
'sql_injectable_prim' instance for 'url'
Adam Chlipala
2014-06-15
*
Treat <button> 'value' attribute as content of tag
Adam Chlipala
2014-06-13
*
let..where..end
Adam Chlipala
2014-06-11
*
Allow '+' char in blessMime
Sergey Mironov
2014-06-05
[prev]
[next]