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
*
Fix overzealous Marshalcheck; garbage-collect string-embedded closures when ↵
Adam Chlipala
2009-04-04
|
|
|
|
no dyns are active
*
Checking spans in dyns
Adam Chlipala
2009-04-04
|
*
Redo signal implementation to avoid memory leaks
Adam Chlipala
2009-04-02
|
*
Make sure only one pull request runs at a time for each client
Adam Chlipala
2009-04-02
|
*
Detect serialization failures
Adam Chlipala
2009-04-02
|
*
On start-up, delete/nullify rows mentioning clients or channels
Adam Chlipala
2009-04-02
|
*
Stop holding client locks throughout request processing
Adam Chlipala
2009-04-02
|
*
Expunging nullable fields
Adam Chlipala
2009-03-29
|
*
Expunging non-nullable rows
Adam Chlipala
2009-03-29
|
*
Redo channels, making them single-client
Adam Chlipala
2009-03-29
|
*
Switch back to starting listener on load
Adam Chlipala
2009-03-28
|
*
Marshalcheck
Adam Chlipala
2009-03-28
|
*
Chat example working nicely, but without dead channel removal
Adam Chlipala
2009-03-26
|
*
Preliminary work supporting channels in databases
Adam Chlipala
2009-03-26
|
*
Enforce termination of type class instances
Adam Chlipala
2009-03-26
|
*
Make sql_injectable class nicer with inclusion
Adam Chlipala
2009-03-26
|
*
Type class inclusions
Adam Chlipala
2009-03-26
|
*
Type class reductions, but no inclusions yet
Adam Chlipala
2009-03-26
|
*
Variable timeouts and client keep-alive
Adam Chlipala
2009-03-24
|
*
Fix some AJAX annoyances
Adam Chlipala
2009-03-24
|
*
Transactionalize channel operations
Adam Chlipala
2009-03-24
|
*
Proper recv
Adam Chlipala
2009-03-22
|
*
Press a button to send a message
Adam Chlipala
2009-03-22
|
*
First message send delivered, but not interpreted
Adam Chlipala
2009-03-22
|
*
Dummy message delivery to clients
Adam Chlipala
2009-03-19
|
*
Factor out some common buffer functionality
Adam Chlipala
2009-03-19
|
*
Noisy demo
Adam Chlipala
2009-03-10
|
*
BatchG demo
Adam Chlipala
2009-03-10
|
*
Batch example
Adam Chlipala
2009-03-10
|
*
Prose for ListEdit
Adam Chlipala
2009-03-10
|
*
ListEdit demo, minus prose
Adam Chlipala
2009-03-10
|
*
React demo
Adam Chlipala
2009-03-10
|
*
Avoid any JavaScript when pages don't need it; update demo prose
Adam Chlipala
2009-03-10
|
*
Conversion of functions to CPS, to facilitate ServerCall
Adam Chlipala
2009-03-08
|
*
RPC returning an option
Adam Chlipala
2009-03-08
|
*
RPC returning a default datatype
Adam Chlipala
2009-03-08
|
*
RPC returning an option datatype
Adam Chlipala
2009-03-08
|
*
RPC returning an enumeration
Adam Chlipala
2009-03-08
|
*
Coq README
Adam Chlipala
2009-02-26
|
*
Coq formalization uses TDisjoint
Adam Chlipala
2009-02-24
|
*
Folder generation for functors
Adam Chlipala
2009-02-24
|
*
Folder generation for functions
Adam Chlipala
2009-02-24
|
*
Demos compile again, with manual folders
Adam Chlipala
2009-02-24
|
*
Top.Fold.concat elaborates
Adam Chlipala
2009-02-24
|
*
Switch to TDisjoint from CDisjoint; still need to implement obligation ↵
Adam Chlipala
2009-02-24
|
|
|
|
generation at EDisjoint uses
*
demo/hello compiles with kind polymorphism
Adam Chlipala
2009-02-22
|
*
Turned off termination checking, for now
Adam Chlipala
2009-02-22
|
*
Kind polymorphism through Explify
Adam Chlipala
2009-02-22
|
*
Start of kind polymorphism, up to the point where demo/hello elaborates with ↵
Adam Chlipala
2009-02-22
|
|
|
|
updated Basis/Top
*
Debug reverse-engineering unification
Adam Chlipala
2009-02-21
|
[next]