log

age author description
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
Sun, 24 Nov 2013 09:26:38 -0500 Adam Chlipala New release
Fri, 22 Nov 2013 09:48:16 -0500 Adam Chlipala Get SML/NJ support working again
Fri, 22 Nov 2013 09:36:14 -0500 Anders Kaseorg make dist: Use fewer wildcards
Fri, 22 Nov 2013 09:36:14 -0500 Anders Kaseorg make clean: Clean bin/mlton, src/urweb.mlton.lex,
Fri, 22 Nov 2013 09:36:14 -0500 Anders Kaseorg make uninstall: Uninstall types_cpp.h, urweb_cpp.h
Fri, 22 Nov 2013 09:36:14 -0500 Anders Kaseorg Allow building in a separate build directory
Fri, 22 Nov 2013 09:36:14 -0500 Anders Kaseorg Remove autogenerated config.h.in from version control
Fri, 22 Nov 2013 09:36:14 -0500 Anders Kaseorg xml/parse: Accept entity files on the command line
Thu, 21 Nov 2013 16:36:22 -0500 Adam Chlipala Add autogen.sh
Thu, 21 Nov 2013 15:39:45 -0500 Adam Chlipala Switch back to working version mode
Thu, 21 Nov 2013 15:23:27 -0500 Adam Chlipala Remove autogenerated files from version control
Thu, 21 Nov 2013 15:12:42 -0500 Adam Chlipala Add bin to EXTRA_DIST
Thu, 21 Nov 2013 15:08:37 -0500 Adam Chlipala Add src/c/*.h to EXTRA_DIST
Thu, 21 Nov 2013 15:06:41 -0500 Adam Chlipala Add more include files to EXTRA_DIST
Thu, 21 Nov 2013 15:04:17 -0500 Adam Chlipala Some more EXTRA_DIST
Thu, 21 Nov 2013 14:59:33 -0500 Adam Chlipala Getting more specific about 'src' in EXTRA_DIST
Thu, 21 Nov 2013 14:53:01 -0500 Adam Chlipala Experimenting with distribution via 'make dist', to allow deletion of autogenerated files from version control
Thu, 21 Nov 2013 14:36:57 -0500 Adam Chlipala Regenerate Makefile.in
Thu, 21 Nov 2013 14:32:11 -0500 Anders Kaseorg compileC: Link libraries in the right order
Thu, 21 Nov 2013 14:32:11 -0500 Anders Kaseorg Add missing inter-library dependencies
Sun, 17 Nov 2013 07:54:59 -0500 Adam Chlipala Manual: add a pointer to background reading on inference rule notation
Thu, 14 Nov 2013 06:36:36 -0500 Adam Chlipala Fix more of client-side error handlers
Thu, 14 Nov 2013 06:16:58 -0500 Adam Chlipala Fix regression in execution of 'onError' handlers
Tue, 05 Nov 2013 11:58:52 -0500 Adam Chlipala Identify more local definitions as functions that should be lifted to the top level, which has synergistic effects on inlining later
Mon, 04 Nov 2013 16:00:48 -0500 Adam Chlipala A fancier test for the new SQL constraints subtyping
Mon, 04 Nov 2013 15:14:23 -0500 Adam Chlipala Interpret 'table' signature items more flexibly, automatically adding (Ur) constraints to support a kind of subtyping over (SQL) constraint sets
Mon, 04 Nov 2013 08:38:20 -0500 Adam Chlipala Rename ListPair.map2 to ListPair.mp
Sun, 03 Nov 2013 19:27:30 -0500 Adam Chlipala ListPair.map2, based on code by escalier@riseup.net
Thu, 17 Oct 2013 09:22:38 -0400 Adam Chlipala Save disjointness environments across top-level declarations
Mon, 14 Oct 2013 08:08:57 -0400 Adam Chlipala Change Pthread thread creation logic to avoid Cygwin limitations with setting stack size
Fri, 11 Oct 2013 17:15:28 -0400 Adam Chlipala New header file scheme to support FFI code in either of C or C++ [based on suggestion by Ron de Bruijn]
Thu, 10 Oct 2013 18:31:10 -0400 Adam Chlipala Remove uw_cutErrorLocation() hijinks
Thu, 10 Oct 2013 18:04:29 -0400 Adam Chlipala Remove debug prints
Thu, 10 Oct 2013 18:01:30 -0400 Adam Chlipala Make transactional FFI functions effectful by default
Thu, 10 Oct 2013 14:48:43 -0400 Adam Chlipala Take proper account of signatures changing during page generation
Mon, 07 Oct 2013 14:08:53 +0400 Sergey Mironov Add <dl> <dt> <dd> tags
Thu, 10 Oct 2013 14:01:19 -0400 Adam Chlipala Manual entries for -ccompiler and -print-ccompiler
Mon, 07 Oct 2013 14:07:31 +0400 Sergey Mironov Add xhead type
Mon, 07 Oct 2013 14:07:06 +0400 Sergey Mironov Add <em> and <strong> tags
Wed, 18 Sep 2013 15:45:18 +0400 Sergey Mironov Add -print-ccompiler command line option
Tue, 20 Aug 2013 17:13:50 +0400 Sergey Mironov Add -ccompiler command line argument
Tue, 01 Oct 2013 07:33:20 -0400 Adam Chlipala Add monoize case for 'dml' type
Mon, 30 Sep 2013 16:37:37 -0400 Adam Chlipala Detect more SQL uses without 'database' directive
Thu, 26 Sep 2013 16:22:06 -0400 Adam Chlipala Get -root working properly again
Fri, 13 Sep 2013 10:24:10 -0400 Adam Chlipala Tweak Sergey's patch to work with Postgres
Fri, 13 Sep 2013 10:09:15 -0400 Sergey Mironov Add hex SQL syntax for blobs, such as X'0ABC12343'. Works with sqlite.
Mon, 19 Aug 2013 12:38:43 -0400 Adam Chlipala Potentially exponential search through where to head-normalize in [decompileCon]
Mon, 19 Aug 2013 12:25:32 -0400 Adam Chlipala Allow [where con] to descend within submodule structure; open submodule constraints while checking later signature items
Sat, 10 Aug 2013 10:13:40 -0400 Adam Chlipala Expand coverage of 'functionInside' for Especialize
Fri, 09 Aug 2013 16:13:44 -0400 Adam Chlipala Add 'rel' attribute to <a>
Fri, 09 Aug 2013 16:04:16 -0400 Adam Chlipala Extend Especialize rule: find maximal argument prefixes that end in 1 or more arguments with functional types
Wed, 17 Jul 2013 10:48:31 -0400 Adam Chlipala Make that error message even more helpful
Wed, 17 Jul 2013 10:40:13 -0400 Adam Chlipala Make that new error message text a bit more accurate
Wed, 17 Jul 2013 10:35:43 -0400 Adam Chlipala Tweak error message about naughty GET handlers
Wed, 17 Jul 2013 09:09:48 -0400 Adam Chlipala Postgres unicode printing fix from Artyom Shalkhakov
Sat, 15 Jun 2013 08:18:47 -0400 Adam Chlipala Add Sigcheck phase to avoid issues with signatures in global initializers
Fri, 07 Jun 2013 16:11:52 -0400 Adam Chlipala Undo 'let' inlining tweak; improve optimization of 'case' of type 'transaction'
Sun, 02 Jun 2013 10:17:52 -0400 Adam Chlipala Tweak to 'let' inlining behavior
Sun, 21 Apr 2013 13:32:10 -0400 Adam Chlipala Return to working version mode
Sun, 21 Apr 2013 13:03:20 -0400 Adam Chlipala Get Iflow working again
Sun, 21 Apr 2013 10:29:30 -0400 Adam Chlipala New release
Sun, 21 Apr 2013 10:17:43 -0400 Adam Chlipala Plugging some gaps in the manual
Tue, 16 Apr 2013 11:25:56 -0400 Adam Chlipala Get -css flag working again
Tue, 16 Apr 2013 10:55:48 -0400 Adam Chlipala Basis.tryRpc
Mon, 01 Apr 2013 10:13:49 -0400 Adam Chlipala Change Name_js to skip code snippets that depend on the CSRF-protection signature
Tue, 19 Mar 2013 19:10:31 -0400 Adam Chlipala Attempt to get more static linking for OpenSSL
Fri, 15 Mar 2013 16:09:55 -0400 Adam Chlipala Make Scriptcheck catch more script/message-passing uses, and move the phase earlier in compilation
Tue, 12 Mar 2013 16:21:20 -0400 Adam Chlipala Manual: Reveal JavaScript representation of transaction type family
Tue, 05 Mar 2013 09:29:50 -0500 Adam Chlipala Make CGI programs use Status header to set HTTP status code
Sat, 05 Jan 2013 18:19:20 -0500 Jason Gross Add MLTONARGS to xml/parse
Mon, 31 Dec 2012 09:04:35 -0500 Adam Chlipala Add more HTML singleton tags, anticipating that others may make them available via the FFI
Thu, 27 Dec 2012 15:34:11 -0500 Adam Chlipala Add some name-mangling rules to allow XML attribute 'name' and attributes with dashes
Thu, 13 Dec 2012 17:51:34 -0500 Adam Chlipala Fix determination of MySQL timestamp hour fields (may still be wrong once DST bit flips)
Wed, 12 Dec 2012 16:42:15 -0500 Adam Chlipala Autogenerate some files
Wed, 12 Dec 2012 14:47:06 -0500 Jason Gross Add ./configure MLTONARGS option for MLTON arguments
Tue, 11 Dec 2012 15:58:23 -0500 Adam Chlipala Ignore polymorphism in JavaScript calls to custom FFI functions, allowing a kind of simple dynamic typing (unsafe, of course)
Fri, 30 Nov 2012 10:02:13 -0500 Adam Chlipala add Placeholder attribute to <password>; change <textbox> code generation to set 'type' to 'text'
Fri, 30 Nov 2012 09:50:00 -0500 Adam Chlipala Fix generation of timestamp literals for MySQL and SQLite
Wed, 28 Nov 2012 16:56:45 -0500 Adam Chlipala Allow any FFI module to declare new HTML tags
Wed, 28 Nov 2012 11:45:46 -0500 Adam Chlipala Rename Basis.exp to Basis.pow, to avoid confusion with 'expression'; add a test case for it
Wed, 28 Nov 2012 11:41:54 -0500 Austin Seipp Standard library additions: Option.unsafeGet, Basis.exp
Wed, 28 Nov 2012 11:39:38 -0500 Austin Seipp Fix broken implementation of 'urweb daemon stop'
Mon, 22 Oct 2012 01:49:22 +0400 Vladimir Shabanov Removed unused parent() function which conflicts with window.parent.
Sat, 20 Oct 2012 13:51:46 -0400 Adam Chlipala Switch linker order
Tue, 25 Sep 2012 08:29:27 -0400 Adam Chlipala Return to working version mode
Tue, 25 Sep 2012 08:16:58 -0400 Adam Chlipala New release
Sun, 23 Sep 2012 20:47:20 -0500 Austin Seipp Fix compilation when using Clang on OS X; it doesn't like -pthread
Wed, 19 Sep 2012 18:01:22 -0400 Adam Chlipala Paranoid inlining prevention for FFI types at the Core level; less paranoid inlining promotion for passive values at the Mono level
Wed, 19 Sep 2012 14:36:12 -0400 Adam Chlipala Merge
Wed, 19 Sep 2012 14:20:47 -0400 Adam Chlipala Edward Z. Yang's patch to avoid repeating linker arguments
Sun, 16 Sep 2012 08:31:54 -0400 Adam Chlipala Better error message about signals remaining in server-side code
Fri, 14 Sep 2012 07:35:48 -0400 Adam Chlipala Reduce default inlining thresholds; improve a let-substitution optimization to compensate
Fri, 14 Sep 2012 06:44:14 -0400 Adam Chlipala Merge
Wed, 12 Sep 2012 19:49:02 +0400 Vladimir Shabanov Fixed HTTP date format and added Cache-Control to app.js
Sun, 05 Aug 2012 14:55:28 -0400 Adam Chlipala Tweaking treatment of function application: substitute or introduce a 'let'?
Tue, 04 Sep 2012 16:30:22 -0400 Adam Chlipala Manual addition for last changeset
Tue, 04 Sep 2012 03:32:59 +0400 Vladimir Shabanov Added 'coreInline' and 'monoInline' .urp options
Mon, 03 Sep 2012 09:51:23 -0400 Adam Chlipala Update tutorial for Ur/Web changes