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
*
Basis.toMilliseconds and diffInMilliseconds, based on a patch from Gergely Buday
Adam Chlipala
2012-02-04
*
Extend and document RANDOM
Adam Chlipala
2012-02-04
*
'ORDER BY RANDOM' (based on a patch from Ron de Bruijn)
Adam Chlipala
2012-02-02
*
Fix fetching of keycodes for key events
Adam Chlipala
2012-01-15
*
Fixed clients mutex initialization for compiling under OS X.
Vladimir Shabanov
2012-01-14
*
-dumpSource flag; Especialize tweak: may specialize any argument sequence end...
Adam Chlipala
2012-01-12
*
Small fix to previous commit
Adam Chlipala
2012-01-11
*
New, more principled heuristic for Especialize: only specialize uniform funct...
Adam Chlipala
2012-01-11
*
Tweak Especialize heuristic
Adam Chlipala
2012-01-11
*
Make Ubuntu linking patch more general
Adam Chlipala
2012-01-10
*
Fix some locking issues for client array
Adam Chlipala
2012-01-10
*
Properly handle case where an RPC changes signed cookie state
Adam Chlipala
2012-01-10
*
Prevent horrifying loops in unification variable graph
Adam Chlipala
2012-01-09
*
Tweak Especialize heuristic to prevent non-termination
Adam Chlipala
2012-01-09
*
Revert ax_check_openssl.m4 and instead compensate for Ubuntu weirdness in con...
Adam Chlipala
2012-01-09
*
Fix channel delivery to handle sending of messages for channels whose clients...
Adam Chlipala
2012-01-08
*
Finish function argument order-of-operations fix
Adam Chlipala
2012-01-07
*
First part of changes to avoid depending on C function call argument order of...
Adam Chlipala
2012-01-07
*
Make wildification a bit smarter about ordering of new wildcard declarations
Adam Chlipala
2012-01-07
*
Revert last unification tweak
Adam Chlipala
2012-01-06
*
Change linking argument order, based on reported problems in Ubuntu 11.10
Adam Chlipala
2012-01-05
*
Tweak new unification heuristic
Adam Chlipala
2012-01-05
*
Prevent unifications of 'others' pieces in record summaries, when both pieces...
Adam Chlipala
2012-01-05
*
Fix handling of quotes in generating C literals
Adam Chlipala
2012-01-02
*
Adapt Monoize serialization to handle freshly created variant types
Adam Chlipala
2012-01-02
*
Add arguments to [type] declarations and signature items
Adam Chlipala
2012-01-02
*
Error messages about applying 'dynClass' to tags that don't like it
Adam Chlipala
2011-12-31
*
Add dynamic content before running its scripts, to get IDs in scope; fix gene...
Adam Chlipala
2011-12-29
*
Get a few more source files up-to-date with change to [tag] type
Adam Chlipala
2011-12-28
*
'dynClass' pseudo-attribute
Adam Chlipala
2011-12-27
*
Order constructors properly in wildification, to avoid spuriously displeasing...
Adam Chlipala
2011-12-18
*
Add a new scoping check for unification variables, to fix a type inference bug
Adam Chlipala
2011-12-18
*
Allow .urp libraries to set prefix
Adam Chlipala
2011-12-17
*
SQL lower() and upper() functions
Adam Chlipala
2011-12-17
*
Fix C-side unurlification of unboxable Option datatypes
Adam Chlipala
2011-12-17
*
Treat [naughtyDebug] as pure for optimization purposes
Adam Chlipala
2011-12-05
*
Fix client-side [int] parsing and extend server-side [time] parsing to suppor...
Adam Chlipala
2011-12-04
*
timeFormat .urp directive
Adam Chlipala
2011-12-04
*
Don't crash on invalid URL head terms during Tag
Adam Chlipala
2011-12-03
*
New 't.*' notation for SELECT
Adam Chlipala
2011-12-03
*
Nicer record summary error messages
Adam Chlipala
2011-12-03
*
Change client-side debug to use console.debug
Adam Chlipala
2011-12-03
*
Client-side strlenGe
Adam Chlipala
2011-12-03
*
Better error messages about non-SQL-izability of types
Adam Chlipala
2011-12-03
*
Allow sources to be returned by RPCs
Adam Chlipala
2011-12-03
*
Catching integer divisions by zero
Adam Chlipala
2011-12-03
*
Update Coq semantics for 8.3pl2
Adam Chlipala
2011-11-30
*
Support 'safeGet' in demos
Adam Chlipala
2011-11-25
*
Fix server-side urlification of custom Option types
Adam Chlipala
2011-11-25
*
Announce sidedness errors with source locations
Adam Chlipala
2011-11-25
[next]