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 (
Collapse
)
Author
Age
*
Basis.readUtc
Adam Chlipala
2010-12-28
|
*
Fix time comparison operators; safer saving of queryStrings
Adam Chlipala
2010-12-27
|
*
queryString and effectfulUrl
Adam Chlipala
2010-12-26
|
*
Expose buffer type for other C libraries; replace minusSeconds with addSeconds
Adam Chlipala
2010-12-26
|
*
Switch from libmhash to OpenSSL
Adam Chlipala
2010-12-26
|
*
Include microseconds in uw_Basis_sqlifyTime() output
Adam Chlipala
2010-12-25
|
*
JavaScript compilation of time comparison; fix lexing of XML that includes ↵
Adam Chlipala
2010-12-24
|
|
|
|
open parens
*
Changed uw_Basis_time to store microseconds
Adam Chlipala
2010-12-24
|
*
Fix Postgres date serialization
Adam Chlipala
2010-12-24
|
*
Top.queryI1; fix definition of uw_Basis_minTime
Adam Chlipala
2010-12-24
|
*
Add an extra Especialize pass before Rpcify
Adam Chlipala
2010-12-24
|
*
Fix soundness bug in Effectize, where it missed some functions that might ↵
Adam Chlipala
2010-12-23
|
|
|
|
have effectful RPCs
*
[De]serialization of times in JavaScript; proper integer division in ↵
Adam Chlipala
2010-12-23
|
|
|
|
JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types
*
Recursive record unification errors, for more detail
Adam Chlipala
2010-12-23
|
*
Basis.cdataChar
Adam Chlipala
2010-12-21
|
*
Allow SQL aggregation over nullable types
Adam Chlipala
2010-12-21
|
*
More detail on Especialize in the manual
Adam Chlipala
2010-12-21
|
*
Hopeful fix to stop Especialize infinite looping
Adam Chlipala
2010-12-21
|
*
Fix manual mistake about '@' notations; remove obsolete demos
Adam Chlipala
2010-12-20
|
*
Remove redundant macro
Adam Chlipala
2010-12-20
|
*
Use proper string time format for SQLite
Adam Chlipala
2010-12-20
|
*
Implement constrained type kinding properly; bump mono inline threshhold
Adam Chlipala
2010-12-20
|
*
Fix manual discussion of tuple syntax
Adam Chlipala
2010-12-20
|
*
Periodic tasks
Adam Chlipala
2010-12-18
|
*
Change tasks to support parametric code; add clientLeaves
Adam Chlipala
2010-12-18
|
*
postBody type
Adam Chlipala
2010-12-18
|
*
Restore behavior of not complaining about undetermined unification variables ↵
Adam Chlipala
2010-12-16
|
|
|
|
when there are other errors
*
Fiddly tweaks
Adam Chlipala
2010-12-16
|
*
Clarify that you aren't supposed to be able to create new XML tags
Adam Chlipala
2010-12-16
|
*
Enforce character constraints on source filenames
Adam Chlipala
2010-12-16
|
*
Small tweaks to update demos for record unification change
Adam Chlipala
2010-12-15
|
*
Smarter record unification
Adam Chlipala
2010-12-15
|
*
Allow use of path variables in strings with no slashes
Adam Chlipala
2010-12-14
|
*
Bump year on LICENSE
Adam Chlipala
2010-12-14
|
*
Better treatment of relative paths in .urp files
Adam Chlipala
2010-12-14
|
*
Moving Incl and Mem to Meta library
Adam Chlipala
2010-12-14
|
*
Fix merging of prefix settings
Adam Chlipala
2010-12-12
|
*
-prefix command-line option
Adam Chlipala
2010-12-12
|
*
Change Basis.debug to use the protocol's debug function
Adam Chlipala
2010-12-12
|
*
Warn about XHTML looseness
Adam Chlipala
2010-12-11
|
*
minHeap option in .urp files
Adam Chlipala
2010-12-11
|
*
Comments in .urp files
Adam Chlipala
2010-12-11
|
*
fix small memory leaks
Marc Weber
2010-12-05
|
*
Clarifying some C FFI details in manual
Adam Chlipala
2010-12-11
|
*
Update manual to track uw_register_transactional() change
Adam Chlipala
2010-12-04
|
*
New argument to transactional free functions, to specify whether we are ↵
Adam Chlipala
2010-12-04
|
|
|
|
about to retry
*
Instantiate any Unit unification variables that remain after elaboration
Adam Chlipala
2010-12-02
|
*
More hnorm during type class resolution
Adam Chlipala
2010-12-02
|
*
More accurate/conservative leaky type detection in CjrPrint
Adam Chlipala
2010-11-28
|
*
Fix JavaScript unit unurlification; URL blessing client-side
Adam Chlipala
2010-11-26
|
[next]