log

age author description
Thu, 19 Nov 2015 03:45:39 -0500 Ziv Scully Fix SQL parser JOIN bug and fix ON clause logic in Sqlcache.
Thu, 19 Nov 2015 01:59:00 -0500 Ziv Scully Support nested queries but disable UrFlow for now.
Wed, 18 Nov 2015 14:48:24 -0500 Ziv Scully Trivial change to benchmark.
Tue, 17 Nov 2015 04:08:12 -0500 Ziv Scully Ran a benchmark!
Tue, 17 Nov 2015 02:44:37 -0500 Ziv Scully Make cache flushes happen immediately instead of at end of transaction.
Sun, 15 Nov 2015 18:10:24 -0500 ziv Add small benchmark (WIP).
Sun, 15 Nov 2015 14:18:35 -0500 Ziv Scully Fix bugs for lock calculation and SQL parsing and add support for tasks.
Fri, 13 Nov 2015 11:03:09 -0500 Ziv Scully Finish locking, but it's not yet tested rigorously.
Fri, 13 Nov 2015 01:05:22 -0500 Ziv Scully Remove debugging print statement.
Fri, 13 Nov 2015 01:04:32 -0500 Ziv Scully Fix issue with one-element caches. Locking still WIP.
Thu, 12 Nov 2015 16:36:35 -0500 Ziv Scully Fix committing multiple stores/flushes. Locking is WIP.
Thu, 12 Nov 2015 11:44:21 -0500 Ziv Scully Actually use transactional machinery for flushes this time.
Thu, 12 Nov 2015 10:06:07 -0500 Ziv Scully Initialize invalidation to NULL!
Thu, 12 Nov 2015 09:47:20 -0500 Ziv Scully Make cache flushes safe for transactions (not sure about LRU bump on read).
Thu, 12 Nov 2015 09:15:50 -0500 Ziv Scully Simplify C interface.
Thu, 12 Nov 2015 08:46:51 -0500 Ziv Scully Merge.
Wed, 11 Nov 2015 20:01:48 -0500 Ziv Scully Rewrite LRU cache. Now uses one big hash table and is less buggy.
Tue, 10 Nov 2015 12:35:00 -0500 Ziv Scully Fix bug in and clean up free path code.
Mon, 09 Nov 2015 13:38:04 -0500 Ziv Scully Add new files missing from previous commit.
Mon, 09 Nov 2015 13:37:31 -0500 Ziv Scully Progress on free paths, but consolidation seems to fail more with them.
Sat, 07 Nov 2015 15:16:44 -0500 Ziv Scully Fix some table renaming issues.
Thu, 05 Nov 2015 01:48:42 -0500 Ziv Scully First draft of more specific formulas for queries.
Wed, 04 Nov 2015 20:12:07 -0500 Ziv Scully Consildation of caches understands sqlification.
Sat, 31 Oct 2015 23:35:42 -0400 Ziv Scully Merge.
Wed, 21 Oct 2015 09:18:36 -0400 Ziv Scully First draft of cache consolidation.
Mon, 19 Oct 2015 14:42:22 -0400 Ziv Scully Merge.
Thu, 15 Oct 2015 00:52:04 -0400 Ziv Scully Make SQL caches use more of the pure caching machinery, but it's brittle.
Wed, 14 Oct 2015 23:10:10 -0400 Ziv Scully Thread state through addCaching more carefully.
Wed, 14 Oct 2015 20:40:57 -0400 Ziv Scully Factor out SQL simplification.
Wed, 14 Oct 2015 15:45:04 -0400 Ziv Scully Do SQL and pure caching in the same pass.
Wed, 14 Oct 2015 00:07:00 -0400 Ziv Scully Hard-code Sqlcache module (in Ur/Web) as effectful and reorder sqlcache.sml.
Tue, 13 Oct 2015 20:24:37 -0400 Ziv Scully Fix another mismatch between expunger SQL generation and SQL parser.
Tue, 13 Oct 2015 14:22:05 -0400 Ziv Scully Merge bbaren's fix for bug 209.
Wed, 07 Oct 2015 08:58:08 -0400 Ziv Scully Fix recording bugs to do with nesting and buffer reallocation. Stop MonoFooify printing spurious errors.
Wed, 30 Sep 2015 00:33:52 -0400 Ziv Scully Fix SQL-parsing and declaration-ordering bugs.
Mon, 28 Sep 2015 22:16:51 -0400 Ziv Scully Begin work on cache merging.
Sun, 27 Sep 2015 17:24:57 -0400 Ziv Scully Fix effectfulness registration toy cache.
Sun, 27 Sep 2015 17:02:14 -0400 Ziv Scully Fix bug where pure caching didn't treat FFI applications as effectful.
Sun, 27 Sep 2015 14:46:12 -0400 Ziv Scully Use referenced (rather than all) free variables as keys for pure caches.
Sun, 27 Sep 2015 03:52:14 -0400 Ziv Scully Pure caching sort of works.
Mon, 21 Sep 2015 16:45:59 -0400 Ziv Scully Use new refactored urlification in Sqlcache.
Mon, 21 Sep 2015 16:07:35 -0400 Ziv Scully Factor out urlification.
Mon, 21 Sep 2015 14:54:07 -0400 Ziv Scully Factor out [Monoize.Fm] to make it accessible to [Sqlcache].
Mon, 21 Sep 2015 10:16:55 -0400 Ziv Scully Revert to revision 2222.
Sun, 13 Sep 2015 17:02:17 -0400 Ziv Scully Make Mono.file a record for readability upon extension.
Sun, 13 Sep 2015 16:02:45 -0400 Ziv Scully Start work on pure expression caching.
Sat, 12 Sep 2015 17:11:33 -0400 Ziv Scully Merge.
Sat, 15 Aug 2015 23:08:37 -0700 Ziv Scully Rewrite effectfulness analysis using MonoUtil.
Sun, 02 Aug 2015 18:37:24 -0700 Ziv Scully Fix NONE capitalization typo.
Sun, 02 Aug 2015 18:26:44 -0700 Ziv Scully Merge.
Sun, 02 Aug 2015 18:25:42 -0700 Ziv Scully Sqlcache allows any expression injected into SQL.
Mon, 20 Jul 2015 23:25:44 -0700 Ziv Scully Use uniform representation of comparisons for better simplification.
Mon, 20 Jul 2015 19:49:13 -0700 Ziv Scully Fix possible formula simplification bug with extra formula' type.
Sun, 19 Jul 2015 19:12:50 -0700 Ziv Scully Add parameterless query to caching test.
Sun, 19 Jul 2015 19:05:16 -0700 Ziv Scully Merge.
Sun, 19 Jul 2015 19:03:11 -0700 Ziv Scully Rename C functions and remove functors nested inside modules.
Tue, 07 Jul 2015 00:07:24 -0700 Ziv Scully Add limited support for parsing SQL arithmetic.
Mon, 06 Jul 2015 01:31:04 -0700 Ziv Scully Only use string (rather than numeric, etc.) primitives in parsed SQL statements.
Sun, 05 Jul 2015 23:57:28 -0700 Ziv Scully Fix bug in redundancy checking and use finer formula for UPDATE statements.
Tue, 30 Jun 2015 01:56:22 -0700 Ziv Scully Major DNF-calculation performance decrapification.
Mon, 29 Jun 2015 01:33:47 -0700 Ziv Scully Refactored a lot and fixed an and/or swap, but still not good on current test.
Sun, 28 Jun 2015 12:46:51 -0700 Ziv Scully Progress on LRU cache but still more known bugs to fix.
Wed, 06 May 2015 23:11:30 -0400 Ziv Scully More work factoring out Sqlcache back end.
Wed, 06 May 2015 14:51:09 -0400 Ziv Scully Merge.
Wed, 06 May 2015 14:50:55 -0400 Ziv Scully Add missing file.
Wed, 06 May 2015 14:50:29 -0400 Ziv Scully Factor out cache implementation from Sqlcache.
Tue, 07 Apr 2015 17:26:53 -0400 Ziv Scully Merge.
Tue, 07 Apr 2015 14:18:53 -0400 Ziv Scully New mouse events oncontextmenu, onmouseenter, and onmouseleave.
Tue, 31 Mar 2015 04:10:46 -0400 Ziv Scully Fix type in flush FFI call to option string (rather than string).
Fri, 27 Mar 2015 11:26:06 -0400 Ziv Scully Merge.
Fri, 27 Mar 2015 11:19:15 -0400 Ziv Scully Simplify example.
Thu, 11 Dec 2014 02:05:41 -0500 Ziv Scully Merge.
Sat, 29 Nov 2014 04:34:41 -0500 Ziv Scully Remove Sqlcache urlification hack.
Sat, 29 Nov 2014 03:38:26 -0500 Ziv Scully Merge.
Sat, 29 Nov 2014 03:37:59 -0500 Ziv Scully Basic field-resolution invalidation.
Mon, 24 Nov 2014 20:47:38 -0500 Ziv Scully Merge.
Mon, 24 Nov 2014 20:41:24 -0500 Ziv Scully Add interface to UnionFind.
Tue, 11 Nov 2014 04:25:20 -0500 Ziv Scully More invalidation progress.
Mon, 10 Nov 2014 22:07:51 -0500 Ziv Scully Merge.
Mon, 10 Nov 2014 22:04:40 -0500 Ziv Scully Progress towards invalidation based on equalities of fields.
Fri, 31 Oct 2014 09:25:03 -0400 Ziv Scully Mostly finish effectfulness analysis.
Tue, 14 Oct 2014 18:07:09 -0400 Ziv Scully Add mono_inline.sml (which was left out of last commit).
Tue, 14 Oct 2014 18:05:09 -0400 Ziv Scully Complete overhaul: cache queries based on immediate query result, not eventual HTML output.
Mon, 15 Sep 2014 20:01:16 -0400 Ziv Scully Small cleanup.
Sat, 13 Sep 2014 19:16:07 -0400 Ziv Scully Merge.
Sat, 31 May 2014 22:23:25 -0400 Ziv Scully Merge.
Sat, 31 May 2014 03:08:16 -0400 Ziv Scully Cleans up interface (it's now a command line option) and renames project to "sqlcache" in the all-one-word style. Still has issues to do with concurrency, retrying transactions, and foreign function calls that either rely on state or have side effects.
Fri, 30 May 2014 12:00:44 -0400 Ziv Scully Merge.
Fri, 30 May 2014 12:00:00 -0400 Ziv Scully Removes DBMS choice override from compiler.sml (which was there for debugging).
Tue, 27 May 2014 21:38:01 -0400 Ziv Scully Merge.
Tue, 27 May 2014 21:15:53 -0400 Ziv Scully Forgets deleted files.
Tue, 27 May 2014 21:14:13 -0400 Ziv Scully Finishes initial prototype, caching parameterless pages with table-match-based invalidation. Still has problems parsing non-Postgres SQL dialects properly.
Tue, 25 Mar 2014 02:04:06 -0400 Ziv Scully ML half of initial prototype. (Doesn't compile because there's no C yet.)
Sat, 08 Mar 2014 05:06:22 -0500 Ziv Scully Identifies tables read or touched by queries.
Sun, 20 Dec 2015 13:41:35 -0500 Adam Chlipala Unnest properly in presence of kind polymorphism
Tue, 15 Dec 2015 19:58:52 -0500 Adam Chlipala Fixing dynClass for <tr>s
Tue, 08 Dec 2015 17:29:24 -0500 Adam Chlipala Change Postgres schema-checking code to account properly for namespaces
Sat, 05 Dec 2015 12:12:40 -0500 Adam Chlipala Document jsFile
Sat, 05 Dec 2015 12:04:06 -0500 Adam Chlipala New .urp directive: jsFile
Fri, 27 Nov 2015 15:28:12 -0500 Adam Chlipala Fix tricky case of functor signature subsumption
Wed, 25 Nov 2015 18:48:17 -0500 Adam Chlipala Reduce: add reduction in some spots previously missed, associated with 'case' return types
Sun, 22 Nov 2015 10:25:22 -0500 Adam Chlipala Return to working version mode
Sun, 22 Nov 2015 10:09:16 -0500 Adam Chlipala New release
Sun, 22 Nov 2015 10:03:35 -0500 Adam Chlipala Make daemon mode support sharing of libraries across projects
Sun, 01 Nov 2015 17:02:16 -0500 Adam Chlipala Change behavior of SQL equality to do the intuitive thing for nullable types
Sun, 01 Nov 2015 16:33:14 -0500 Adam Chlipala After a tricky debugging session, limit visibility of type-class instances from anonymous modules
Sun, 01 Nov 2015 14:17:09 -0500 Adam Chlipala JavaScript versions of a few more functions
Sun, 01 Nov 2015 12:23:44 -0500 Adam Chlipala Better client-side error messages for RPC failures
Sun, 01 Nov 2015 11:55:01 -0500 Adam Chlipala Basis.fromMilliseconds
Sat, 31 Oct 2015 19:21:05 -0400 Adam Chlipala Remove spurious failure about reopening database connection
Sat, 31 Oct 2015 11:49:30 -0400 Adam Chlipala Monad.mapR3
Sat, 24 Oct 2015 17:23:07 -0400 Adam Chlipala More Elaborate work to avoid instantiating unification variables with out-of-scope regular variables
Sun, 18 Oct 2015 16:03:56 -0400 Adam Chlipala Allow duplicate 'file' directives if paths normalize to same value
Sun, 18 Oct 2015 14:46:50 -0400 Adam Chlipala Return to working version mode
Sun, 18 Oct 2015 14:38:20 -0400 Adam Chlipala Grandfathered into release: make urweb-mode keep working in Emacs 23
Sun, 18 Oct 2015 10:50:59 -0400 Adam Chlipala Return to working version mode
Sun, 18 Oct 2015 10:34:24 -0400 Adam Chlipala New release
Sat, 17 Oct 2015 11:31:22 -0400 Adam Chlipala Database-server reconnection for MySQL
Sat, 17 Oct 2015 11:08:12 -0400 Adam Chlipala Switching to a more dynamic method of handling database reconnection, restarting transactions
Sat, 17 Oct 2015 10:49:25 -0400 Adam Chlipala Start of support for surviving database-server restarts, for Postgres
Thu, 15 Oct 2015 07:52:37 -0400 Adam Chlipala Make urweb-mode inherit from prog-mode (contributed by Ziv Scully)
Sun, 20 Sep 2015 17:46:07 -0400 Benjamin Barenblat Use correct OpenSSL thread safety macros on OS X (closes #209)
Thu, 27 Aug 2015 16:28:45 -0400 Adam Chlipala Proper error message for excessively fancy FFI signatures
Thu, 20 Aug 2015 15:11:40 -0400 Adam Chlipala Beautify '-h' output for web servers
Wed, 19 Aug 2015 10:53:18 -0400 Adam Chlipala Return to working version mode
Wed, 19 Aug 2015 10:32:11 -0400 Adam Chlipala New release
Sat, 15 Aug 2015 08:10:20 -0400 Adam Chlipala Add LIKE to the manual
Sun, 09 Aug 2015 11:14:09 -0400 Adam Chlipala Fix termination bug in tutorial's isEven/isOdd
Thu, 06 Aug 2015 12:51:09 -0400 Adam Chlipala Add '-noEmacs' for 'make test'
Thu, 06 Aug 2015 10:15:53 -0400 Benjamin Barenblat Make OpenSSL usage thread-safe (closes #206)
Thu, 06 Aug 2015 09:57:47 -0400 Adam Chlipala Change 'make test' to work before 'make install'
Wed, 29 Jul 2015 10:08:03 -0400 Adam Chlipala Add a simple 'make test' target
Thu, 07 May 2015 16:12:06 -0400 Julian Squires Add onChange handler to radioOption
Mon, 13 Jul 2015 14:34:30 -0400 Julian Squires Allow returnBlob and redirect in static protocol
Sun, 05 Jul 2015 16:11:24 -0400 Adam Chlipala Add a missed case in CoreUtil.Exp fold
Sat, 04 Jul 2015 19:24:26 -0400 Adam Chlipala Tag NULLs with their types in SQL, to help the DBMS do type inference
Sat, 04 Jul 2015 18:44:52 -0400 Adam Chlipala Stray character in a comment
Fri, 03 Jul 2015 17:25:56 -0400 Adam Chlipala Fix a maddening bug in the comparator for Core constructors
Thu, 02 Jul 2015 13:02:37 -0400 Adam Chlipala Add HTML 'align' attribute
Thu, 02 Jul 2015 12:42:49 -0400 Adam Chlipala Allow mouse and key events for <body>
Thu, 11 Jun 2015 19:38:03 -0400 Adam Chlipala A number of bug fixes in the manual
Thu, 11 Jun 2015 19:06:32 -0400 Adam Chlipala Allow apostrophes in capitalized identifiers
Mon, 08 Jun 2015 11:11:46 -0400 Adam Chlipala Apply syntax sugar for 'class' attribute to <form> as well
Wed, 03 Jun 2015 09:55:37 -0400 Adam Chlipala Adjust new [assert] to work properly from top.ur
Wed, 03 Jun 2015 15:07:46 +0200 Gabriel Riba Faura assert function to use with location literal _LOC_
Wed, 03 Jun 2015 08:34:23 +0200 Gabriel Riba Faura location literal _LOC_
Thu, 28 May 2015 10:28:15 -0400 Adam Chlipala Remove duplicate lexer line
Thu, 28 May 2015 10:23:43 -0400 Adam Chlipala Handling overflow in integer literals (contributed by Gabriel Riba)
Wed, 20 May 2015 12:44:28 -0400 Adam Chlipala Return to working version mode
Wed, 20 May 2015 12:33:25 -0400 Adam Chlipala New release
Thu, 07 May 2015 09:50:37 -0400 Julian Squires Do not explicitly return false from onclick handler
Sun, 10 May 2015 12:56:19 -0400 Adam Chlipala Fix .sql generation to honor 'noMangleSql' in column names
Sun, 10 May 2015 12:13:12 -0400 Adam Chlipala Make naughtyDebug use protocol-specific logging
Mon, 04 May 2015 14:35:07 -0400 Julian Squires Fix XML indentation in Emacs mode
Tue, 05 May 2015 14:03:06 -0400 Julian Squires Treat "style" as starting an expression in urweb-mode
Mon, 04 May 2015 16:15:01 -0400 Julian Squires Add urweb-mode command to close current XML tag
Fri, 24 Apr 2015 16:21:55 -0400 Julian Squires Allow URIs specified in file directives implicitly
Mon, 04 May 2015 13:22:29 -0400 Julian Squires Add fieldset and legend tags
Sun, 03 May 2015 09:40:13 -0400 Adam Chlipala Set dummy header lookup function in static.c
Fri, 24 Apr 2015 10:01:56 -0400 Adam Chlipala Ignore manual.out
Fri, 24 Apr 2015 07:51:47 -0400 Julian Squires Allow file directives to contain slashes
Fri, 24 Apr 2015 07:43:22 -0400 Julian Squires Use hyperref in manual
Thu, 23 Apr 2015 16:37:15 -0400 Istvan Chung Fix missing SQL name-mangling in table initialization
Sun, 12 Apr 2015 14:28:27 -0400 Adam Chlipala Return to working version mode
Sun, 12 Apr 2015 14:19:02 -0400 Adam Chlipala New release
Tue, 07 Apr 2015 14:18:53 -0400 Ziv Scully New mouse events oncontextmenu, onmouseenter, and onmouseleave.
Sun, 08 Mar 2015 11:12:28 -0400 Adam Chlipala Make flattening of reactive HTML trees iterative instead of recursive, to avoid stack overflows
Sun, 08 Mar 2015 11:05:54 -0400 Adam Chlipala Fix dynClass JavaScript reversion
Sun, 08 Mar 2015 10:55:05 -0400 Adam Chlipala Fix interpretation of 'file' argument paths
Fri, 06 Mar 2015 09:46:21 -0500 Adam Chlipala Change MonoReduce to do fixed-pointing, since it sometimes enables more optimizations for itself (e.g., yanking lambdas out of [case]s)
Thu, 05 Mar 2015 15:05:53 -0500 Adam Chlipala Document hexadecimal literals
Thu, 05 Mar 2015 15:03:04 -0500 Adam Chlipala Hexadecimal integer literals, contributed by Gabriel Riba
Thu, 05 Mar 2015 14:58:34 -0500 Adam Chlipala Document new infix operators
Thu, 05 Mar 2015 14:50:31 -0500 Adam Chlipala Some new infix operators, contributed by Gabriel Riba
Tue, 03 Mar 2015 15:55:00 -0500 Adam Chlipala Support 'dynClass' and 'dynStyle' for <body>
Mon, 16 Feb 2015 14:52:56 -0500 Adam Chlipala Evaluate minus and times in MonoOpt
Sun, 26 Oct 2014 14:07:07 +0000 Sergey Mironov Add 'download' attribute to <a/>, part of HTML5
Sat, 14 Feb 2015 08:27:50 -0500 Adam Chlipala Return to working version mode
Sat, 14 Feb 2015 08:17:36 -0500 Adam Chlipala New release
Thu, 12 Feb 2015 15:09:26 -0500 Adam Chlipala The 2nd half of proper CSRF protection related to environment variables
Wed, 11 Feb 2015 13:12:59 -0500 Adam Chlipala An Emacs urweb-mode optimization contributed by John Wiegley
Tue, 10 Feb 2015 09:58:35 -0500 Adam Chlipala Merge
Tue, 10 Feb 2015 09:58:20 -0500 Adam Chlipala Fix resolution of 'file' paths
Thu, 05 Feb 2015 11:09:25 -0500 Adam Chlipala Treat getHeader and getenv as vectors for reading request data supplied implicitly by browsers
Sun, 01 Feb 2015 15:50:54 -0500 Adam Chlipala Don't allow singleton <button> tags
Sun, 01 Feb 2015 12:29:14 -0500 Adam Chlipala A new MonoReduce optimization for lifting 'let' out of field projection; JavaScript compilation for exponentiation
Wed, 28 Jan 2015 08:47:04 -0500 Adam Chlipala Improve wildification for records of type-class witnesses
Thu, 22 Jan 2015 11:26:24 -0500 Adam Chlipala Fix case issue in name mangling for MySQL
Thu, 22 Jan 2015 11:00:17 -0500 Adam Chlipala Reference manual: fix rendering of field removal operators
Thu, 22 Jan 2015 09:55:05 -0500 Adam Chlipala Fix a potential memory bug in fastcgi.c
Thu, 22 Jan 2015 09:46:20 -0500 Adam Chlipala Fix silly mistake from last commit; also switch away from rand() in openssl.c
Mon, 12 Jan 2015 12:02:54 -0500 Adam Chlipala Switch to using OpenSSL PRNG for the one remaining rand()
Wed, 07 Jan 2015 09:25:13 -0500 Adam Chlipala Fix arguments to PQprepare()
Sat, 03 Jan 2015 10:28:36 -0500 Adam Chlipala Return to working version mode
Sat, 03 Jan 2015 10:21:26 -0500 Adam Chlipala Fixing one small issue with changes to signature matching (grandfathered into release)
Sat, 03 Jan 2015 09:56:57 -0500 Adam Chlipala New release
Tue, 30 Dec 2014 17:02:31 -0500 Adam Chlipala Fix a bug in subsignature checking for submodules
Fri, 26 Dec 2014 12:30:22 -0500 Adam Chlipala Add to .hgignore
Thu, 25 Dec 2014 18:32:27 -0500 Adam Chlipala Client-side conversion of string to bool
Wed, 24 Dec 2014 12:35:20 -0500 Adam Chlipala Broaden handling of wildcard rewrites
Tue, 23 Dec 2014 14:41:23 -0500 Adam Chlipala List.mem
Tue, 23 Dec 2014 13:42:20 -0500 Adam Chlipala Improve wildify heuristic for finding record type-class witnesses
Tue, 23 Dec 2014 12:24:38 -0500 Adam Chlipala New antiquote syntax for ORDER BY
Tue, 23 Dec 2014 11:23:27 -0500 Adam Chlipala Another try at a proper fix for constraint matching in subsignature checking
Sun, 21 Dec 2014 13:20:11 -0500 Adam Chlipala Compatibility fix in header file
Thu, 18 Dec 2014 07:48:37 -0500 Adam Chlipala Fix XML syntax for closing <input> tags
Sat, 06 Dec 2014 15:45:41 -0500 Adam Chlipala Return to working version mode
Sat, 06 Dec 2014 15:26:56 -0500 Adam Chlipala New release
Fri, 05 Dec 2014 19:41:27 -0500 Adam Chlipala Move code from last changeset, to improve performance
Thu, 04 Dec 2014 20:22:39 -0500 Adam Chlipala In checking signature subsumption, be sure to try constraints last.
Thu, 04 Dec 2014 19:54:04 -0500 Adam Chlipala Optimizing writes of single characters
Thu, 04 Dec 2014 02:47:24 -0500 Adam Chlipala More aggressive inlining of 'let' with record literals, plus some changes to Monoization of queries, to make inlining more common
Wed, 03 Dec 2014 21:21:37 -0500 Adam Chlipala MonoOpt: remove concatenation with empty string
Wed, 03 Dec 2014 21:06:15 -0500 Adam Chlipala Some more optimization of string expressions showing up in JSON generation (Meta library)
Tue, 25 Nov 2014 08:21:09 -0500 Adam Chlipala Tiny lexer change for SML/NJ compatibility (suggested by Ziv Scully)
Sun, 16 Nov 2014 15:20:13 -0500 Adam Chlipala More HTML5 AJAX widgets
Sun, 16 Nov 2014 15:03:29 -0500 Adam Chlipala Textual HTML5 AJAX widgets
Sun, 16 Nov 2014 14:39:38 -0500 Adam Chlipala Some more HTML5 input types
Sun, 16 Nov 2014 14:16:11 -0500 Adam Chlipala More simple textual HTML5 input types
Sun, 16 Nov 2014 14:06:24 -0500 Adam Chlipala Remove 'value' attribute of <checkbox>
Sun, 16 Nov 2014 14:02:17 -0500 Adam Chlipala Make 'required' and 'autofocus' attributes Boolean; add a syntax extension for parsing their usual HTML syntax
Sun, 12 Oct 2014 10:03:36 +0000 Sergey Mironov HTML5 input attributes: placeholder, required, autofocus; email input type (without cformTag equivalent)
Sun, 16 Nov 2014 13:39:18 -0500 Adam Chlipala uw_remoteSock()
Sat, 20 Sep 2014 13:55:25 -0400 Adam Chlipala Default to parsing time strings with the application-configured format
Tue, 02 Sep 2014 17:42:10 +0000 Sergey Mironov Introduce recv timeout controlled by '-T' option in http.c
Tue, 02 Sep 2014 17:37:22 +0000 Sergey Mironov Check realloc's return code to prevent segfault on out of memory condition (Part 3)
Tue, 02 Sep 2014 17:36:14 +0000 Sergey Mironov Replace common "if(!quiet) printf(...)" pattern with a macro
Sun, 24 Aug 2014 11:56:41 +0400 Sergey Mironov Check realloc's return code to prevent segfault on out of memory condition (Part 2)
Thu, 04 Sep 2014 08:40:14 -0400 Adam Chlipala In computing command lines, put filenames inside of quotes, to support spaces and other funky characters nicely
Sat, 30 Aug 2014 08:48:41 -0400 Adam Chlipala Return to working version mode
Sat, 30 Aug 2014 08:28:59 -0400 Adam Chlipala New release
Sun, 24 Aug 2014 11:43:49 -0400 Adam Chlipala Extend ScriptCheck to take RPCs into account
Sat, 23 Aug 2014 11:59:34 +0000 Sergey Mironov Check realloc's return code to prevent segfault on out of memoty condition
Mon, 07 Jul 2014 10:05:04 +0400 Sergey Mironov Add 'role' data attribute.
Tue, 19 Aug 2014 11:23:26 -0400 Adam Chlipala Return to working version mode
Tue, 19 Aug 2014 11:17:39 -0400 Adam Chlipala <cselect> and <coption> type fixes (grandfathered into release)
Tue, 19 Aug 2014 11:08:25 -0400 Adam Chlipala New release
Sun, 17 Aug 2014 15:56:43 -0400 Adam Chlipala A new test for <button>
Sun, 17 Aug 2014 18:28:37 +0000 Sergey Mironov Allow Body tags inside cformTags
Sun, 17 Aug 2014 13:07:56 -0400 Adam Chlipala New phase: Dbmodecheck
Sun, 10 Aug 2014 13:40:53 -0400 Ziv Scully Adds AJAX-oriented widget cpassword.
Fri, 15 Aug 2014 18:25:56 -0400 Adam Chlipala Don't use uw_malloc() or equivalent in generating error messages while parsing HTTP request
Fri, 15 Aug 2014 07:11:31 +0000 Sergey Mironov Add tests/dbupload2.* files
Thu, 07 Aug 2014 09:28:41 -0400 Adam Chlipala Return to working version mode
Thu, 07 Aug 2014 09:17:52 -0400 Adam Chlipala New release
Wed, 06 Aug 2014 09:50:02 -0400 Adam Chlipala MonoReduce bug involving 'error'
Fri, 01 Aug 2014 16:11:36 -0400 Adam Chlipala When unifying constructor-level unification variables, also unify their kinds
Fri, 01 Aug 2014 15:44:17 -0400 Adam Chlipala Differentiate between HTML and normal string literals
Fri, 01 Aug 2014 11:43:44 -0400 Adam Chlipala 'aria-*' attributes
Thu, 31 Jul 2014 09:56:41 -0400 Adam Chlipala New .urp directive: file
Mon, 28 Jul 2014 20:18:43 -0400 Samuel Dukhovni Added javascript for Basis.strsindex
Tue, 29 Jul 2014 14:46:06 -0400 Adam Chlipala Retweak the last tweak to allow type inference to succeed in a strict superset of the places where it used to succeed
Tue, 29 Jul 2014 14:38:50 -0400 Adam Chlipala Small tweak to ordering of unification rules, to support better record matching
Sat, 26 Jul 2014 09:39:45 -0400 Adam Chlipala Manual: Heuristic compilation warning
Sat, 26 Jul 2014 09:26:11 -0400 Adam Chlipala Another MonoReduce fix
Mon, 21 Jul 2014 08:11:03 -0400 Adam Chlipala Fix index-matching bug in MonoReduce effect calculation
Wed, 16 Jul 2014 04:06:11 -0400 Adam Chlipala Default 'jsFunc' for less-safe FFI
Sun, 13 Jul 2014 06:14:23 -0400 Adam Chlipala Fix off-by-one error in less-safe FFI wrapper generation
Fri, 04 Jul 2014 09:41:32 -0400 Adam Chlipala Return to working version mode
Fri, 04 Jul 2014 09:30:30 -0400 Adam Chlipala New release
Sun, 29 Jun 2014 08:33:47 -0400 Adam Chlipala Top.max and Top.min
Sun, 29 Jun 2014 08:31:21 -0400 Adam Chlipala Fix uw_Basis_lt_time
Fri, 27 Jun 2014 14:39:31 -0400 Adam Chlipala Add locking to enforce atomicity of message sends from one transaction
Wed, 25 Jun 2014 14:19:58 -0400 Adam Chlipala Finish example
Wed, 25 Jun 2014 14:04:13 -0400 Adam Chlipala New syntactic shorthand for antiquoting subqueries
Sun, 15 Jun 2014 21:13:12 +0000 Sergey Mironov Call try_rollback before resetting the context
Sun, 15 Jun 2014 10:48:53 -0400 Adam Chlipala 'sql_injectable_prim' instance for 'url'
Sun, 15 Jun 2014 09:27:41 -0400 Adam Chlipala Return to working version mode
Sun, 15 Jun 2014 09:18:01 -0400 Adam Chlipala New release
Fri, 13 Jun 2014 10:57:02 -0400 Adam Chlipala Treat <button> 'value' attribute as content of tag
Wed, 11 Jun 2014 14:22:47 -0400 Adam Chlipala let..where..end
Thu, 05 Jun 2014 20:36:12 +0000 Sergey Mironov Allow '+' char in blessMime
Wed, 11 Jun 2014 13:56:00 -0400 Adam Chlipala Fix a bug in demos with 'rewrite all'
Wed, 11 Jun 2014 08:31:14 -0400 Adam Chlipala Change String to avoid Char dependency
Tue, 10 Jun 2014 10:58:22 -0400 Adam Chlipala String.trim; add OnChange to more tags
Mon, 09 Jun 2014 18:26:03 -0400 Adam Chlipala Remove special treatment of <button>
Sat, 31 May 2014 16:57:52 -0400 Adam Chlipala Return to working version mode
Sat, 31 May 2014 16:47:42 -0400 Adam Chlipala New release
Wed, 28 May 2014 11:53:19 -0400 Adam Chlipala Align to sizeof(void *) instead of fixed 4
Sun, 25 May 2014 09:21:56 -0400 Adam Chlipala Warn about MLton memory usage
Sun, 18 May 2014 19:09:09 -0400 Adam Chlipala Fix datetime construction (contributed by Patrick Hurst)
Sat, 10 May 2014 20:38:13 -0400 David Snider Added HTML5 Semantic Tags
Sun, 18 May 2014 18:58:50 -0400 Adam Chlipala Change context-local memory allocation to return word-aligned addresses (based on patch by Evan Danaher)
Sun, 04 May 2014 12:33:44 -0400 Adam Chlipala Fix dynClass for non-<body> contexts
Sat, 03 May 2014 07:59:45 -0400 Adam Chlipala A .urs comment about [queryL*]
Fri, 02 May 2014 19:19:09 -0400 Adam Chlipala New lessSafeFfi
Fri, 02 May 2014 17:16:02 -0400 Adam Chlipala Monadic bind supports patterns
Fri, 02 May 2014 15:32:10 -0400 Adam Chlipala HTML5 data-* attributes
Wed, 30 Apr 2014 13:05:54 -0400 Adam Chlipala <thead>, <tbody>, <tfoot>
Tue, 29 Apr 2014 16:47:45 -0400 Adam Chlipala Allow parens grouping joins in FROM clauses
Sat, 26 Apr 2014 11:54:44 -0400 Adam Chlipala Return to working version mode
Sat, 26 Apr 2014 11:15:21 -0400 Adam Chlipala Fix a bug in GROUP BY generation [keeping within today's release]
Sat, 26 Apr 2014 09:42:35 -0400 Adam Chlipala New release
Mon, 21 Apr 2014 12:09:58 -0400 Adam Chlipala Change <active> to avoid generating an empty <span> for empty content
Thu, 17 Apr 2014 17:41:24 -0400 Adam Chlipala uw_register_transactional() can return error codes
Tue, 15 Apr 2014 19:12:49 -0400 Adam Chlipala Tweaking uw_commit() logic, partly to fix a resource clean-up bug on SQL serialization failures
Mon, 24 Feb 2014 09:10:31 +0000 Sergey Mironov Add <pre> tag support
Wed, 26 Feb 2014 09:43:47 +0000 Sergey Mironov Protect uw_Basis_new_client_source from invalid ctx->id
Wed, 26 Feb 2014 08:21:52 +0000 Sergey Mironov Define uw_loggers structure, allow FFI code to access it
Sun, 13 Apr 2014 21:36:44 -0400 Adam Chlipala Update manual inaccuracies about client-side functions
Mon, 17 Mar 2014 16:52:10 -0400 Adam Chlipala -explainEmbed
Fri, 07 Mar 2014 11:50:45 -0500 Adam Chlipala getenv calls UNIX getenv() when no special alternative is set
Tue, 04 Mar 2014 08:46:33 -0500 Adam Chlipala Change Basis.getenv to return None outside the context of a web request
Tue, 25 Feb 2014 16:34:04 -0500 Adam Chlipala Parse new bytea output format from Postgres 9.x
Thu, 20 Feb 2014 15:50:33 -0500 Adam Chlipala Tweaked parameter renaming for functors, so now demos and the original bug-triggering application work
Thu, 20 Feb 2014 10:48:17 -0500 Adam Chlipala Fixed issue with datatype constructors inside functors; now on to some problem with modules inside functors
Thu, 20 Feb 2014 10:27:15 -0500 Adam Chlipala Some more nested functor bug-fixing, including generating fresh internal names at applications; still need to debug issues with datatype constructors
Tue, 18 Feb 2014 07:07:01 -0500 Adam Chlipala Merge with small clean-ups
Mon, 17 Feb 2014 19:25:30 -0500 Patrick Hurst Closing old datetime branch.
Mon, 17 Feb 2014 19:21:46 -0500 Patrick Hurst Add Datetime JavaScript support.
Sat, 15 Feb 2014 01:04:31 -0500 Patrick Hurst Merge in upstream
Fri, 14 Feb 2014 04:00:03 -0500 Patrick Hurst Merge in upstream
Wed, 29 Jan 2014 18:29:43 -0500 Patrick Hurst Merge in upstream
Sat, 25 Jan 2014 18:15:14 -0500 Patrick Hurst Use localtime, not gmtime, for datetime functions.
Sat, 25 Jan 2014 18:13:33 -0500 Patrick Hurst Trim trailing whitespace in urweb.c.
Mon, 20 Jan 2014 04:34:42 -0500 Patrick Hurst Bare-bones Datetime JS support.
Sat, 18 Jan 2014 18:26:24 -0500 Patrick Hurst Merge in upstream changes.
Mon, 09 Dec 2013 20:41:24 -0500 Patrick Hurst Declare datetimeDayOfWeek in urweb_cpp.h.
Mon, 09 Dec 2013 19:19:12 -0500 Patrick Hurst Add datetime functions for adding time intervals.
Sun, 08 Dec 2013 13:14:58 -0500 Patrick Hurst Finish datetime -> t rename
Sun, 08 Dec 2013 03:25:31 -0500 Patrick Hurst Rename datetime type to t in the .urs file.
Sat, 07 Dec 2013 21:31:51 -0500 Patrick Hurst Add day-of-week/month <-> int conversion functions.
Thu, 05 Dec 2013 11:36:54 -0500 Patrick Hurst Day of week functions.
Thu, 05 Dec 2013 11:36:46 -0500 Patrick Hurst Basic datetime library.
Thu, 05 Dec 2013 11:36:06 -0500 Patrick Hurst Add basic year/month/day/hour/minute/second <-> time functions.
Mon, 17 Feb 2014 14:34:48 -0500 Adam Chlipala MySQL does case-sensitive catalog queries
Sat, 15 Feb 2014 10:06:18 -0500 Adam Chlipala Use neverInline in reduce
Fri, 14 Feb 2014 15:11:22 -0500 Adam Chlipala Fix a subtle renaming problem in elaborating functor applications
Sun, 09 Feb 2014 19:29:50 -0500 Adam Chlipala Merge
Sun, 09 Feb 2014 19:29:36 -0500 Adam Chlipala neverInline
Fri, 07 Feb 2014 18:34:17 -0500 Adam Chlipala Turn off GCC's fancy %n checking, because the performance cost is too high
Wed, 29 Jan 2014 18:19:25 -0500 Adam Chlipala Add another simple case for record unification between alpha-equivalent constructors
Sun, 19 Jan 2014 14:31:55 -0500 Adam Chlipala Make that purity analysis a bit more lax again
Sun, 19 Jan 2014 13:51:26 -0500 Adam Chlipala Fix a soundness bug in purity analysis (mono_reduce)
Sun, 19 Jan 2014 13:08:01 -0500 Adam Chlipala New compiler option: -stop
Sat, 18 Jan 2014 08:34:19 -0500 Adam Chlipala Manual: remove database version numbers from Debian package names, where possible
Wed, 15 Jan 2014 15:46:46 -0500 Adam Chlipala Stop quoting Postgres identifiers in 'noMangleSql' mode
Wed, 15 Jan 2014 14:54:26 -0500 Adam Chlipala Postgres: look up table names case-sensitively in catalog
Tue, 14 Jan 2014 19:22:53 -0500 Adam Chlipala MySQL: set character set when opening a new connection
Thu, 09 Jan 2014 17:27:24 -0500 Adam Chlipala Add 'html5' .urp directive
Tue, 07 Jan 2014 08:36:18 -0500 Adam Chlipala MySQL: Combine transaction setup commands into one mysql_query()
Sun, 05 Jan 2014 20:20:09 -0500 Adam Chlipala MySQL: catch deadlocks during queries
Sat, 04 Jan 2014 19:02:14 -0500 Adam Chlipala noMangleSql .urp directive
Wed, 01 Jan 2014 10:51:47 -0500 Adam Chlipala Add some URL-related benignEffectful functions
Tue, 31 Dec 2013 11:10:19 -0500 Adam Chlipala Return to working version mode
Tue, 31 Dec 2013 10:48:50 -0500 Adam Chlipala New release
Tue, 31 Dec 2013 09:34:41 -0500 Adam Chlipala Do a bit of extra userspace copying to send HTTP response with a single system call
Mon, 30 Dec 2013 11:01:42 -0500 Adam Chlipala HTTP: continue after accept() failure
Sun, 29 Dec 2013 13:18:50 -0500 Adam Chlipala Compile-time error for periodic tasks in nonpersistent protocols
Sun, 29 Dec 2013 10:29:26 -0500 Adam Chlipala Avoid some spurious error messages about link/form incompatibility; change the text of that error message to include RPC handlers
Sat, 28 Dec 2013 06:30:21 -0500 Adam Chlipala How embarrassing; didn't try compiling before committing
Sat, 28 Dec 2013 06:27:08 -0500 Adam Chlipala Make HTTP keepalive switch between available connections to improve throughput
Fri, 27 Dec 2013 12:30:44 -0500 Adam Chlipala Change where a transaction is marked finished, to avoid forgetting to rollback a failed transaction
Fri, 27 Dec 2013 12:10:03 -0500 Adam Chlipala Raise exception when recv()ing from someone else's channel; improve setting of client ID in RPCs
Wed, 25 Dec 2013 13:11:43 -0500 Adam Chlipala Tweaking handling of database transactions
Wed, 25 Dec 2013 12:02:42 -0500 Adam Chlipala Add a bit of manual clarification about channels and clients
Wed, 25 Dec 2013 11:43:41 -0500 Adam Chlipala No need to ROLLBACK after a failed COMMIT
Mon, 23 Dec 2013 15:59:17 +0000 Adam Chlipala Proper handling of serialization failures during SQL COMMIT
Tue, 17 Dec 2013 20:12:33 -0500 Adam Chlipala Fix compilation of apps that don't use database; fix HTTP pipelining
Thu, 12 Dec 2013 17:42:48 -0500 Adam Chlipala Start SQL transactions as read-only when possible, based on conservative program analysis
Thu, 12 Dec 2013 10:31:34 -0500 Adam Chlipala Only output Content-script-type header when there is client-side code
Thu, 12 Dec 2013 10:24:38 -0500 Adam Chlipala HTTP: avoid duplicate Content-length
Wed, 11 Dec 2013 18:54:42 -0500 Adam Chlipala RAND_bytes isn't thread-safe, so wrap it with a lock
Wed, 11 Dec 2013 18:22:10 -0500 Adam Chlipala Change handling of returned text blobs, to activate the normal EWrite optimizations
Wed, 11 Dec 2013 14:57:54 -0500 Adam Chlipala Fix regression in http.c for long-polling connections; add lazy initialization of database connections, to avoid the overhead in handlers that don't use SQL
Wed, 11 Dec 2013 11:06:08 -0500 Adam Chlipala Add '-q' option to HTTP binaries
Mon, 07 Oct 2013 14:08:10 +0400 Sergey Mironov Add show instance for 'id' type
Mon, 09 Dec 2013 17:25:53 -0500 Adam Chlipala Merge
Mon, 09 Dec 2013 17:23:25 -0500 Adam Chlipala Add JavaScript mappings for isprint and ord
Mon, 09 Dec 2013 15:47:14 -0500 Adam Chlipala Rename <activeHead> to <script> and make it work properly
Fri, 06 Dec 2013 14:52:47 +0400 Sergey Mironov activeHead: don't modify the head. just execute the code provided
Fri, 06 Dec 2013 13:59:39 +0400 Sergey Mironov Add activeHead tag.
Fri, 06 Dec 2013 08:54:03 -0500 Adam Chlipala Small reformatting and documentation for '-print-cinclude'
Wed, 06 Nov 2013 13:54:07 +0400 Sergey Mironov Add -print-cinlude command line option
Fri, 06 Dec 2013 08:44:26 -0500 Adam Chlipala Add 'xhead' case to Monoize
Tue, 03 Dec 2013 16:54:04 -0500 Adam Chlipala Increase precision for rendering floats to SQL
Sun, 01 Dec 2013 16:28:02 -0500 Adam Chlipala Remove extra line break for onError
Fri, 29 Nov 2013 08:12:57 -0500 Adam Chlipala Postgres: remove DML error code logging and (hopefully) fix the real problem, not checking for concurrency faults on SELECTs
Thu, 28 Nov 2013 11:06:11 -0500 Adam Chlipala Add keepalive option to the http protocol
Wed, 27 Nov 2013 15:42:24 -0500 Adam Chlipala Postgres: print SQLSTATE on DML failure, to help figure out when new special cases should be added
Wed, 27 Nov 2013 15:28:55 -0500 Adam Chlipala Add Connection and Content-length headers to raw HTTP responses
Wed, 27 Nov 2013 08:59:57 -0500 Adam Chlipala In HTTP protocol C code, increase listening socket backlog to maximum
Sun, 24 Nov 2013 10:06:37 -0500 Adam Chlipala Return to working version mode
Sun, 24 Nov 2013 09:56:50 -0500 Adam Chlipala Sneaky still-in-today's-release update of 'table' signature item handling