log

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