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 (
Collapse
)
Author
Age
*
Convert ctype is*() function results to booleans
Adam Chlipala
2009-12-08
|
*
Shake bug fix; pattern reduction in ReduceLocal
Adam Chlipala
2009-12-08
|
*
Context globals; ctype functions
Adam Chlipala
2009-12-08
|
*
Fix a Shake bug that led to missing some cons
Adam Chlipala
2009-12-08
|
*
Move to simpler HTML escaping
Adam Chlipala
2009-12-08
|
*
Recursive hnormSgn for projections of signatures from modules
Adam Chlipala
2009-12-05
|
*
Represent FFI function names as strings, to deal with cross-file recursion
Adam Chlipala
2009-12-05
|
*
Merge
Adam Chlipala
2009-12-03
|
\
*
|
UTF-8 in dynamic escaping
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
|
|
|
*
Port rest of demo to new cookie signature; fix parsing of multiple incoming ↵
Adam Chlipala
2009-11-26
|
|
|
|
|
|
|
|
cookies
|
*
More fun with cookies
Adam Chlipala
2009-11-26
|
|
|
*
Fix parsing of long FastCGI lengths
Adam Chlipala
2009-11-26
|
/
*
Hint about disallowed attributes
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
|
*
New release
Adam Chlipala
2009-11-24
|
*
Explicitly abort in-flight RPCs onunload
Adam Chlipala
2009-11-24
|
*
Get message-passing working in IE6
Adam Chlipala
2009-11-21
|
*
Send RPCs with POST, to avoid caching
Adam Chlipala
2009-11-21
|
*
Hooks for measuring how much interesting proving is going on in elaboration
Adam Chlipala
2009-11-17
|
*
Start of Decision
Adam Chlipala
2009-11-02
|
*
Saving paper assignments
Adam Chlipala
2009-11-02
|
*
Switch Monoize back to POST forms
Adam Chlipala
2009-11-02
|
*
Initial form for paper assignment
Adam Chlipala
2009-11-01
|
*
Optimizing str1 in MonoOpt
Adam Chlipala
2009-11-01
|
*
Bidding interface
Adam Chlipala
2009-11-01
|
*
Start of bidding implementation compiles
Adam Chlipala
2009-10-31
|
*
Use call/cc for recv and sleep
Adam Chlipala
2009-10-25
|
*
RPC uses VM support for call/cc
Adam Chlipala
2009-10-25
|
*
Always inline records
Adam Chlipala
2009-10-25
|
*
Extend Fuse to work on non-recursive functions
Adam Chlipala
2009-10-25
|
*
Inlining threshold for Mono_reduce
Adam Chlipala
2009-10-25
|
*
Inlining threshold for Reduce
Adam Chlipala
2009-10-25
|
*
Chars working with SQLite
Adam Chlipala
2009-10-22
|
*
Get char working with MySQL
Adam Chlipala
2009-10-22
|
*
Initial support for char in SQL
Adam Chlipala
2009-10-22
|
*
Checking deadline; sign-in
Adam Chlipala
2009-10-22
|
*
Add tuple pattern-matching at the constructor level
Adam Chlipala
2009-10-20
|
*
Better subSgn error locations
Adam Chlipala
2009-10-15
|
*
Fix some MySQL hijinks
Adam Chlipala
2009-10-12
|
*
Versioned1 demo working
Adam Chlipala
2009-10-06
|
*
Initial versioned1 demo working
Adam Chlipala
2009-10-06
|
*
SELECT DISTINCT; eta expansion during Cjrization
Adam Chlipala
2009-10-06
|
*
Fix a de Bruijn index bug in map fusion
Adam Chlipala
2009-10-06
|
*
Better location calculation for record unification error messages; infer ↵
Adam Chlipala
2009-10-05
|
|
|
|
kind arguments to module-projected variables
*
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
|
[next]