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
*
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 kind...
Adam Chlipala
2009-10-05
*
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
*
Fix sel() generation bug
Adam Chlipala
2009-09-24
*
demo/more compiles; small problem left with foreign keys in Grid1
Adam Chlipala
2009-09-24
*
demo/increment works with interpretation
Adam Chlipala
2009-09-24
*
Might have fixed demo/listEdit
Adam Chlipala
2009-09-24
*
demo/react works with interpretation
Adam Chlipala
2009-09-22
*
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
*
Hopefully complete refactoring of Jscomp to output ASTs; partial implementati...
Adam Chlipala
2009-09-22
*
Paging mostly working; just need to get it working properly with filtering
Adam Chlipala
2009-09-19
*
Grid sorting working
Adam Chlipala
2009-09-19
*
Hopefully fixed Jscomp bug that was breaking Grid
Adam Chlipala
2009-09-19
*
Fix C substring implementation
Adam Chlipala
2009-09-18
*
Grid changed to use Dlist.replace; filters stopped working
Adam Chlipala
2009-09-17
*
Don't try to check if functions are already tail-recursive
Adam Chlipala
2009-09-17
*
tail example working
Adam Chlipala
2009-09-17
*
Basic tail recursion introduction seems to be working
Adam Chlipala
2009-09-17
[next]