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
*
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 op...
Adam Chlipala
2010-12-24
*
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 hav...
Adam Chlipala
2010-12-23
*
[De]serialization of times in JavaScript; proper integer division in JavaScri...
Adam Chlipala
2010-12-23
*
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
*
Hopeful fix to stop Especialize infinite looping
Adam Chlipala
2010-12-21
*
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
*
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
*
Fiddly tweaks
Adam Chlipala
2010-12-16
*
Enforce character constraints on source filenames
Adam Chlipala
2010-12-16
*
Smarter record unification
Adam Chlipala
2010-12-15
*
Allow use of path variables in strings with no slashes
Adam Chlipala
2010-12-14
*
Better treatment of relative paths in .urp files
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
*
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
*
New argument to transactional free functions, to specify whether we are about...
Adam Chlipala
2010-12-04
*
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
*
Fix a bug in C list unurlification
Adam Chlipala
2010-11-21
*
In FastCGI, signal 304 with a header, not the usual HTTP/1.1 line
Adam Chlipala
2010-11-20
*
Fix RPC deserialization of channels
Adam Chlipala
2010-11-19
*
Simplify Basis.strcat calls in MonoOpt
Adam Chlipala
2010-11-19
*
Karn Kallio's patch for static mhash linking
Adam Chlipala
2010-11-18
*
More hnormKind for isUnitCon
Adam Chlipala
2010-11-13
*
Fixes for nasty bugs in Reduce and Especialize
Adam Chlipala
2010-10-19
*
Smarter handling of unification variables for 'kindof' on projections
Adam Chlipala
2010-10-19
*
-limit for running time
Adam Chlipala
2010-10-14
*
Interface for setting memory limits
Adam Chlipala
2010-10-14
*
:::_ notation; switch to TooDeep error message
Adam Chlipala
2010-10-10
*
Fix infinite looping bug in Great Unification Fix
Adam Chlipala
2010-10-10
*
Tweaking unification fix to apply to demo/more
Adam Chlipala
2010-10-10
[next]