index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Get demo type-inferring again
Adam Chlipala
2009-04-07
*
FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingerin...
Adam Chlipala
2009-04-07
*
Add primary keys to demo
Adam Chlipala
2009-04-07
*
PRIMARY KEY
Adam Chlipala
2009-04-07
*
Enhance table sig item support and get demo compiling again
Adam Chlipala
2009-04-07
*
Track uniqueness sets in table types
Adam Chlipala
2009-04-07
*
UNIQUE constraints
Adam Chlipala
2009-04-07
*
Fixing some regressions and other bugs
Adam Chlipala
2009-04-05
*
CHANGELOG before release
Adam Chlipala
2009-04-05
*
Update the manual
Adam Chlipala
2009-04-05
*
Initialize contexts a little more vigorously
Adam Chlipala
2009-04-05
*
Chat demo
Adam Chlipala
2009-04-05
*
RoundTrip demo
Adam Chlipala
2009-04-05
*
Threads demo
Adam Chlipala
2009-04-05
*
Avoid generating empty <script> blocks
Adam Chlipala
2009-04-05
*
sleep and better Scriptcheck
Adam Chlipala
2009-04-04
*
spawn
Adam Chlipala
2009-04-04
*
_Really_ implement embedded closure GC; extend Scriptcheck to figure out when...
Adam Chlipala
2009-04-04
*
Fix overzealous Marshalcheck; garbage-collect string-embedded closures when n...
Adam Chlipala
2009-04-04
*
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
*
Don't self-update ctextboxes unnecessarily
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
*
Mention src/coq in CHANGELOG
Adam Chlipala
2009-03-12
*
Spell-check manual
Adam Chlipala
2009-03-12
*
Update CHANGELOG
Adam Chlipala
2009-03-12
*
Add guard elim rule
Adam Chlipala
2009-03-12
*
Update compiler phases
Adam Chlipala
2009-03-12
[next]