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 |