| 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 |
| Thu, 30 Aug 2012 17:58:37 +0400 |
Vladimir Shabanov |
Minor js optimizations. |
| Thu, 30 Aug 2012 17:04:30 +0400 |
Vladimir Shabanov |
Removed setting of ignored XMLHttpRequest headers. |
| Thu, 30 Aug 2012 17:00:18 +0400 |
Vladimir Shabanov |
Fixed memory leak in dynClass |
| Wed, 22 Aug 2012 08:46:32 -0400 |
Adam Chlipala |
show_sql_query |
| Sat, 18 Aug 2012 13:57:48 -0400 |
Adam Chlipala |
Add list of files to new error message |
| Sat, 18 Aug 2012 13:51:41 -0400 |
Adam Chlipala |
Better error message for funky command lines |
| Tue, 07 Aug 2012 10:02:19 -0400 |
Adam Chlipala |
Return to working version mode |
| Tue, 07 Aug 2012 09:41:02 -0400 |
Adam Chlipala |
New release |
| Sun, 05 Aug 2012 17:11:39 -0400 |
Adam Chlipala |
Revert last changeset for now; needs more thought |
| Sun, 05 Aug 2012 14:55:28 -0400 |
Adam Chlipala |
Tweaking treatment of function application: substitute or introduce a 'let'? |
| Fri, 03 Aug 2012 12:39:04 -0400 |
Adam Chlipala |
Back out last change and pursue a different fix, based on explicitly aborting script execution at times when we don't expect scripts to run |
| Fri, 03 Aug 2012 08:38:47 -0400 |
Adam Chlipala |
Undo change to script evaluation, originally made to support <active> + 'giveFocus'; alternate approach to making 'giveFocus' work in dynamic code generatione |
| Fri, 03 Aug 2012 08:32:03 -0400 |
Adam Chlipala |
Fix some unportable uses of C character class functions |
| Thu, 02 Aug 2012 18:12:37 -0400 |
Adam Chlipala |
New NameJs phase, still needing some debugging |
| Thu, 02 Aug 2012 16:33:25 -0400 |
Adam Chlipala |
Basis.getenv |
| Sun, 29 Jul 2012 12:54:17 -0400 |
Adam Chlipala |
Removed evaluation of js function name strings. (from Vladimir Shabanov) |
| Sun, 29 Jul 2012 12:27:13 -0400 |
Adam Chlipala |
Remove 'class' declaration; now use 'con' instead |
| Thu, 26 Jul 2012 10:04:58 -0400 |
Adam Chlipala |
Remove misguided type class optimization |
| Wed, 25 Jul 2012 14:04:59 -0400 |
Adam Chlipala |
Allow type class instances with hypotheses via local ('let') definitions |
| Wed, 25 Jul 2012 08:20:15 -0400 |
Adam Chlipala |
Change 'spawn' implementation to allow blocking within <active code> |
| Tue, 24 Jul 2012 19:49:50 -0400 |
Adam Chlipala |
Fix JavaScript implementation of strcspn() |
| Mon, 23 Jul 2012 09:03:41 -0400 |
Adam Chlipala |
Disallow suspending operations in <active code={...}> |
| Mon, 23 Jul 2012 08:38:39 -0400 |
Adam Chlipala |
Add more global mouse event hooks |
| Sun, 22 Jul 2012 09:42:17 -0400 |
Adam Chlipala |
Nicer <active> semantics |
| Sat, 21 Jul 2012 21:07:15 -0400 |
Adam Chlipala |
Fix bug in handling of event attributes within client-side widgets |
| Sat, 21 Jul 2012 15:34:07 -0400 |
Adam Chlipala |
Get regular forms working again |
| Sat, 21 Jul 2012 15:16:57 -0400 |
Adam Chlipala |
Top.postFields |
| Sat, 21 Jul 2012 13:55:35 -0400 |
Adam Chlipala |
<active> |
| Sat, 21 Jul 2012 11:59:41 -0400 |
Adam Chlipala |
Basis.giveFocus |
| Sat, 21 Jul 2012 10:12:35 -0400 |
Adam Chlipala |
Update demo code for key/mouse handler change |
| Sat, 21 Jul 2012 10:02:53 -0400 |
Adam Chlipala |
New event records for key and mouse handlers |
| Wed, 18 Jul 2012 17:29:13 -0400 |
Adam Chlipala |
Support fancy expressions in module-level 'val' declarations |
| Fri, 13 Jul 2012 09:01:01 -0400 |
Adam Chlipala |
Change propagation of source value to textarea |
| Sat, 23 Jun 2012 10:11:33 -0400 |
Adam Chlipala |
Flush elaboration cache when switching between .urp files |
| Sat, 23 Jun 2012 09:46:40 -0400 |
Adam Chlipala |
HTTP daemons now take '-a' option to set IP address to listen on |
| Sun, 03 Jun 2012 11:29:31 -0400 |
Adam Chlipala |
Lighter-weight encoding of window function use |
| Sat, 02 Jun 2012 16:47:09 -0400 |
Adam Chlipala |
Partitioning and ordering for window functions |
| Sat, 02 Jun 2012 16:00:50 -0400 |
Adam Chlipala |
Compiled a window function use |
| Sat, 02 Jun 2012 15:35:58 -0400 |
Adam Chlipala |
Track whether SQL expressions may use window functions, in preparation for actual window function support |
| Sat, 02 Jun 2012 10:54:49 -0400 |
Adam Chlipala |
Avoid redundant rollbacks |
| Sat, 26 May 2012 09:16:14 -0400 |
Adam Chlipala |
Proper error messages for missing source files |
| Sat, 19 May 2012 12:12:54 -0400 |
Adam Chlipala |
Return to working version mode |
| Sat, 19 May 2012 11:46:29 -0400 |
Adam Chlipala |
New release |
| Sat, 19 May 2012 11:38:14 -0400 |
Adam Chlipala |
More manual detail on registering error handlers |
| Sat, 19 May 2012 11:32:24 -0400 |
Adam Chlipala |
Merge |
