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
/
tests
Commit message (
Collapse
)
Author
Age
*
Make summary unification more conservative; infer implicit arguments after ↵
Adam Chlipala
2009-12-26
|
|
|
|
applications
*
Test for Firebug weirdness
Adam Chlipala
2009-12-24
|
*
Proper JavaScript-side URI escaping/de-escaping; fix C-side URL encoding of ↵
Adam Chlipala
2009-12-24
|
|
|
|
big characters
*
Especialize uses a termination measure based on number of arguments introduced
Adam Chlipala
2009-12-15
|
*
Initial generalization of Especialize, with security bug known
Adam Chlipala
2009-12-15
|
*
Convert to task syntax
Adam Chlipala
2009-12-15
|
*
Initializers and setval
Adam Chlipala
2009-12-13
|
*
Tweaking SQL parsing and typing
Adam Chlipala
2009-12-13
|
*
Basis.url and redirects
Adam Chlipala
2009-12-10
|
*
Merge
Adam Chlipala
2009-12-03
|
\
*
|
Escaping UTF-8 in MonoOpt
Adam Chlipala
2009-12-03
|
|
|
*
Fix handling of clearCookie/getCookie in same page gen
Adam Chlipala
2009-11-27
|
/
*
Hint about disallowed attributes
Adam Chlipala
2009-11-25
|
*
Add 'id' attributes and <label>
Adam Chlipala
2009-11-25
|
*
Better error message for link-handler conflicts
Adam Chlipala
2009-11-25
|
*
Refactor compile functions; allow empty tag contents
Adam Chlipala
2009-11-25
|
*
Exit code of 1 on compilation failure
Adam Chlipala
2009-11-25
|
*
grid0 working in IE
Adam Chlipala
2009-11-22
|
*
Better subSgn error locations
Adam Chlipala
2009-10-15
|
*
Mangle local table names to avoid keyword clashes in SQL
Adam Chlipala
2009-10-05
|
*
Whitelisting tags that may be self-closed
Adam Chlipala
2009-09-26
|
*
Quoting JavaScript working
Adam Chlipala
2009-09-22
|
*
Compiled an 'option' pattern-match
Adam Chlipala
2009-09-22
|
*
More interpreter debugging
Adam Chlipala
2009-09-22
|
*
Functions working with interpretation
Adam Chlipala
2009-09-22
|
*
Basic arithmetic working with interpretation
Adam Chlipala
2009-09-22
|
*
Don't try to check if functions are already tail-recursive
Adam Chlipala
2009-09-17
|
*
Basic tail recursion introduction seems to be working
Adam Chlipala
2009-09-17
|
*
Be careful in Jscomp to avoid interpreting non-boolean/reference types as ↵
Adam Chlipala
2009-08-11
|
|
|
|
booleans with ?:
*
Fix type class resolution infinite loop, discovered while meeting with Ezra
Adam Chlipala
2009-08-06
|
*
<dyn> inside <tr>
Adam Chlipala
2009-08-06
|
*
dtable example and demos both working
Adam Chlipala
2009-08-06
|
*
Key events get key code input
Adam Chlipala
2009-07-18
|
*
Testing new events
Adam Chlipala
2009-07-18
|
*
Blobs tested in MySQL and SQLite
Adam Chlipala
2009-07-18
|
*
Testing nested queries
Adam Chlipala
2009-07-17
|
*
Fix a bug in type class enrichment from substructures
Adam Chlipala
2009-06-16
|
*
<dyn> inside <table>; fix Specialize bug with datatype decls generating ↵
Adam Chlipala
2009-06-13
|
|
|
|
other mutually-recursive datatype decls
*
Substring functions; fix a nasty MonoReduce pattern match substitution bug
Adam Chlipala
2009-05-30
|
*
Chars and more string operations
Adam Chlipala
2009-05-26
|
*
Mutual datatypes through Effectize
Adam Chlipala
2009-05-16
|
*
Mutual datatypes through Elaborate
Adam Chlipala
2009-05-16
|
*
cselect.onchange
Adam Chlipala
2009-05-14
|
*
cselect
Adam Chlipala
2009-05-14
|
*
Fix a nasty binding bug in CoreUtil
Adam Chlipala
2009-05-14
|
*
Testing custom paths
Adam Chlipala
2009-05-14
|
*
Improving/reordering Unpoly and Especialize; pathmaps
Adam Chlipala
2009-05-14
|
*
FFI transactionals
Adam Chlipala
2009-05-02
|
*
Runtime URL and MIME type filtering
Adam Chlipala
2009-05-02
|
*
allow/deny working in Mono_opt
Adam Chlipala
2009-05-02
|
[next]