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
*
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
|
*
Path rewriting
Adam Chlipala
2009-05-02
|
*
Add 'library' directive
Adam Chlipala
2009-05-02
|
*
More FFI compiler options
Adam Chlipala
2009-05-02
|
*
Successfully influenced effectful-ness status of FFI func
Adam Chlipala
2009-05-02
|
*
C FFI compiler options
Adam Chlipala
2009-04-30
|
*
Lexing character entities
Adam Chlipala
2009-04-30
|
*
List notations
Adam Chlipala
2009-04-30
|
*
<input type='hidden'>
Adam Chlipala
2009-04-30
|
*
Megaform test
Adam Chlipala
2009-04-30
|
*
subforms working
Adam Chlipala
2009-04-30
|
*
Subforms type-checks; lists urlified and unurlified
Adam Chlipala
2009-04-30
|
*
Basis.list
Adam Chlipala
2009-04-30
|
*
Subforms
Adam Chlipala
2009-04-28
|
*
A view query works
Adam Chlipala
2009-04-28
|
*
RIGHT and FULL JOIN
Adam Chlipala
2009-04-28
|
*
LEFT JOIN
Adam Chlipala
2009-04-28
|
*
INNER JOIN
Adam Chlipala
2009-04-28
|
*
Switch to using sql_from_items
Adam Chlipala
2009-04-28
|
*
sql_ufunc and octet_length
Adam Chlipala
2009-04-26
|
*
blobSize
Adam Chlipala
2009-04-26
|
*
Handling nullable blobs
Adam Chlipala
2009-04-26
|
*
Reading blobs from the database
Adam Chlipala
2009-04-26
|
[next]