| 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 |
| 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 |
| 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 |
| Sat, 19 May 2012 11:32:12 -0400 |
Adam Chlipala |
Some standard library additions from Edward Z. Yang |
| Thu, 17 May 2012 16:22:05 -0400 |
Adam Chlipala |
Implicit records of folders |
| Thu, 17 May 2012 10:20:24 -0400 |
Adam Chlipala |
Be more conservative in choosing candidates for Especialize, re: mutual recursion |
| Thu, 17 May 2012 03:22:34 +0400 |
Vladimir Shabanov |
Vector fonts in manual |
| Thu, 17 May 2012 01:41:30 +0400 |
Vladimir Shabanov |
Speed up space eating in MonoOpt |
| Wed, 16 May 2012 22:46:35 +0400 |
Vladimir Shabanov |
Allow RPC and run it synchronously in onunload event. |
| Sun, 13 May 2012 17:41:21 -0400 |
Adam Chlipala |
Lance Hepler's fix to configure.ac; small refactor of fastcgi.c to avoid undefined behavior |
| Sun, 13 May 2012 14:27:29 -0400 |
Adam Chlipala |
Fix hyphenation for demos; parse CSS class 'table' as 'tabl' |
| Sat, 12 May 2012 15:22:39 -0400 |
Adam Chlipala |
Automake 1.12 compatibility, based on suggestions by Lance Hepler |
| Sat, 12 May 2012 12:15:26 -0400 |
Adam Chlipala |
Return to working version mode |
| Sat, 12 May 2012 11:59:31 -0400 |
Adam Chlipala |
New release |
| Wed, 09 May 2012 08:53:10 -0400 |
Adam Chlipala |
In incremental elaboration, handle invalidated FFI signatures |
| Mon, 07 May 2012 08:16:18 -0400 |
Adam Chlipala |
Fix manual's grammar for subquery FROM items |
| Sun, 06 May 2012 16:08:48 -0400 |
Adam Chlipala |
Run-time CSS style validation |
| Sun, 06 May 2012 15:46:25 -0400 |
Adam Chlipala |
Fix bugs in support for 'style' and 'dynStyle' |
| Sun, 06 May 2012 15:34:10 -0400 |
Adam Chlipala |
Clarify need for 'prefix' for FastCGI |
| Sun, 06 May 2012 15:27:30 -0400 |
Adam Chlipala |
New optional suffice for 'rewrite' in .urp files: [-] |
| Sun, 06 May 2012 15:15:46 -0400 |
Adam Chlipala |
'dynStyle' pseudo-attribute |
| Sun, 06 May 2012 14:01:29 -0400 |
Adam Chlipala |
'style' attributes |
| Sun, 06 May 2012 13:07:13 -0400 |
Adam Chlipala |
Simplify type of Basis.tag, regarding 'class' attribute; new compatibility parsing of 'class' values given as string literals |
| Sun, 06 May 2012 12:37:43 -0400 |
Adam Chlipala |
Fix from Edward Yang to generation of 404 errors in FastCGI |
| Sat, 05 May 2012 19:57:54 -0400 |
Adam Chlipala |
Adjust error message format to match Emacs defaults |
| Sat, 05 May 2012 13:08:26 -0400 |
Adam Chlipala |
Fix bug in installation of source files to proper directories |
| Sat, 05 May 2012 12:58:13 -0400 |
Adam Chlipala |
-dumpTypesOnError |
| Sat, 05 May 2012 12:45:35 -0400 |
Adam Chlipala |
Send daemon output to calling process |
| Fri, 04 May 2012 10:38:22 -0400 |
Adam Chlipala |
Report which files lead to duplicate module names |
| Fri, 04 May 2012 10:33:04 -0400 |
Adam Chlipala |
More diagnostic information about some type class resolution failures |
| Fri, 04 May 2012 10:07:27 -0400 |
Adam Chlipala |
Reinitialize lexer state properly |
| Thu, 03 May 2012 10:29:12 -0400 |
Adam Chlipala |
Adaptations to ezyang's patch |
| Wed, 02 May 2012 17:17:57 -0400 |
Edward Z. Yang |
Add support for -boot flag, which allows in-tree execution of Ur/Web |
| Thu, 03 May 2012 09:56:41 -0400 |
Adam Chlipala |
Catch duplicate top-level module names; fix dropping of constraints during incremental elaboration; document treatment of record types as type class instance types |
| Wed, 02 May 2012 08:56:19 -0400 |
Adam Chlipala |
Don't modify the module cache after elaboration failures |
| Wed, 02 May 2012 08:34:50 -0400 |
Adam Chlipala |
Better discovery of type class instances from recursive definitions |
| Wed, 02 May 2012 08:23:30 -0400 |
Adam Chlipala |
In simplifying constructors for error messages, unfold constructor synonyms from modules |
| Sun, 29 Apr 2012 20:37:45 -0400 |
Adam Chlipala |
Fix generation of normal datatypes from polymorphic variants |
| Sun, 29 Apr 2012 16:23:03 -0400 |
Adam Chlipala |
'urweb daemon start' and 'urweb daemon stop' |
| Sun, 29 Apr 2012 13:17:31 -0400 |
Adam Chlipala |
Initial support for reusing elaboration results |
| Sat, 28 Apr 2012 12:00:35 -0400 |
Adam Chlipala |
Include JavaScript files properly in error handler pages |
| Sat, 28 Apr 2012 11:35:12 -0400 |
Adam Chlipala |
Fix urlification of recursive polymorphic variants |
| Fri, 27 Apr 2012 09:52:16 -0400 |
Adam Chlipala |
Avoid generating empty <script> tags |
| Fri, 27 Apr 2012 09:43:09 -0400 |
Adam Chlipala |
Ensure proper ordering of <script> execution, to bring identifiers into scope in time |
| Fri, 27 Apr 2012 07:35:59 -0400 |
Adam Chlipala |
Omit unnecessary parens around arrows in pretty-printing |
| Wed, 25 Apr 2012 03:07:07 +0400 |
Vladimir Shabanov |
Removed excess zero byte from empty pages. |
| Sun, 22 Apr 2012 10:57:22 -0400 |
Adam Chlipala |
'linker' .urp directive |
| Sun, 22 Apr 2012 09:18:21 -0400 |
Adam Chlipala |
Another test for cancelation in error messages |
| Sun, 22 Apr 2012 09:08:45 -0400 |
Adam Chlipala |
-unifyMore |
| Sat, 21 Apr 2012 15:47:02 -0400 |
Adam Chlipala |
Antiquote for PRIMARY KEY |
| Sat, 21 Apr 2012 15:19:00 -0400 |
Adam Chlipala |
Omit 'Basis.' in pretty-printing constructors, where this is unambiguous |
| Sat, 21 Apr 2012 15:09:02 -0400 |
Adam Chlipala |
Pretty-print tuple types using tuple syntax |
| Sat, 21 Apr 2012 14:57:00 -0400 |
Adam Chlipala |
Saving proper environments, to use in displaying nested error messages |
| Sat, 21 Apr 2012 14:06:03 -0400 |
Adam Chlipala |
Add another rule to simplify record concatenations for pretty-printing |
| Sat, 21 Apr 2012 13:57:10 -0400 |
Adam Chlipala |
Avoid kindof failures in elaboration |
| Mon, 16 Apr 2012 10:12:04 -0400 |
Adam Chlipala |
Tweak printing of constructor record literals to allow re-parsing by compiler |
| Mon, 16 Apr 2012 09:53:48 -0400 |
Adam Chlipala |
Simplify types for printing with '-dumpTypes' |
| Mon, 16 Apr 2012 09:46:42 -0400 |
Adam Chlipala |
Do a lot more type simplification for error messages |
| Mon, 16 Apr 2012 09:07:28 -0400 |
Adam Chlipala |
Fix monoization of recursive variants |
| Wed, 11 Apr 2012 03:05:26 +0400 |
Vladimir Shabanov |
Saving uw_event for all events (so stopPropagation works everywhere) |
| Wed, 11 Apr 2012 03:06:23 +0400 |
Vladimir Shabanov |
Fixed 'onload' handling for img tag. |
| Sun, 15 Apr 2012 12:40:53 -0400 |
Adam Chlipala |
Remove string-valued style attribute, which may allow injection attacks |
| Wed, 11 Apr 2012 03:03:19 +0400 |
Vladimir Shabanov |
Added several missing tag attributes |
| Sun, 08 Apr 2012 16:29:28 -0400 |
Adam Chlipala |
Optimize code from last changeset a bit |
| Sun, 08 Apr 2012 16:24:16 -0400 |
Adam Chlipala |
Refactor to avoid dependence on recursive mutexes |
| Thu, 29 Mar 2012 11:23:35 -0400 |
Adam Chlipala |
Return to working version mode |
| Thu, 29 Mar 2012 11:09:43 -0400 |
Adam Chlipala |
New release |
| Thu, 29 Mar 2012 09:55:04 -0400 |
Adam Chlipala |
Fix defunctorization of modules containing datatype definitions |
| Fri, 16 Mar 2012 08:42:51 -0400 |
Adam Chlipala |
Change ID generation scheme to conform to HTML standards (thanks to Edward Yang for the catch) |
| Wed, 14 Mar 2012 10:10:56 -0400 |
Adam Chlipala |
New JavaScript FFI function: setInnerHTML |
| Wed, 14 Mar 2012 09:06:23 -0400 |
Adam Chlipala |
Remove weird special case for FFI functions whose first arguments have type [unit] |
| Tue, 13 Mar 2012 20:17:23 -0400 |
Adam Chlipala |
Delete C temporary directories, even if other files wind up there |
| Tue, 13 Mar 2012 13:36:26 -0400 |
Adam Chlipala |
Clarify necessity of 'effectful' in the manual |
| Tue, 13 Mar 2012 11:59:03 -0400 |
Adam Chlipala |
Remove seemingly inaccurate part of comment (perhaps clarified version can be added back in later) |
| Mon, 12 Mar 2012 12:00:23 -0700 |
Edward Z. Yang |
Refactor SQL parsing code from Iflow to Sql, add querydml parser. |
| Mon, 12 Mar 2012 12:00:13 -0700 |
Edward Z. Yang |
Some minor documentation to the Mono AST. |
| Sun, 11 Mar 2012 21:20:09 -0400 |
Adam Chlipala |
Handle recursive RPC handlers |
| Sat, 10 Mar 2012 13:35:02 -0500 |
Adam Chlipala |
Return to working version mode |
| Sat, 10 Mar 2012 13:13:15 -0500 |
Adam Chlipala |
New release |
| Sat, 10 Mar 2012 12:53:33 -0500 |
Adam Chlipala |
Change <radio> to yield [option string] |
| Sat, 03 Mar 2012 16:41:20 -0500 |
Adam Chlipala |
Avoid URL size limit in RPCs with large arguments |
| Sat, 03 Mar 2012 16:20:54 -0500 |
Adam Chlipala |
Avoid 'not fully determined' errors for fancy tasks |
| Sat, 03 Mar 2012 15:47:52 -0500 |
Adam Chlipala |
Pass non-printing characters through unchanged in sqlifyString, to support UTF-8 |
| Sat, 25 Feb 2012 15:34:44 -0500 |
Adam Chlipala |
Correct an SQL grammar omission (thanks to Alexei Golovko for spotting the problem) |
| Sat, 18 Feb 2012 08:14:51 -0500 |
Adam Chlipala |
Update manual to fix lexical table and clarify sequencing notation |
| Sat, 04 Feb 2012 11:08:56 -0500 |
Adam Chlipala |
Mention FFI encoding of abstract syntax types |
| Sat, 04 Feb 2012 11:01:06 -0500 |
Adam Chlipala |
Basis.toMilliseconds and diffInMilliseconds, based on a patch from Gergely Buday |
| Sat, 04 Feb 2012 10:42:18 -0500 |
Adam Chlipala |
Extend and document RANDOM |
| Fri, 03 Feb 2012 08:30:56 -0500 |
Adam Chlipala |
Mention convention for parens in selected expressions |
| Thu, 02 Feb 2012 11:40:10 -0500 |
Adam Chlipala |
'ORDER BY RANDOM' (based on a patch from Ron de Bruijn) |
| Sun, 22 Jan 2012 20:25:14 -0500 |
Adam Chlipala |
Fix runtime system handling of <dyn> inside <table> inside <dyn> |
| Sun, 15 Jan 2012 14:45:06 -0500 |
Adam Chlipala |
Fix fetching of keycodes for key events |
| Sat, 14 Jan 2012 23:02:34 +0400 |
Vladimir Shabanov |
Fixed clients mutex initialization for compiling under OS X. |
| Sat, 14 Jan 2012 11:24:17 -0500 |
Adam Chlipala |
Fix bug with 'dynClass' immediately inside <dyn> |
| Thu, 12 Jan 2012 20:37:39 -0500 |
Adam Chlipala |
-dumpSource flag; Especialize tweak: may specialize any argument sequence ending in a value of function-containing type |
| Wed, 11 Jan 2012 14:52:31 -0500 |
Adam Chlipala |
Small fix to previous commit |
| Wed, 11 Jan 2012 13:53:35 -0500 |
Adam Chlipala |
New, more principled heuristic for Especialize: only specialize uniform function arguments; that is, arguments that don't change across recursive calls |
| Wed, 11 Jan 2012 11:08:48 -0500 |
Adam Chlipala |
Tweak Especialize heuristic |
| Tue, 10 Jan 2012 17:38:00 -0500 |
Adam Chlipala |
Make Ubuntu linking patch more general |
| Tue, 10 Jan 2012 17:32:48 -0500 |
Adam Chlipala |
Fix some locking issues for client array |
| Tue, 10 Jan 2012 15:34:18 -0500 |
Adam Chlipala |
Properly handle case where an RPC changes signed cookie state |
| Tue, 10 Jan 2012 10:10:51 -0500 |
Adam Chlipala |
Return to working version mode |
| Tue, 10 Jan 2012 09:34:15 -0500 |
Adam Chlipala |
New release |
| Mon, 09 Jan 2012 16:20:10 -0500 |
Adam Chlipala |
Prevent horrifying loops in unification variable graph |
| Mon, 09 Jan 2012 09:51:39 -0500 |
Adam Chlipala |
Tweak Especialize heuristic to prevent non-termination |
| Mon, 09 Jan 2012 08:38:53 -0500 |
Adam Chlipala |
Revert ax_check_openssl.m4 and instead compensate for Ubuntu weirdness in config.sml |
| Sun, 08 Jan 2012 15:47:05 -0500 |
Adam Chlipala |
Fix channel delivery to handle sending of messages for channels whose clients haven't connected yet |
| Sat, 07 Jan 2012 16:49:19 -0500 |
Adam Chlipala |
Finish function argument order-of-operations fix |
| Sat, 07 Jan 2012 15:56:22 -0500 |
Adam Chlipala |
First part of changes to avoid depending on C function call argument order of evaluation (omitting normal Ur function calls, so far) |
| Sat, 07 Jan 2012 11:01:21 -0500 |
Adam Chlipala |
Make wildification a bit smarter about ordering of new wildcard declarations |
| Fri, 06 Jan 2012 18:09:50 -0500 |
Adam Chlipala |
Switch default linking order for OpenSSL libs |
| Fri, 06 Jan 2012 09:40:20 -0500 |
Adam Chlipala |
Revert last unification tweak |
| Thu, 05 Jan 2012 19:23:34 -0500 |
Adam Chlipala |
Change linking argument order, based on reported problems in Ubuntu 11.10 |
| Thu, 05 Jan 2012 19:13:31 -0500 |
Adam Chlipala |
Tweak new unification heuristic |
| Thu, 05 Jan 2012 17:10:43 -0500 |
Adam Chlipala |
Prevent unifications of 'others' pieces in record summaries, when both pieces contain unification variables (to prevent undesired unifications) |
| Mon, 02 Jan 2012 17:08:39 -0500 |
Adam Chlipala |
Fix handling of quotes in generating C literals |
| Mon, 02 Jan 2012 16:54:18 -0500 |
Adam Chlipala |
Adapt Monoize serialization to handle freshly created variant types |
| Mon, 02 Jan 2012 15:38:52 -0500 |
Adam Chlipala |
Add arguments to [type] declarations and signature items |
| Sat, 31 Dec 2011 16:08:17 -0500 |
Adam Chlipala |
More documentation on URL generation and free variables |
| Sat, 31 Dec 2011 15:24:44 -0500 |
Adam Chlipala |
Undo change to dyn() in runtime system |
| Sat, 31 Dec 2011 13:31:00 -0500 |
Adam Chlipala |
Error messages about applying 'dynClass' to tags that don't like it |
| Thu, 29 Dec 2011 16:08:34 -0500 |
Adam Chlipala |
Add dynamic content before running its scripts, to get IDs in scope; fix generation of Postgres queries with blobs |
| Thu, 29 Dec 2011 14:12:03 -0500 |
Adam Chlipala |
Rename [Top.id] to avoid clash with [Basis.id] |
| Thu, 29 Dec 2011 10:04:09 -0500 |
Adam Chlipala |
Discuss a subtlety in the semantics of <dyn> |
| Thu, 29 Dec 2011 09:47:41 -0500 |
Adam Chlipala |
Finish updating Grid1 demo to work with type inference change |
| Wed, 28 Dec 2011 18:05:27 -0500 |
Adam Chlipala |
Get a few more source files up-to-date with change to [tag] type |
| Wed, 28 Dec 2011 10:30:56 -0500 |
Adam Chlipala |
Merge |
| Wed, 28 Dec 2011 10:30:37 -0500 |
Adam Chlipala |
More about the JavaScript FFI in the manual |
| Tue, 27 Dec 2011 16:20:48 -0500 |
Adam Chlipala |
'dynClass' pseudo-attribute |
| Tue, 20 Dec 2011 21:06:25 -0500 |
Adam Chlipala |
Refactor HTML contexts to prevent some illegal nestings (that can crash the JavaScript runtime system) |
| Tue, 20 Dec 2011 19:02:04 -0500 |
Adam Chlipala |
Redo HTML context classification, to keep regular <body> tags out of <table> and <tr> |
| Sun, 18 Dec 2011 12:00:36 -0500 |
Adam Chlipala |
Order constructors properly in wildification, to avoid spuriously displeasing the new scoping check |
| Sun, 18 Dec 2011 11:29:13 -0500 |
Adam Chlipala |
Add a new scoping check for unification variables, to fix a type inference bug |
| Sat, 17 Dec 2011 20:42:39 -0500 |
Adam Chlipala |
Manual typo fix |
| Sat, 17 Dec 2011 13:10:23 -0500 |
Adam Chlipala |
Allow .urp libraries to set prefix |
| Sat, 17 Dec 2011 12:01:31 -0500 |
Adam Chlipala |
SQL lower() and upper() functions |
| Sat, 17 Dec 2011 09:24:31 -0500 |
Adam Chlipala |
Fix C-side unurlification of unboxable Option datatypes |
| Sun, 11 Dec 2011 15:02:55 -0500 |
Adam Chlipala |
Some new List functions, based on code by Ron de Bruijn |
| Mon, 05 Dec 2011 10:43:06 -0500 |
Adam Chlipala |
Treat [naughtyDebug] as pure for optimization purposes |
| Sun, 04 Dec 2011 16:32:06 -0500 |
Adam Chlipala |
Fix client-side [int] parsing and extend server-side [time] parsing to support a format that also works portably in JavaScript |
| Sun, 04 Dec 2011 15:18:41 -0500 |
Adam Chlipala |
Make last change nicer |
| Sun, 04 Dec 2011 15:13:53 -0500 |
Adam Chlipala |
Stop [read] from raising an exception for invalid [int] strings |
| Sun, 04 Dec 2011 14:40:12 -0500 |
Adam Chlipala |
timeFormat .urp directive |
| Sat, 03 Dec 2011 17:25:51 -0500 |
Adam Chlipala |
Don't crash on invalid URL head terms during Tag |
| Sat, 03 Dec 2011 17:07:34 -0500 |
Adam Chlipala |
New 't.*' notation for SELECT |
| Sat, 03 Dec 2011 16:39:45 -0500 |
Adam Chlipala |
Nicer record summary error messages |
| Sat, 03 Dec 2011 16:25:09 -0500 |
Adam Chlipala |
Change client-side debug to use console.debug |
| Sat, 03 Dec 2011 16:05:06 -0500 |
Adam Chlipala |
Client-side strlenGe |
| Sat, 03 Dec 2011 15:59:21 -0500 |
Adam Chlipala |
Better error messages about non-SQL-izability of types |
| Sat, 03 Dec 2011 10:13:36 -0500 |
Adam Chlipala |
Avoid setting a Date's time with a non-integer value |
| Sat, 03 Dec 2011 10:07:50 -0500 |
Adam Chlipala |
Change client-side int parsing to match server-side, in ignoring initial zeroes |
| Sat, 03 Dec 2011 10:00:10 -0500 |
Adam Chlipala |
Allow sources to be returned by RPCs |
| Sat, 03 Dec 2011 09:44:07 -0500 |
Adam Chlipala |
Catching integer divisions by zero |
| Wed, 30 Nov 2011 15:28:56 -0500 |
Adam Chlipala |
Update Coq semantics for 8.3pl2 |
| Sun, 27 Nov 2011 15:32:06 -0500 |
Adam Chlipala |
Return to working version mode |
| Sun, 27 Nov 2011 15:12:44 -0500 |
Adam Chlipala |
New release |
| Sat, 26 Nov 2011 10:14:05 -0500 |
Adam Chlipala |
Switch to YUI strftime |
| Fri, 25 Nov 2011 17:19:34 -0500 |
Adam Chlipala |
Support 'safeGet' in demos |
| Fri, 25 Nov 2011 16:30:34 -0500 |
Adam Chlipala |
Fix server-side urlification of custom Option types |
| Fri, 25 Nov 2011 11:08:51 -0500 |
Adam Chlipala |
Announce sidedness errors with source locations |
| Thu, 24 Nov 2011 11:56:05 -0500 |
Adam Chlipala |
Tweak error message about Basis.get to use that name instead of internal name |
| Thu, 24 Nov 2011 11:41:52 -0500 |
Adam Chlipala |
Catch more <ccheckbox> events |
| Thu, 24 Nov 2011 11:27:51 -0500 |
Adam Chlipala |
Client-side timef |
| Thu, 24 Nov 2011 11:09:50 -0500 |
Adam Chlipala |
Mention Basis.current in manual |
| Wed, 23 Nov 2011 13:17:40 -0430 |
Karn Kallio |
Add LIKE operator to SQL sublanguage. |
| Sun, 20 Nov 2011 20:54:03 -0500 |
Adam Chlipala |
Yet another fix to previous change |
| Sun, 20 Nov 2011 20:46:28 -0500 |
Adam Chlipala |
Fix bug in previous change |
| Sun, 20 Nov 2011 19:22:57 -0500 |
Adam Chlipala |
More complete account of URI determination in structure section |
| Sun, 20 Nov 2011 18:33:21 -0500 |
Adam Chlipala |
Don't treat comment-only lines as blank, in determining split point of .urp files |
| Sat, 19 Nov 2011 10:43:57 -0500 |
Adam Chlipala |
COALESCE |
| Sat, 19 Nov 2011 10:26:19 -0500 |
Adam Chlipala |
Better error messages when client-side constructs are detected in Cjrize |
| Fri, 18 Nov 2011 17:44:12 -0500 |
Adam Chlipala |
Fix catalog querying about empty tables |
| Fri, 18 Nov 2011 17:17:22 -0500 |
Adam Chlipala |
Regenerate proper Autotools files; fix JS stringToTime and add stringToTime_error |
| Thu, 17 Nov 2011 17:19:10 +0100 |
Ron de Bruijn |
Merge |
| Thu, 17 Nov 2011 17:14:44 +0100 |
Ron de Bruijn |
Add read instance for time on the client |
| Wed, 16 Nov 2011 13:51:22 -0430 |
Karn Kallio |
Include character encoding in HTTP response headers. |
| Mon, 14 Nov 2011 09:15:10 -0500 |
Adam Chlipala |
Better error messages about server-side use of client-side functions |
| Mon, 14 Nov 2011 09:02:00 -0500 |
Adam Chlipala |
Fix completely broken manual description of 'view' |
| Sun, 06 Nov 2011 08:14:53 -0500 |
Adam Chlipala |
Remove dummy entity |
| Sat, 05 Nov 2011 15:05:13 -0400 |
Adam Chlipala |
Support the full set of XHTML character entities |
| Sat, 05 Nov 2011 13:12:07 -0400 |
Adam Chlipala |
Tweaks to choices of source positions to use in error messages, including for subSgn |
| Sat, 05 Nov 2011 12:32:20 -0400 |
Adam Chlipala |
Adjust for different ml-lex behavior between SML/NJ and MLton |
| Sat, 05 Nov 2011 11:33:59 -0400 |
Adam Chlipala |
Strengthen consNeq, to avoid unwise unifications |
| Sat, 05 Nov 2011 09:56:52 -0400 |
Adam Chlipala |
Fix confusing error message when record unification fails because enclosed types are incompatible |
| Sat, 05 Nov 2011 09:40:38 -0400 |
Adam Chlipala |
Fix SQL grammar bug in manual |
| Wed, 02 Nov 2011 09:37:20 -0400 |
Adam Chlipala |
Remove debug print |
| Wed, 02 Nov 2011 08:39:01 -0400 |
Adam Chlipala |
Handle application in decompileCon |
| Sat, 29 Oct 2011 17:30:34 -0400 |
Adam Chlipala |
Shorter, more focused error messages about undetermined unification variables |
| Fri, 28 Oct 2011 08:54:44 -0400 |
Adam Chlipala |
Clear reducedSummaries |
| Thu, 27 Oct 2011 08:36:31 -0400 |
Adam Chlipala |
Harmonize have/need terminology in error messages; display canceled record summaries on errors |
| Wed, 26 Oct 2011 09:10:40 -0400 |
Adam Chlipala |
Turn off warnings about deprecated functions, to placate silly OpenSSL change for OS X |
| Fri, 21 Oct 2011 08:51:30 -0400 |
Adam Chlipala |
Catch UnboundNamed exceptions that arise from missing signature items |
| Fri, 21 Oct 2011 08:36:10 -0400 |
Adam Chlipala |
Note a parsing restriction in the manual |
| Thu, 20 Oct 2011 09:27:37 -0400 |
Adam Chlipala |
Some notes on 'T' for update/delete combinators |
| Sat, 15 Oct 2011 13:30:59 -0400 |
Adam Chlipala |
Fix parsing conflict |
| Sat, 15 Oct 2011 10:31:30 -0400 |
Adam Chlipala |
Change error message display order: only show disjointness/type class failures if all record unifications succeeded |
| Sat, 15 Oct 2011 10:19:50 -0400 |
Adam Chlipala |
Improved unification of record literals in type class resolution |
| Sat, 15 Oct 2011 10:05:13 -0400 |
Adam Chlipala |
Extend and document 'con' syntax with arguments |
| Sat, 15 Oct 2011 09:04:41 -0400 |
Adam Chlipala |
For new IF, fix Monoize typing and add to manual |
| Fri, 14 Oct 2011 02:33:03 -0430 |
Karn Kallio |
IF THEN ELSE conditional for SQL. |
| Sat, 08 Oct 2011 17:23:58 -0400 |
Adam Chlipala |
Primitive int/float functions: ceil, float, round, trunc |
| Sat, 08 Oct 2011 14:16:13 -0400 |
Adam Chlipala |
Fix wildification for signatures with synonyms |
| Thu, 06 Oct 2011 10:12:20 -0400 |
Adam Chlipala |
Merge |
| Fri, 30 Sep 2011 08:16:50 -0400 |
Ron de Bruijn |
Fix searching for underscore elements in PDF files. |
| Thu, 06 Oct 2011 09:50:40 -0400 |
Adam Chlipala |
Basis.null |
| Mon, 26 Sep 2011 03:29:09 +0400 |
Vladimir Shabanov |
Tweaked Emacs mode to handle many "->" faster. |
| Mon, 26 Sep 2011 02:54:52 +0400 |
Vladimir Shabanov |
Minor tweak to speed up Emacs mode. |
| Fri, 23 Sep 2011 23:11:59 -0500 |
Austin Seipp |
Add an URWEB_PQ_CON environment variable, which overrides the PostgreSQL connection string. |
| Thu, 22 Sep 2011 09:51:06 -0400 |
Adam Chlipala |
Resugar tag names before printing parse errors |
| Sat, 17 Sep 2011 13:10:20 -0400 |
Adam Chlipala |
Return to working version mode |
| Sat, 17 Sep 2011 13:03:17 -0400 |
Adam Chlipala |
New release |
| Mon, 12 Sep 2011 00:43:41 +0400 |
Vladimir Shabanov |
Added 'target' attribute for 'a' tag. |
| Sun, 11 Sep 2011 14:14:49 -0400 |
Adam Chlipala |
New Basis functions: preventDefault and stopPropagation (code contributed by Vladimir Shabanov) |
| Sun, 11 Sep 2011 11:37:26 -0400 |
Adam Chlipala |
Disable C optimization in debug mode |
| Sat, 03 Sep 2011 12:56:05 -0400 |
Adam Chlipala |
Switch type of 'for' attribute |
| Sat, 03 Sep 2011 12:51:05 -0400 |
Adam Chlipala |
An abstract type of IDs |
| Sat, 03 Sep 2011 11:48:12 -0400 |
Adam Chlipala |
New client-side, document-level event handlers |
| Sat, 03 Sep 2011 08:57:13 -0400 |
Adam Chlipala |
Better detection of type class witnesses in local bindings |
| Sun, 28 Aug 2011 19:32:20 -0400 |
Adam Chlipala |
Even gentler handling of back-button returns to pages with stale message-passing credentials |
| Sun, 28 Aug 2011 17:16:54 -0400 |
Adam Chlipala |
Gentle handling of back-button returns to pages with stale message-passing credentials |
| Sun, 28 Aug 2011 14:43:30 -0400 |
Adam Chlipala |
Warn about concurrency issues with message-passing |
| Sun, 28 Aug 2011 14:01:41 -0400 |
Adam Chlipala |
Postgres deadlock triggers unlimited retry |
| Fri, 26 Aug 2011 09:51:38 -0400 |
Adam Chlipala |
Gracefully accept browser's refusal to let us set certain AJAX headers |
| Wed, 24 Aug 2011 08:18:09 -0400 |
Adam Chlipala |
Document monadic shorthands |
| Sun, 21 Aug 2011 13:41:57 -0400 |
Adam Chlipala |
Fix another list unurlification segfault bug; List.foldlMi |
| Sun, 21 Aug 2011 10:55:31 -0400 |
Adam Chlipala |
Add prototypes for [un]urlification functions |
| Sun, 21 Aug 2011 10:39:19 -0400 |
Adam Chlipala |
Fix crash in list unurlification |
| Fri, 19 Aug 2011 15:23:01 -0400 |
Adam Chlipala |
Basis.mkMonad |
| Fri, 19 Aug 2011 14:20:24 -0400 |
Adam Chlipala |
Add antiquote for ORDER BY directions |
| Fri, 19 Aug 2011 08:59:01 -0400 |
Adam Chlipala |
Add timestamps to 'app.js' filenames, to prevent inappropriate caching by browsers |
| Mon, 15 Aug 2011 12:33:28 -0400 |
Adam Chlipala |
Fix bug in JavaScript embedding of lists |
| Mon, 15 Aug 2011 11:26:10 -0400 |
Adam Chlipala |
Compiler frees as much memory as possible before passing control to C compiler |
| Mon, 15 Aug 2011 10:22:09 -0400 |
Adam Chlipala |
List.mapXi |
| Sun, 14 Aug 2011 17:39:18 -0400 |
Adam Chlipala |
Fix bug with <dyn> as first child of <table> |
| Sun, 14 Aug 2011 16:46:36 -0400 |
Adam Chlipala |
Fix list urlification |
| Sun, 14 Aug 2011 09:31:53 -0400 |
Adam Chlipala |
Remove commented-out code |
| Sat, 13 Aug 2011 00:07:28 -0430 |
Karn Kallio |
Handle case where shakeExp can remove datatype. |
| Sun, 14 Aug 2011 09:29:04 -0400 |
Adam Chlipala |
Remove some unnecessary parens |
| Fri, 12 Aug 2011 00:55:57 -0430 |
Karn Kallio |
Distribute applications of "arrow type" ECase across branches. |
| Wed, 10 Aug 2011 18:39:27 -0400 |
Adam Chlipala |
Mention transitive dependency calculation for tree shaking |
| Sun, 07 Aug 2011 16:53:06 -0400 |
Adam Chlipala |
'-dumpTypes' |
| Sun, 07 Aug 2011 13:47:15 -0400 |
Adam Chlipala |
Manual: emphasize how great '-tc' is |
| Sat, 06 Aug 2011 13:07:50 -0400 |
Adam Chlipala |
Better wildification, avoiding some unintentional variable capture |
| Thu, 04 Aug 2011 17:06:50 -0400 |
Adam Chlipala |
Configure correct C compiler options for Pthreads |
| Thu, 04 Aug 2011 16:44:05 -0400 |
Adam Chlipala |
Fix opening of shadowing, principal-signatured modules that open other modules |
| Tue, 02 Aug 2011 20:17:41 -0400 |
Adam Chlipala |
Fix to use of .hg_archival.txt (thanks to Austin Seipp) |
| Tue, 02 Aug 2011 17:28:37 -0400 |
Adam Chlipala |
Improve detection of XML in urweb-mode; small tutorial improvement |
| Tue, 02 Aug 2011 17:04:14 -0400 |
Adam Chlipala |
Compile self-tail-calls as gotos |
| Tue, 02 Aug 2011 14:45:19 -0400 |
Adam Chlipala |
Remove some GCC-specific identifier choice and documentation |
| Tue, 02 Aug 2011 14:31:37 -0400 |
Adam Chlipala |
Introduce URWEB_STACK_SIZE environment variable (based on a patch by Hao Deng) |
| Tue, 02 Aug 2011 13:48:26 -0400 |
Adam Chlipala |
A few error message improvements |
| Tue, 02 Aug 2011 13:33:38 -0400 |
Adam Chlipala |
Tracking and printing of version numbers (based on a patch by Austin Seipp) |
| Sun, 24 Jul 2011 15:47:09 -0400 |
Adam Chlipala |
List.find |
| Sun, 24 Jul 2011 14:49:40 -0400 |
Adam Chlipala |
Client-side 'addSeconds' |
| Sun, 24 Jul 2011 10:51:48 -0400 |
Adam Chlipala |
<image> |
| Sat, 23 Jul 2011 16:27:04 -0400 |
Adam Chlipala |
A few more tweaks to support Clang (including ending use of nested functions) |
| Sat, 23 Jul 2011 09:42:34 -0400 |
Adam Chlipala |
Stop using -fno-inline by default |
| Fri, 22 Jul 2011 15:39:38 -0400 |
Adam Chlipala |
Backpedal on tutorial-motivated urweb-mode changes; add Basis.diffInSeconds and Basis.toSeconds |
| Wed, 20 Jul 2011 08:14:49 -0400 |
Adam Chlipala |
Tutorial: hyperlinks for metaprogramming and row types |
| Tue, 19 Jul 2011 09:18:50 -0400 |
Adam Chlipala |
Change cookie signature comparison to resist timing attacks (based on code suggested by Robin Green and Austin Seipp) |
| Sun, 17 Jul 2011 14:49:52 -0400 |
Adam Chlipala |
Tutorial: link to demo and manual |
| Sun, 17 Jul 2011 14:37:45 -0400 |
Adam Chlipala |
Copy some project front-page text to the tutorial intro |
| Sun, 17 Jul 2011 13:48:00 -0400 |
Adam Chlipala |
Document tutorial features |
| Sun, 17 Jul 2011 13:34:41 -0400 |
Adam Chlipala |
Tutorial proof-reading |
| Sun, 17 Jul 2011 13:04:07 -0400 |
Adam Chlipala |
Tutorial: TLC meets type classes and modules |
| Sun, 17 Jul 2011 11:51:05 -0400 |
Adam Chlipala |
Tutorial: folders |
| Sun, 17 Jul 2011 11:00:04 -0400 |
Adam Chlipala |
Tutorial: up to First-Class Polymorphism |
| Sun, 17 Jul 2011 10:27:09 -0400 |
Adam Chlipala |
Tutorial: Names and Records |
| Sat, 16 Jul 2011 14:20:30 -0400 |
Adam Chlipala |
In demo prose, note URL for hello demo |
| Sat, 16 Jul 2011 14:12:14 -0400 |
Adam Chlipala |
First tutorial chapter ready |
| Sat, 16 Jul 2011 11:48:11 -0400 |
Adam Chlipala |
Module system tutorial |
| Fri, 15 Jul 2011 19:21:09 -0400 |
Adam Chlipala |
Finish tutorial section about common ML/Haskell features |
| Fri, 15 Jul 2011 19:00:59 -0400 |
Adam Chlipala |
Preserve tutorial indentation |
| Fri, 15 Jul 2011 18:55:58 -0400 |
Adam Chlipala |
Make 'static' protocol handle unlimited retry |
| Fri, 15 Jul 2011 18:45:03 -0400 |
Adam Chlipala |
Tutorial tweaks |
| Fri, 15 Jul 2011 17:31:57 -0400 |
Adam Chlipala |
Tutorial section headings |
| Fri, 15 Jul 2011 17:25:09 -0400 |
Adam Chlipala |
Allow HTML in tutorial comments |
| Fri, 15 Jul 2011 17:16:39 -0400 |
Adam Chlipala |
Beautified tutorial HTML |
| Fri, 15 Jul 2011 16:50:55 -0400 |
Adam Chlipala |
Generated pretty-printed HTML for a simple tutorial source file |
| Fri, 15 Jul 2011 10:17:15 -0400 |
Adam Chlipala |
New release |
| Fri, 15 Jul 2011 10:02:54 -0400 |
Adam Chlipala |
Fixes for detecting pastes and autocompletes for dynamic textboxes |
| Fri, 08 Jul 2011 13:33:26 -0400 |
Adam Chlipala |
Fix manual syntax for SQL injection |
| Wed, 06 Jul 2011 18:54:23 -0430 |
Karn Kallio |
Narrow Maybe match case. |
| Wed, 06 Jul 2011 09:22:08 -0400 |
Adam Chlipala |
Update demo/more for simplified implicit arguments |
| Wed, 06 Jul 2011 08:35:31 -0400 |
Adam Chlipala |
Add client-side Basis.now and pretty-printing of times |
| Sun, 03 Jul 2011 16:50:17 -0400 |
Adam Chlipala |
Change Basis.rand to use cryptographically secure generation |
| Sun, 03 Jul 2011 16:21:04 -0400 |
Adam Chlipala |
Basis.currentUrlHasQueryString |
| Sat, 02 Jul 2011 20:49:58 -0430 |
Karn Kallio |
Fix flift. |
| Sun, 03 Jul 2011 12:40:00 -0400 |
Adam Chlipala |
For non-debug builds, leave out source location info in what is shown to user |
| Tue, 28 Jun 2011 08:07:20 -0400 |
Adam Chlipala |
Clarify about implicit folder arguments |
| Mon, 27 Jun 2011 21:36:32 +0100 |
Robin Green |
recToList |
| Tue, 28 Jun 2011 11:55:57 +0100 |
Robin Green |
top.urs: More comments |
| Sun, 26 Jun 2011 19:45:21 -0400 |
Adam Chlipala |
Workaround for old IE handling of <option> with no 'value' attribute |
| Fri, 24 Jun 2011 13:50:59 -0400 |
Adam Chlipala |
'noXsrfProtection' .urp directive |
| Thu, 23 Jun 2011 08:44:03 -0400 |
Adam Chlipala |
'show' instance for 'css_class' |
| Wed, 22 Jun 2011 13:58:43 -0430 |
Karn Kallio |
Add rowspan attribute to td,th elements. |
| Thu, 23 Jun 2011 00:01:52 -0430 |
Karn Kallio |
xtable monoize to string. |
| Fri, 17 Jun 2011 11:52:56 -0400 |
Adam Chlipala |
Fixes to work nicely with OS X and Clang (thanks to Austin Seipp) |
| Wed, 15 Jun 2011 09:52:06 -0400 |
Adam Chlipala |
Handle spaces in filenames passed to GCC (caught by Zachary Tatlock) |
| Tue, 14 Jun 2011 08:54:45 -0400 |
Adam Chlipala |
Implicit argument insertion for local variables |
| Sun, 12 Jun 2011 17:44:34 -0400 |
Adam Chlipala |
Keep user-set response headers on indirect returns |
| Wed, 01 Jun 2011 07:23:27 -0400 |
Adam Chlipala |
Handle 'prefix' directives for HTTPS |
| Tue, 31 May 2011 09:14:03 -0400 |
Adam Chlipala |
Explain how to signal an error in a commit handler |
| Tue, 31 May 2011 07:44:52 -0400 |
Adam Chlipala |
Proper C pretty-printing of floats in scientific notation |
| Mon, 30 May 2011 09:31:50 -0400 |
Adam Chlipala |
Fix bug with string literals in unAs |
| Mon, 30 May 2011 07:48:08 -0400 |
Adam Chlipala |
Remember to remove explicit table projections in SQLite UPDATE SET values |
| Sun, 29 May 2011 14:29:26 -0400 |
Adam Chlipala |
getHeader and setHeader |
| Sun, 29 May 2011 13:31:53 -0400 |
Adam Chlipala |
Configuration detects proper header files for database dev libraries |
| Sun, 29 May 2011 12:44:31 -0400 |
Adam Chlipala |
Properly handle form textboxes that have sources |
| Sun, 29 May 2011 12:18:59 -0400 |
Adam Chlipala |
Don't mention 'sessions' in the manual |
| Sun, 22 May 2011 13:32:29 -0400 |
Adam Chlipala |
Prevent early clearing of context post data |
| Tue, 17 May 2011 16:02:19 -0400 |
Adam Chlipala |
Renumber version in CHANGELOG, since I wasn't ready to release as soon as I expected |
| Sun, 15 May 2011 17:20:08 -0400 |
Adam Chlipala |
Grandfather into release: Use latest Debian testing autotools, etc. |
| Sun, 15 May 2011 13:16:58 -0400 |
Adam Chlipala |
New release |
| Thu, 12 May 2011 17:14:13 -0400 |
Adam Chlipala |
Escape less-than in JavaScript strings |
| Fri, 06 May 2011 20:51:40 -0430 |
Karn Kallio |
Include type attribute in script tag for generating valid XHTML. |
| Fri, 06 May 2011 16:24:45 -0430 |
Karn Kallio |
Corify Basis.unit to empty record; this is needed so that specialize |
| Sun, 01 May 2011 00:26:08 -0430 |
Karn Kallio |
Fix bug in projection of constructors from modules in class rules. |
| Tue, 26 Apr 2011 00:11:21 -0430 |
Karn Kallio |
Fix for projection of type class constructors in signatures. |
| Mon, 18 Apr 2011 01:21:48 -0430 |
Karn Kallio |
Add two html elements: sup and sub |
| Sun, 17 Apr 2011 13:43:00 -0400 |
Adam Chlipala |
Before allowing an indirect return, check (dynamically, for now) that we aren't in an RPC handler |
| Sun, 17 Apr 2011 11:21:19 -0400 |
Adam Chlipala |
Warn that tests ought not to be used |
| Fri, 15 Apr 2011 16:49:46 -0400 |
Adam Chlipala |
Remove commented-out readUtc code; add back indeterminate tm_isdst |
| Wed, 13 Apr 2011 00:04:41 -0430 |
Karn Kallio |
Fix getting UTC time from formatted strings ( in uw_Basis_readUtc ). |
| Sat, 09 Apr 2011 20:00:52 -0400 |
Adam Chlipala |
Send newly created sources with messages to clients |
| Sat, 09 Apr 2011 14:36:47 -0400 |
Adam Chlipala |
Each context gets its own non-repeating sequence of source numbers |
| Mon, 28 Mar 2011 10:37:49 -0400 |
Adam Chlipala |
To generate server-side source JavaScript, try both the old and new strategies; remove an unsound optimization from MonoOpt and make MonoReduce work harder to compensate |
| Sun, 27 Mar 2011 15:51:37 -0400 |
Adam Chlipala |
Escape strings as needed in some error messages within urweb.c |
| Sun, 27 Mar 2011 15:06:02 -0400 |
Adam Chlipala |
Fix MySQL time handling |
| Sat, 26 Mar 2011 13:43:47 -0400 |
Adam Chlipala |
A Gentoo .ebuild file, based mostly on a contribution by moreilcon |
| Sun, 20 Mar 2011 13:47:39 -0400 |
Adam Chlipala |
'--without-emacs' configure option |
| Sun, 20 Mar 2011 13:15:11 -0400 |
Adam Chlipala |
Fix C compilation of empty records; use DESTDIR in 'make install/uninstall' |
| Fri, 18 Mar 2011 21:01:10 -0400 |
Adam Chlipala |
Fix 'readUtc' to work during DST |
| Fri, 18 Mar 2011 09:46:24 -0400 |
Adam Chlipala |
Fix soundness bug in Effectize, which lead to missing effects in event handlers |
| Fri, 18 Mar 2011 09:12:55 -0400 |
Adam Chlipala |
Exit periodic loop if a ROLLBACK fails, to avoid infinite looping when the database server is brought down |
| Sat, 12 Mar 2011 14:30:08 -0500 |
Adam Chlipala |
Change order of linking database libraries to satisfy Cygwin |
| Sat, 12 Mar 2011 14:20:29 -0500 |
Adam Chlipala |
Add a cast to avoid warnings about toupper() on some platforms |
| Fri, 11 Mar 2011 18:36:24 -0500 |
Adam Chlipala |
Make 'ex' kind-generic |
| Thu, 10 Mar 2011 20:22:03 -0500 |
Adam Chlipala |
Ignore JavaScript events in Effectize; allow extra spaces for 'jsFunc'; eat carriage returns at line ends in .urp files |
| Thu, 10 Mar 2011 19:26:35 -0500 |
Adam Chlipala |
Cope with DOS-format line breaks in source code |
| Thu, 10 Mar 2011 18:51:15 -0500 |
Adam Chlipala |
Represent 'unit' as C 'int'; change pattern match compilation to avoid 'goto'; change Postgres prepared statement compilation to make life easier for the GCC escape analysis; all this in support of better tail call optimization |
| Wed, 02 Mar 2011 18:35:03 -0500 |
Adam Chlipala |
Allow debug and naughtyDebug in client-side code, implemented with alert |
| Fri, 25 Feb 2011 15:58:08 -0500 |
Adam Chlipala |
Fix C jsify[String|Char] |
| Fri, 25 Feb 2011 15:46:29 -0500 |
Adam Chlipala |
Deal with Postgres's wonky type-changing for nullable columns of views |
| Fri, 25 Feb 2011 11:27:16 -0500 |
Adam Chlipala |
sql_arith_option; 'ALL' for relational operators |
| Tue, 22 Feb 2011 09:39:02 -0500 |
Adam Chlipala |
Fix HTTP request parsing bug |
| Thu, 17 Feb 2011 18:05:08 -0500 |
Adam Chlipala |
Syntactic sugar for grouping by variable numbers of columns |
| Thu, 17 Feb 2011 14:18:18 -0500 |
Adam Chlipala |
More information in error message about select of field from unbound table |
| Thu, 10 Feb 2011 08:46:46 -0500 |
Adam Chlipala |
Fix some cookie-related bugs in MonoReduce |
| Tue, 08 Feb 2011 16:54:01 -0500 |
Adam Chlipala |
Notice that Basis.now is effectful; smarter JavaScript encoding of initial source values built using server-side expressions that can't be turned into JavaScript |
| Thu, 03 Feb 2011 21:04:12 -0500 |
Adam Chlipala |
Subqueries may always return NULL |
| Thu, 03 Feb 2011 11:12:48 -0500 |
Adam Chlipala |
Allow negative int patterns |
| Tue, 25 Jan 2011 06:59:29 -0500 |
Adam Chlipala |
Allow 'alt' attribute of <img> (suggested by Karn Kallio) |
| Sun, 23 Jan 2011 18:16:30 -0500 |
Adam Chlipala |
Proper error handling for periodic tasks |
| Sun, 23 Jan 2011 17:27:51 -0500 |
Adam Chlipala |
Fix detection of POSTs to error pages |
| Sun, 23 Jan 2011 15:49:35 -0500 |
Adam Chlipala |
Fix monoization of sql_relop (grandfathered into release!) |
| Sun, 23 Jan 2011 15:34:06 -0500 |
Adam Chlipala |
Only announce URI serving in standalone HTTP server (grandfathered into release!) |
| Sun, 23 Jan 2011 15:01:30 -0500 |
Adam Chlipala |
New release |
| Sun, 23 Jan 2011 14:59:59 -0500 |
Adam Chlipala |
Fix issues with empty page buffers for tasks |
| Sun, 23 Jan 2011 11:18:24 -0500 |
Adam Chlipala |
Allow CSS class specification for <form> |
| Sat, 22 Jan 2011 12:55:48 -0500 |
Adam Chlipala |
Using FastCGI debug info |
| Sat, 22 Jan 2011 10:53:06 -0500 |
Adam Chlipala |
Fix parsing of Postgres timestamps with super-microsecond fractional seconds, based on patch from Vladimir Shabanov |
| Thu, 20 Jan 2011 16:56:54 -0500 |
Adam Chlipala |
More fixes for FastCGI |
| Thu, 20 Jan 2011 16:26:54 -0500 |
Adam Chlipala |
Use sigFile again; do redirects in a way that is compatible with FastCGI |
| Thu, 20 Jan 2011 15:11:45 -0500 |
Adam Chlipala |
Some fixes for tasks and onError handlers |
| Thu, 20 Jan 2011 12:50:42 -0500 |
Adam Chlipala |
Fix the two functions I just added |
| Thu, 20 Jan 2011 12:43:12 -0500 |
Adam Chlipala |
queryXI and queryX1I |
| Thu, 20 Jan 2011 10:40:40 -0500 |
Adam Chlipala |
Patch from Vladimir Shabanov to support implicit passing of 'time' values from server to client |
| Tue, 18 Jan 2011 13:32:48 -0500 |
Adam Chlipala |
More detail on sources and signals |
| Sun, 16 Jan 2011 15:03:45 -0500 |
Adam Chlipala |
Fix format of THE_PAST timestamp |
| Sun, 16 Jan 2011 14:16:09 -0500 |
Adam Chlipala |
Error message when FOREIGN KEY listts have different lengths |
| Sun, 16 Jan 2011 12:06:38 -0500 |
Adam Chlipala |
Updating documentation in preparation for a release |
| Sun, 16 Jan 2011 11:10:33 -0500 |
Adam Chlipala |
Remove more files on uninstall |
| Sun, 16 Jan 2011 10:57:59 -0500 |
Adam Chlipala |
Fix for handling of some attributes to client-side input widgets, based on a patch from Vladimir Shabanov |
| Sun, 16 Jan 2011 10:38:03 -0500 |
Adam Chlipala |
Patch from Vladimir Shabanov to support crypt under OS X |
| Sat, 15 Jan 2011 20:06:00 -0500 |
Adam Chlipala |
Use -debug flag properly when compiling in single-source mode |
| Sat, 15 Jan 2011 15:06:33 -0500 |
Adam Chlipala |
Fix type-checking of views to match change to sql_query type |
| Sat, 15 Jan 2011 14:53:13 -0500 |
Adam Chlipala |
Allow subqueries to reference aggregate-only columns of free tables; treat non-COUNT aggregate functions as possibly returning NULL |
| Thu, 13 Jan 2011 18:15:04 -0500 |
Adam Chlipala |
alwaysInline .urp setting |
| Thu, 13 Jan 2011 13:20:14 -0500 |
Adam Chlipala |
Fixing daylight saving time in time string processing |
| Thu, 13 Jan 2011 13:02:45 -0500 |
Adam Chlipala |
Infer more regions, for sequencing constructs |
| Thu, 13 Jan 2011 10:02:50 -0500 |
Adam Chlipala |
More string processing |
| Tue, 11 Jan 2011 18:04:52 -0500 |
Adam Chlipala |
Some more string parsing functions; naughtyDebug |
| Tue, 11 Jan 2011 14:03:54 -0500 |
Adam Chlipala |
String processing optimizations |
| Thu, 06 Jan 2011 19:26:31 -0500 |
Adam Chlipala |
Handle opening of modules that define signatures |
| Thu, 06 Jan 2011 14:45:52 -0500 |
Adam Chlipala |
Basis.currentUrlHasPost |
| Thu, 06 Jan 2011 14:25:42 -0500 |
Adam Chlipala |
Client-side redirects |
| Thu, 06 Jan 2011 12:49:14 -0500 |
Adam Chlipala |
Ignore unknown names in query string name-value pairs; allow any side effects by Extern URLs, without signature checking |
| Thu, 06 Jan 2011 12:31:13 -0500 |
Adam Chlipala |
Expand valueish again |
| Thu, 06 Jan 2011 09:25:15 -0500 |
Adam Chlipala |
Broaden definition of valueish |
| Thu, 06 Jan 2011 09:14:06 -0500 |
Adam Chlipala |
Detect missing 'database' directive; don't compile garbage C files |
| Thu, 06 Jan 2011 08:55:53 -0500 |
Adam Chlipala |
Thanks to Vag Vagoff, catch some cases of an obsolete notation for guarded types in the manual |
| Mon, 03 Jan 2011 14:19:36 -0500 |
Adam Chlipala |
Remove unnecessary #include (patch from Karn Kallio) |
| Sun, 02 Jan 2011 11:40:08 -0500 |
Adam Chlipala |
Add a note about Explify to the manual |
| Thu, 30 Dec 2010 12:48:08 -0500 |
Adam Chlipala |
Fix jsifyTime to work on 32-bit systems |
| Thu, 30 Dec 2010 12:27:19 -0500 |
Adam Chlipala |
Fix new urlifyTime to work properly on 32-bit systems |
| Wed, 29 Dec 2010 16:16:25 -0500 |
Adam Chlipala |
Don't forget to call tzset() |
| Wed, 29 Dec 2010 15:58:54 -0500 |
Adam Chlipala |
Next attempt at getting time parsing right |
| Wed, 29 Dec 2010 14:16:56 -0500 |
Adam Chlipala |
Latest attempt to get readUtc working properly |
| Tue, 28 Dec 2010 14:51:57 -0500 |
Adam Chlipala |
Basis.readUtc |
| Mon, 27 Dec 2010 12:08:00 -0500 |
Adam Chlipala |
Fix time comparison operators; safer saving of queryStrings |
| Sun, 26 Dec 2010 17:29:03 -0500 |
Adam Chlipala |
queryString and effectfulUrl |
| Sun, 26 Dec 2010 15:52:56 -0500 |
Adam Chlipala |
Expose buffer type for other C libraries; replace minusSeconds with addSeconds |
| Sun, 26 Dec 2010 11:13:37 -0500 |
Adam Chlipala |
Switch from libmhash to OpenSSL |
| Sat, 25 Dec 2010 08:58:25 -0500 |
Adam Chlipala |
Include microseconds in uw_Basis_sqlifyTime() output |
| Fri, 24 Dec 2010 18:55:13 -0500 |
Adam Chlipala |
JavaScript compilation of time comparison; fix lexing of XML that includes open parens |
| Fri, 24 Dec 2010 18:08:29 -0500 |
Adam Chlipala |
Changed uw_Basis_time to store microseconds |
| Fri, 24 Dec 2010 17:18:28 -0500 |
Adam Chlipala |
Fix Postgres date serialization |
| Fri, 24 Dec 2010 16:41:10 -0500 |
Adam Chlipala |
Top.queryI1; fix definition of uw_Basis_minTime |
| Fri, 24 Dec 2010 12:51:46 -0500 |
Adam Chlipala |
Add an extra Especialize pass before Rpcify |
| Thu, 23 Dec 2010 18:07:05 -0500 |
Adam Chlipala |
Fix soundness bug in Effectize, where it missed some functions that might have effectful RPCs |
| Thu, 23 Dec 2010 17:46:40 -0500 |
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 |
| Thu, 23 Dec 2010 11:23:31 -0500 |
Adam Chlipala |
Recursive record unification errors, for more detail |
| Tue, 21 Dec 2010 18:01:23 -0500 |
Adam Chlipala |
Basis.cdataChar |
| Tue, 21 Dec 2010 17:01:51 -0500 |
Adam Chlipala |
Allow SQL aggregation over nullable types |
| Tue, 21 Dec 2010 14:01:27 -0500 |
Adam Chlipala |
More detail on Especialize in the manual |
| Tue, 21 Dec 2010 13:57:12 -0500 |
Adam Chlipala |
Hopeful fix to stop Especialize infinite looping |
| Mon, 20 Dec 2010 19:28:41 -0500 |
Adam Chlipala |
Fix manual mistake about '@' notations; remove obsolete demos |
| Mon, 20 Dec 2010 13:29:56 -0500 |
Adam Chlipala |
Remove redundant macro |
| Mon, 20 Dec 2010 13:22:44 -0500 |
Adam Chlipala |
Use proper string time format for SQLite |
| Mon, 20 Dec 2010 09:34:10 -0500 |
Adam Chlipala |
Implement constrained type kinding properly; bump mono inline threshhold |
| Mon, 20 Dec 2010 08:48:20 -0500 |
Adam Chlipala |
Fix manual discussion of tuple syntax |
| Sat, 18 Dec 2010 15:17:09 -0500 |
Adam Chlipala |
Periodic tasks |
| Sat, 18 Dec 2010 14:17:45 -0500 |
Adam Chlipala |
Change tasks to support parametric code; add clientLeaves |
| Sat, 18 Dec 2010 10:56:31 -0500 |
Adam Chlipala |
postBody type |
| Thu, 16 Dec 2010 18:40:49 -0500 |
Adam Chlipala |
Restore behavior of not complaining about undetermined unification variables when there are other errors |
| Thu, 16 Dec 2010 13:35:40 -0500 |
Adam Chlipala |
Fiddly tweaks |
| Thu, 16 Dec 2010 10:23:37 -0500 |
Adam Chlipala |
Clarify that you aren't supposed to be able to create new XML tags |
| Thu, 16 Dec 2010 09:59:05 -0500 |
Adam Chlipala |
Enforce character constraints on source filenames |
| Wed, 15 Dec 2010 09:42:35 -0500 |
Adam Chlipala |
Small tweaks to update demos for record unification change |
| Wed, 15 Dec 2010 09:37:36 -0500 |
Adam Chlipala |
Smarter record unification |
| Tue, 14 Dec 2010 10:59:17 -0500 |
Adam Chlipala |
Allow use of path variables in strings with no slashes |
| Tue, 14 Dec 2010 10:35:52 -0500 |
Adam Chlipala |
Bump year on LICENSE |
| Tue, 14 Dec 2010 10:21:51 -0500 |
Adam Chlipala |
Better treatment of relative paths in .urp files |
| Tue, 14 Dec 2010 09:37:23 -0500 |
Adam Chlipala |
Moving Incl and Mem to Meta library |
| Sun, 12 Dec 2010 10:57:41 -0500 |
Adam Chlipala |
Fix merging of prefix settings |
| Sun, 12 Dec 2010 10:44:19 -0500 |
Adam Chlipala |
-prefix command-line option |
| Sun, 12 Dec 2010 10:35:04 -0500 |
Adam Chlipala |
Change Basis.debug to use the protocol's debug function |
| Sat, 11 Dec 2010 19:57:22 -0500 |
Adam Chlipala |
Warn about XHTML looseness |
| Sat, 11 Dec 2010 15:16:04 -0500 |
Adam Chlipala |
minHeap option in .urp files |
| Sat, 11 Dec 2010 13:42:54 -0500 |
Adam Chlipala |
Comments in .urp files |
| Sun, 05 Dec 2010 18:47:54 +0100 |
Marc Weber |
fix small memory leaks |
| Sat, 11 Dec 2010 11:00:05 -0500 |
Adam Chlipala |
Clarifying some C FFI details in manual |
| Sat, 04 Dec 2010 11:18:19 -0500 |
Adam Chlipala |
Update manual to track uw_register_transactional() change |
| Sat, 04 Dec 2010 11:15:20 -0500 |
Adam Chlipala |
New argument to transactional free functions, to specify whether we are about to retry |
| Thu, 02 Dec 2010 14:11:18 -0500 |
Adam Chlipala |
Instantiate any Unit unification variables that remain after elaboration |
| Thu, 02 Dec 2010 12:24:09 -0500 |
Adam Chlipala |
More hnorm during type class resolution |
| Sun, 28 Nov 2010 15:06:11 -0500 |
Adam Chlipala |
More accurate/conservative leaky type detection in CjrPrint |
| Fri, 26 Nov 2010 11:57:04 -0500 |
Adam Chlipala |
Fix JavaScript unit unurlification; URL blessing client-side |
| Sun, 21 Nov 2010 15:43:24 -0500 |
Adam Chlipala |
Fix a bug in C list unurlification |
| Sat, 20 Nov 2010 10:45:22 -0500 |
Adam Chlipala |
queryL1 and List.sort |
| Sat, 20 Nov 2010 09:48:03 -0500 |
Adam Chlipala |
In FastCGI, signal 304 with a header, not the usual HTTP/1.1 line |
| Fri, 19 Nov 2010 17:06:11 -0500 |
Adam Chlipala |
Fix RPC deserialization of channels |
| Fri, 19 Nov 2010 15:01:06 -0500 |
Adam Chlipala |
Simplify Basis.strcat calls in MonoOpt |
| Thu, 18 Nov 2010 14:22:04 -0500 |
Adam Chlipala |
Karn Kallio's patch for static mhash linking |
| Sat, 13 Nov 2010 14:38:06 -0500 |
Adam Chlipala |
More hnormKind for isUnitCon |
| Tue, 02 Nov 2010 09:13:00 -0400 |
Adam Chlipala |
New release |
| Tue, 19 Oct 2010 17:54:49 -0400 |
Adam Chlipala |
Fixes for nasty bugs in Reduce and Especialize |
| Tue, 19 Oct 2010 15:26:12 -0400 |
Adam Chlipala |
Monad.appR3 |
| Tue, 19 Oct 2010 11:51:53 -0400 |
Adam Chlipala |
Monad.appR |
| Tue, 19 Oct 2010 10:13:24 -0400 |
Adam Chlipala |
Smarter handling of unification variables for 'kindof' on projections |
| Sun, 17 Oct 2010 13:26:11 -0400 |
Adam Chlipala |
Simplify type of Monad.appR2 |
| Thu, 14 Oct 2010 11:54:54 -0400 |
Adam Chlipala |
Documenting limits |
| Thu, 14 Oct 2010 11:35:56 -0400 |
Adam Chlipala |
-limit for running time |
| Thu, 14 Oct 2010 11:06:26 -0400 |
Adam Chlipala |
Interface for setting memory limits |
| Sun, 10 Oct 2010 20:33:10 -0400 |
Adam Chlipala |
:::_ notation; switch to TooDeep error message |
| Sun, 10 Oct 2010 15:54:51 -0400 |
Adam Chlipala |
Fix infinite looping bug in Great Unification Fix |
| Sun, 10 Oct 2010 15:37:14 -0400 |
Adam Chlipala |
Tweaking unification fix to apply to demo/more |
| Sun, 10 Oct 2010 14:41:03 -0400 |
Adam Chlipala |
Hopeful fix for the Great Unification Bug |
| Sun, 10 Oct 2010 13:07:38 -0400 |
Adam Chlipala |
Flex kinds for type-level tuples; ::_ notation |
| Thu, 30 Sep 2010 18:29:59 -0400 |
Adam Chlipala |
Demo improvements |
| Thu, 30 Sep 2010 18:12:04 -0400 |
Adam Chlipala |
Mention empty-third-field 'rewrite' directives |
| Thu, 16 Sep 2010 15:34:50 -0400 |
Adam Chlipala |
Fix typing of cut operators; fix lexing of XML comments |
| Thu, 09 Sep 2010 12:42:25 -0400 |
Adam Chlipala |
Support empty datatypes, which can now be generated via 'variant []' |
| Tue, 07 Sep 2010 09:47:06 -0400 |
Adam Chlipala |
Updating documentation |
| Tue, 07 Sep 2010 09:21:51 -0400 |
Adam Chlipala |
Shortcut invocations for single .ur files |
| Tue, 07 Sep 2010 09:06:13 -0400 |
Adam Chlipala |
'tryDml' works with Postgres |
| Tue, 07 Sep 2010 08:28:07 -0400 |
Adam Chlipala |
Server-side 'onError' |
| Sun, 05 Sep 2010 14:00:57 -0400 |
Adam Chlipala |
tryDml |
| Sun, 05 Sep 2010 12:50:06 -0400 |
Adam Chlipala |
Support multiple CSS classes for a single tag |
| Sat, 04 Sep 2010 14:12:02 -0400 |
Adam Chlipala |
Add 'title' attribute |
| Sun, 22 Aug 2010 19:45:07 -0400 |
Adam Chlipala |
Confirm boxes; proper event handler setting for ctags |
| Sun, 22 Aug 2010 13:43:46 -0400 |
Adam Chlipala |
Reduce: Inline let-bound variables whose types involve functions |
| Sat, 21 Aug 2010 10:58:13 -0400 |
Adam Chlipala |
Some post-type-checking support for polymorphic variants |
| Thu, 19 Aug 2010 17:28:52 -0400 |
Adam Chlipala |
Polymorphic variants |
| Tue, 10 Aug 2010 16:02:55 -0400 |
Adam Chlipala |
Fix C-side jsification of UTF-8 strings |
| Tue, 10 Aug 2010 15:55:43 -0400 |
Adam Chlipala |
Better UTF-8 escaping for JavaScript and SQL literals |
| Tue, 10 Aug 2010 14:52:33 -0400 |
Adam Chlipala |
HTML comments |
| Tue, 10 Aug 2010 14:44:26 -0400 |
Adam Chlipala |
ML-style comments inside XML |
| Tue, 27 Jul 2010 14:04:09 -0400 |
Adam Chlipala |
Roll back WHERE checking |
| Tue, 27 Jul 2010 12:12:08 -0400 |
Adam Chlipala |
equalAny policies |
| Tue, 27 Jul 2010 11:42:30 -0400 |
Adam Chlipala |
Initial version of equalKnown working for secret |
| Sun, 13 Jun 2010 14:13:47 -0400 |
Adam Chlipala |
List.mapi |
| Sun, 13 Jun 2010 14:13:06 -0400 |
Adam Chlipala |
Catch a missed ReduceLocal of field projection annotations |
| Sun, 13 Jun 2010 10:55:20 -0400 |
Adam Chlipala |
More generous wildification, covering map-records |
| Sat, 05 Jun 2010 09:42:37 -0400 |
Adam Chlipala |
Another run of Specialize, using ReduceLocal on datatype parameters |
| Thu, 03 Jun 2010 14:44:08 -0400 |
Adam Chlipala |
Undo fancy wildification; instead, client code should include extra wildcard con declarations |
| Thu, 03 Jun 2010 13:35:26 -0400 |
Adam Chlipala |
Drop in some new autoconf scripts |
| Thu, 03 Jun 2010 13:31:48 -0400 |
Adam Chlipala |
New release |
| Thu, 03 Jun 2010 13:04:37 -0400 |
Adam Chlipala |
Some serious bug-fix work to get HTML example to compile; this includes fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize |
| Tue, 01 Jun 2010 15:46:24 -0400 |
Adam Chlipala |
Allow complex attribute records in Tag |
| Tue, 01 Jun 2010 12:50:53 -0400 |
Adam Chlipala |
Try harder to place wildified 'con' declarations properly |
| Tue, 01 Jun 2010 10:44:57 -0400 |
Adam Chlipala |
Improve consNeq to detect unequal projected cons |
| Sun, 30 May 2010 10:39:25 -0400 |
Adam Chlipala |
Include new config.h in C source files |
| Sat, 29 May 2010 08:05:31 -0400 |
Adam Chlipala |
Include config.h.in in distribution |
| Thu, 27 May 2010 16:36:17 -0400 |
Adam Chlipala |
-moduleOf command-line option; compatibility fixes and better error messages for SQLite |
| Thu, 27 May 2010 15:10:52 -0400 |
Adam Chlipala |
Consider view declarations while shaking |
| Thu, 27 May 2010 10:56:52 -0400 |
Adam Chlipala |
Fix bug in module path generation with module roots; push wildification through substructures |
| Sun, 23 May 2010 11:52:13 -0400 |
Adam Chlipala |
Support HTTP caching of app.js |
| Sat, 22 May 2010 16:29:54 -0400 |
Adam Chlipala |
Switch to strings and eval for thunkifying JavaScripted functions |
| Sat, 22 May 2010 14:14:02 -0400 |
Adam Chlipala |
Add thunking to CHANGELOG |
| Sat, 22 May 2010 14:09:06 -0400 |
Adam Chlipala |
Thunking recursive JavaScripted function ASTs, to reduce page load time dramatically |
| Tue, 18 May 2010 14:47:56 -0400 |
Adam Chlipala |
URL-escape with '.' instead of '%', to avoid confusing proxies |
| Sun, 16 May 2010 18:25:00 -0400 |
Adam Chlipala |
Fix width/height CSS choices for table rows/columns; stop warning about inability to embed type in JavaScript |
| Sun, 16 May 2010 15:34:24 -0400 |
Adam Chlipala |
Fix C-mangling of datatype names |
| Sat, 15 May 2010 12:52:34 -0400 |
Adam Chlipala |
Avoid reimplementing conversion to C strings |
| Thu, 06 May 2010 16:05:14 -0400 |
Adam Chlipala |
New release |
| Thu, 06 May 2010 13:57:01 -0400 |
Adam Chlipala |
Merge |
| Thu, 06 May 2010 12:14:00 -0400 |
Adam Chlipala |
Some Iflow improvements for gradebook |
| Sat, 01 May 2010 11:59:35 -0400 |
Adam Chlipala |
Safe unmodeled SQL expressions marked as known |
| Sat, 01 May 2010 09:51:46 -0400 |
Adam Chlipala |
Basic handling of recursive functions in Iflow |
| Thu, 29 Apr 2010 17:24:42 -0400 |
Adam Chlipala |
Add rand to Basis and handle it in Iflow |
| Thu, 29 Apr 2010 11:47:24 -0400 |
Adam Chlipala |
Complain about DValRec; optimizations for unit-valued ECase and forgetting of path conditions across ESeq |
| Sun, 18 Apr 2010 20:06:15 -0400 |
Adam Chlipala |
Avoid state space explosion with ECase that just writes a constant in each case |
| Sun, 18 Apr 2010 15:54:37 -0400 |
Adam Chlipala |
Fix innappropriate removal of duplicate tables from DML policies |
| Sun, 18 Apr 2010 14:52:13 -0400 |
Adam Chlipala |
Better handling of DELETE and UPDATE |
| Sun, 18 Apr 2010 13:56:47 -0400 |
Adam Chlipala |
Take advantage of equalities between get_cookie calls |
| Sun, 18 Apr 2010 13:00:36 -0400 |
Adam Chlipala |
Use key information in more places, and catch cases where one key completion depends on another having happened already |
| Sun, 18 Apr 2010 10:56:39 -0400 |
Adam Chlipala |
Parsing boolean SQL constants and fixing a related prover bug |
| Sat, 17 Apr 2010 14:26:52 -0400 |
Adam Chlipala |
At loop heads, havoc relations that might be changed by the loop |
| Thu, 15 Apr 2010 14:21:12 -0400 |
Adam Chlipala |
Check for implicit flows via expressions injected into SQL |
| Thu, 15 Apr 2010 10:00:30 -0400 |
Adam Chlipala |
'also' policies and policy reduction; calendar in good shape |
| Thu, 15 Apr 2010 08:48:41 -0400 |
Adam Chlipala |
Parsing ORDER BY |
| Wed, 14 Apr 2010 09:18:16 -0400 |
Adam Chlipala |
Get refurbished Iflow working with calendar |
| Tue, 13 Apr 2010 16:36:16 -0400 |
Adam Chlipala |
More descriptive info flow error message |
| Tue, 13 Apr 2010 16:30:46 -0400 |
Adam Chlipala |
Completely redid main Iflow logic; so far, policy and policy2 work |
| Tue, 13 Apr 2010 11:34:59 -0400 |
Adam Chlipala |
Command-line use of Iflow |
| Tue, 13 Apr 2010 11:15:43 -0400 |
Adam Chlipala |
Catching lame FFI applications |
| Tue, 13 Apr 2010 10:40:55 -0400 |
Adam Chlipala |
Fix problem with overly weak ambients for queries; fix known-related bug in assert for Dt1 |
| Tue, 13 Apr 2010 09:31:04 -0400 |
Adam Chlipala |
When applying multiple policies at once, filter the policy set at the beginning, removing unmatchable policies |
| Tue, 13 Apr 2010 09:25:45 -0400 |
Adam Chlipala |
Avoid pointless rebuilding of hypothesis E-graphs |
| Tue, 13 Apr 2010 09:17:52 -0400 |
Adam Chlipala |
Havoc relations that have been updated |
| Sun, 11 Apr 2010 17:55:37 -0400 |
Adam Chlipala |
sendOwnIds policies |
| Sun, 11 Apr 2010 16:46:38 -0400 |
Adam Chlipala |
Using multiple policies to check a written value |
| Sun, 11 Apr 2010 16:06:16 -0400 |
Adam Chlipala |
Iflow working with a UNION |
| Sun, 11 Apr 2010 15:05:51 -0400 |
Adam Chlipala |
Use functional dependency information |
| Sun, 11 Apr 2010 14:11:17 -0400 |
Adam Chlipala |
Tweaks to table signatures and MonoOpt summarizing |
| Sun, 11 Apr 2010 13:18:32 -0400 |
Adam Chlipala |
Complete update records with fields that are not being set |
| Sun, 11 Apr 2010 13:11:25 -0400 |
Adam Chlipala |
Update policies |
| Sun, 11 Apr 2010 12:45:15 -0400 |
Adam Chlipala |
Express all query outputs using record literals |
| Sun, 11 Apr 2010 12:38:21 -0400 |
Adam Chlipala |
Delete policies |
| Sun, 11 Apr 2010 10:57:52 -0400 |
Adam Chlipala |
Insert policies |
| Sat, 10 Apr 2010 13:12:42 -0400 |
Adam Chlipala |
Constants are known |
| Sat, 10 Apr 2010 13:02:15 -0400 |
Adam Chlipala |
Path conditions, used to track implicit flows |
| Sat, 10 Apr 2010 10:24:13 -0400 |
Adam Chlipala |
Abstract type for evalExp state; handle WHERE conditions soundly |
| Thu, 08 Apr 2010 14:20:46 -0400 |
Adam Chlipala |
Some serious debugging of the new Cc |
| Thu, 08 Apr 2010 12:46:21 -0400 |
Adam Chlipala |
Implemented proper congruence closure, to the point where tests/policy works |
| Thu, 08 Apr 2010 09:57:37 -0400 |
Adam Chlipala |
Change query_policy to sendClient; all arguments passed to SQL predicates are variables |
| Tue, 06 Apr 2010 16:14:19 -0400 |
Adam Chlipala |
secret logon |
| Tue, 06 Apr 2010 15:17:28 -0400 |
Adam Chlipala |
Replaced Select predicate with special-case handling for one-or-no-rows queries |
| Tue, 06 Apr 2010 13:59:16 -0400 |
Adam Chlipala |
About to try removing Select predicate |
| Tue, 06 Apr 2010 12:04:08 -0400 |
Adam Chlipala |
Parsing more comparison operators |
| Tue, 06 Apr 2010 11:07:19 -0400 |
Adam Chlipala |
Parsing float and string SQL literals |
| Tue, 06 Apr 2010 10:39:15 -0400 |
Adam Chlipala |
Checking known() correctly, according to a pair of examples |
| Tue, 06 Apr 2010 09:51:36 -0400 |
Adam Chlipala |
Introduced the known() predicate |
| Sun, 04 Apr 2010 17:44:12 -0400 |
Adam Chlipala |
Parsing more of WHERE |
| Sun, 04 Apr 2010 17:18:41 -0400 |
Adam Chlipala |
WHERE-dependent checking |
| Sun, 04 Apr 2010 17:11:22 -0400 |
Adam Chlipala |
Parsed a WHERE clause |
| Sun, 04 Apr 2010 16:44:34 -0400 |
Adam Chlipala |
Relax checking of table implications |
| Sun, 04 Apr 2010 16:17:23 -0400 |
Adam Chlipala |
Iflow tested with positive and negative cases |
| Sun, 04 Apr 2010 15:17:57 -0400 |
Adam Chlipala |
Generating a good Iflow condition for a test query |
| Sun, 04 Apr 2010 14:37:19 -0400 |
Adam Chlipala |
Generated basic dummy Iflow conditions |
| Sun, 04 Apr 2010 12:29:34 -0400 |
Adam Chlipala |
Pushing policies through |
| Sat, 17 Apr 2010 13:57:10 -0400 |
Adam Chlipala |
Forward reference to URI convention |
| Thu, 01 Apr 2010 17:23:17 -0400 |
Adam Chlipala |
New release |
| Thu, 01 Apr 2010 17:21:16 -0400 |
Adam Chlipala |
Relational operators portability |
| Sun, 28 Mar 2010 10:10:35 -0400 |
Adam Chlipala |
Make SELECT FROM clauses optional |
| Thu, 25 Mar 2010 16:41:51 -0400 |
Adam Chlipala |
'AS' clauses for expression columns may be omitted |
| Thu, 25 Mar 2010 16:27:10 -0400 |
Adam Chlipala |
Add subqueries to the manual |
| Thu, 25 Mar 2010 16:06:04 -0400 |
Adam Chlipala |
Subquery FROM items |
| Thu, 25 Mar 2010 15:44:24 -0400 |
Adam Chlipala |
Subquery expressions |
| Thu, 25 Mar 2010 13:04:49 -0400 |
Adam Chlipala |
New release |
| Tue, 16 Mar 2010 16:17:02 -0400 |
Adam Chlipala |
More informative tag mismatch error message |
| Tue, 16 Mar 2010 16:02:54 -0400 |
Adam Chlipala |
Update manual for COUNT(col) |
| Tue, 16 Mar 2010 15:54:35 -0400 |
Adam Chlipala |
COUNT(col) |
| Tue, 16 Mar 2010 15:39:16 -0400 |
Adam Chlipala |
Remove unpoly1 |
| Tue, 16 Mar 2010 10:09:01 -0400 |
Adam Chlipala |
Undo an Especialize change that turned out to be unecessary |
| Tue, 09 Mar 2010 18:43:29 -0500 |
Adam Chlipala |
Re-add accidentally-removed parsing case for 'effectful' |
| Tue, 09 Mar 2010 18:28:44 -0500 |
Adam Chlipala |
safeGet |
| Tue, 09 Mar 2010 17:50:42 -0500 |
Adam Chlipala |
Spiffed-up Split1; remove spurious error message triggered by 'open'ing a module containing a functor |
| Sat, 06 Mar 2010 19:14:48 -0500 |
Adam Chlipala |
Got split1 working, but noticed a nasty type inference bug with transplanted unification variables |
| Sat, 06 Mar 2010 16:15:26 -0500 |
Adam Chlipala |
Standard library moduls Incl and Mem; tweaks to Especialize and Unpoly |
| Thu, 04 Mar 2010 16:59:13 -0500 |
Adam Chlipala |
Dead code elimination in Reduce code |
| Thu, 04 Mar 2010 14:20:26 -0500 |
Adam Chlipala |
-verbose |
| Thu, 04 Mar 2010 13:47:16 -0500 |
Adam Chlipala |
Louder jscomp; toUpper/Lower fix for JavaScript |
| Tue, 02 Mar 2010 16:00:48 -0500 |
Adam Chlipala |
Tone down Reduce and compensate with a new push-lambda-inside-case rule in MonoOpt; expand more Basis synonyms in Monoize |
| Tue, 02 Mar 2010 10:33:49 -0500 |
Adam Chlipala |
Monad.foldMapR |
| Tue, 02 Mar 2010 09:46:17 -0500 |
Adam Chlipala |
String.isPrefix |
| Sun, 28 Feb 2010 15:46:41 -0500 |
Adam Chlipala |
Fix parsing of space-free .urp directives; use 'class' for 'c*' tags |
| Sun, 28 Feb 2010 13:06:10 -0500 |
Adam Chlipala |
Changing foldRX to mapX |
| Sat, 27 Feb 2010 16:49:11 -0500 |
Adam Chlipala |
benignEffectful |
| Sat, 27 Feb 2010 14:57:57 -0500 |
Adam Chlipala |
Basic analysis of tag and CSS class usage |
| Thu, 25 Feb 2010 15:08:52 -0500 |
Adam Chlipala |
Normalize URLs to deal with page names that contain apostrophes |
| Thu, 25 Feb 2010 14:55:35 -0500 |
Adam Chlipala |
Use COALESCE to hide NULL results of aggregate functions; fix bug with improper ordering of query result columns |
| Sat, 13 Feb 2010 13:10:05 -0500 |
Adam Chlipala |
Remove Basis.getRequestHeader, because it can subvert cookie security |
| Sat, 13 Feb 2010 10:13:50 -0500 |
Adam Chlipala |
New release |
| Thu, 11 Feb 2010 11:29:36 -0500 |
Adam Chlipala |
'configure' checks for libmhash and MLton |
| Thu, 11 Feb 2010 09:10:01 -0500 |
Adam Chlipala |
sigfile directive |
| Tue, 09 Feb 2010 20:08:59 -0500 |
Adam Chlipala |
Tips for CGI scripts without httpd.conf access |
| Tue, 09 Feb 2010 17:00:31 -0500 |
Adam Chlipala |
Set additional request headers for POST RPCs |
| Tue, 09 Feb 2010 09:51:21 -0500 |
Adam Chlipala |
Update manual with Gian's experience building in OS X |
| Sun, 07 Feb 2010 16:13:09 -0500 |
Adam Chlipala |
Expand 'row types' in first paragraph of manual |
| Sun, 07 Feb 2010 15:50:13 -0500 |
Adam Chlipala |
Tiny Makefile fix for sed style/compatibility |
| Sun, 07 Feb 2010 09:51:41 -0500 |
Adam Chlipala |
Fix .urp parsing for real |
| Sun, 07 Feb 2010 09:38:27 -0500 |
Adam Chlipala |
Fix detection of blank lines in .urp |
| Sun, 07 Feb 2010 09:14:06 -0500 |
Adam Chlipala |
Remove debug prints |
| Sun, 07 Feb 2010 08:35:47 -0500 |
Adam Chlipala |
Call access() with F_OK |
| Sat, 06 Feb 2010 20:47:23 -0500 |
Adam Chlipala |
More fixes for NetBSD support |
| Sat, 06 Feb 2010 20:13:51 -0500 |
Adam Chlipala |
More is*() casts |
| Sat, 06 Feb 2010 16:54:13 -0500 |
Adam Chlipala |
Prototype memmem() |
| Sat, 06 Feb 2010 15:34:41 -0500 |
Adam Chlipala |
Allow .urp files without initial blank lines |
| Sat, 06 Feb 2010 13:53:26 -0500 |
Adam Chlipala |
More casting of isprint() arguments |
| Sat, 06 Feb 2010 13:46:17 -0500 |
Adam Chlipala |
AC_USE_SYSTEM_EXTENSIONS replaces the need for hacky #defines at starts of C files |
| Sat, 06 Feb 2010 13:27:05 -0500 |
Adam Chlipala |
AM_INIT_AUTOMAKE with no-define (to fix some NetBSD and OS X problems) |
| Sat, 06 Feb 2010 13:09:51 -0500 |
Adam Chlipala |
Trying to get urweb.c working for someone in NetBSD |
| Thu, 04 Feb 2010 16:29:09 -0500 |
Adam Chlipala |
Fixes for rooted modules |
| Thu, 04 Feb 2010 13:07:12 -0500 |
Adam Chlipala |
mhash will use saved signature |
| Sun, 31 Jan 2010 15:28:50 -0500 |
Adam Chlipala |
A litter more cautious about NULL applications; plug a memory leak in some Postgres functions |
| Sun, 31 Jan 2010 07:44:49 -0500 |
Adam Chlipala |
Remove mention of (hopefully) fixed problem with ./configure |
| Sat, 30 Jan 2010 20:21:15 -0500 |
Adam Chlipala |
Remove unneeded lib/c directory |
| Sat, 30 Jan 2010 15:34:00 -0500 |
Adam Chlipala |
Another try to include more Autofiles in the distribution |
| Sat, 30 Jan 2010 13:39:39 -0500 |
Adam Chlipala |
Remove a faulty time tweak from Postgres serialization |
| Sat, 30 Jan 2010 12:00:08 -0500 |
Adam Chlipala |
Change to satisfy GCC implicit aliasing rules |
| Sat, 30 Jan 2010 11:21:26 -0500 |
Adam Chlipala |
Update Makefile.in's with new Autotools; add extra 'return NULL' to placate some -Wall |
| Sat, 30 Jan 2010 08:45:31 -0500 |
Adam Chlipala |
New release |
| Thu, 28 Jan 2010 20:10:32 -0500 |
Adam Chlipala |
Small tweaks |
| Thu, 28 Jan 2010 13:55:01 -0500 |
Adam Chlipala |
Run autoreconf at start of 'make reauto' |
| Thu, 28 Jan 2010 13:32:26 -0500 |
Adam Chlipala |
Switch to gcc -Wall |
| Thu, 28 Jan 2010 10:48:49 -0500 |
Adam Chlipala |
Get rid of those pesky symlinks for autotools files |
| Thu, 28 Jan 2010 09:56:08 -0500 |
Adam Chlipala |
First attempt to switch to Automake, to get shared libraries built in OSX |
| Tue, 26 Jan 2010 14:59:19 -0500 |
Adam Chlipala |
Handling errors during commit |
| Tue, 26 Jan 2010 09:04:55 -0500 |
Adam Chlipala |
Using libtool to build and install liburweb* |
| Tue, 26 Jan 2010 08:46:25 -0500 |
Adam Chlipala |
<img> has dimensions and needs special HTML handling |
| Tue, 12 Jan 2010 16:09:13 -0500 |
Adam Chlipala |
Allow escaped backslashes in literals; conversion betwixt int and char |
| Tue, 12 Jan 2010 11:19:02 -0500 |
Adam Chlipala |
Update manual for last two changesets |
| Tue, 12 Jan 2010 11:07:39 -0500 |
Adam Chlipala |
-path and -root command-line flags |
| Tue, 12 Jan 2010 10:33:03 -0500 |
Adam Chlipala |
Supporting any number of arguments for explicitly exported functions |
| Tue, 12 Jan 2010 09:58:14 -0500 |
Adam Chlipala |
Makefile fix for release |
| Tue, 12 Jan 2010 09:42:13 -0500 |
Adam Chlipala |
New release |
| Sun, 10 Jan 2010 13:44:22 -0500 |
Adam Chlipala |
Reduce concatenations of the empty record; unpoly non-recursive functions |
| Sun, 10 Jan 2010 10:40:57 -0500 |
Adam Chlipala |
Support for protocol-specific expunger dispatch |
| Thu, 07 Jan 2010 14:02:58 -0500 |
Adam Chlipala |
Basis.debug; more restrictive type for Basis.form; weaken definition of polymorphic-ness for especialization |
| Tue, 05 Jan 2010 15:53:35 -0500 |
Adam Chlipala |
Basis.textBlob; support HTTP requests with no headers |
| Tue, 05 Jan 2010 14:57:35 -0500 |
Adam Chlipala |
uw_close() |
| Tue, 05 Jan 2010 13:30:27 -0500 |
Adam Chlipala |
Clear script_header in uw_reset() |
| Tue, 05 Jan 2010 10:22:55 -0500 |
Adam Chlipala |
Loosen parsing of multiplication |
| Sun, 03 Jan 2010 17:13:45 -0500 |
Adam Chlipala |
Database quotas |
| Sun, 03 Jan 2010 15:58:34 -0500 |
Adam Chlipala |
Deadlines |
| Sun, 03 Jan 2010 15:32:11 -0500 |
Adam Chlipala |
Memory limits |
| Sun, 03 Jan 2010 12:47:27 -0500 |
Adam Chlipala |
Proper C-side deserialization; Shake.sliceDb |
| Sat, 02 Jan 2010 14:54:15 -0500 |
Adam Chlipala |
JavaScript urlification; more lenient export pattern in Corify; only include scripts in pages that use JavaScript |
| Sat, 02 Jan 2010 13:31:59 -0500 |
Adam Chlipala |
Proper 404 generation |
| Fri, 01 Jan 2010 12:48:06 -0500 |
Adam Chlipala |
Proper [un]urlification of unit |
| Fri, 01 Jan 2010 10:49:36 -0500 |
Adam Chlipala |
Proper client-side attrifyString |
| Thu, 31 Dec 2009 18:07:53 -0500 |
Adam Chlipala |
Eta-expand bodies of transaction functions in Monoization, to enable later optimization |
| Thu, 31 Dec 2009 16:12:13 -0500 |
Adam Chlipala |
Change location of dynamic libraries |
| Thu, 31 Dec 2009 15:14:24 -0500 |
Adam Chlipala |
Protect against NULL applications in a few places |
| Thu, 31 Dec 2009 11:41:57 -0500 |
Adam Chlipala |
Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly |
| Wed, 30 Dec 2009 09:52:18 -0500 |
Adam Chlipala |
New release |
| Wed, 30 Dec 2009 09:48:32 -0500 |
Adam Chlipala |
Update manual's description of implicit arguments |
| Tue, 29 Dec 2009 16:48:27 -0500 |
Adam Chlipala |
Treat getCookie as effectful |
| Tue, 29 Dec 2009 15:03:44 -0500 |
Adam Chlipala |
Test case for character code escapes |
| Tue, 29 Dec 2009 13:34:03 -0500 |
Adam Chlipala |
ctextarea; s/header/include in the manual |
| Tue, 29 Dec 2009 12:55:26 -0500 |
Adam Chlipala |
Octal and hexidecimal string escapes |
| Tue, 29 Dec 2009 10:28:02 -0500 |
Adam Chlipala |
Move queue.h to include/ |
| Sun, 27 Dec 2009 14:25:22 -0500 |
Adam Chlipala |
Protocol-specific compiler options |
| Sun, 27 Dec 2009 13:18:32 -0500 |
Adam Chlipala |
Dynamic linking of the runtime system |
| Sun, 27 Dec 2009 10:37:24 -0500 |
Adam Chlipala |
All three current protocols work with move to using uw_app |
| Sat, 26 Dec 2009 11:56:40 -0500 |
Adam Chlipala |
Make summary unification more conservative; infer implicit arguments after applications |
| Fri, 25 Dec 2009 10:48:02 -0500 |
Adam Chlipala |
Catch attempts to mention multiple versions of the same rooted module |
| Fri, 25 Dec 2009 09:24:21 -0500 |
Adam Chlipala |
Alter JavaScript lastParent() to play nice with Firebug |
| Thu, 24 Dec 2009 16:35:09 -0500 |
Adam Chlipala |
Module roots |
| Thu, 24 Dec 2009 15:49:52 -0500 |
Adam Chlipala |
Convenience libifying; allow more NULLs with globals |
| Thu, 24 Dec 2009 10:59:35 -0500 |
Adam Chlipala |
Test for Firebug weirdness |
| Thu, 24 Dec 2009 10:44:53 -0500 |
Adam Chlipala |
Proper JavaScript-side URI escaping/de-escaping; fix C-side URL encoding of big characters |
| Thu, 24 Dec 2009 10:02:48 -0500 |
Adam Chlipala |
-tc flag |
| Thu, 24 Dec 2009 09:56:09 -0500 |
Adam Chlipala |
Updating the manual |
| Wed, 23 Dec 2009 14:27:12 -0500 |
Adam Chlipala |
Don't relify in bigLibs; fix some memory bugs in transactionals |
| Wed, 23 Dec 2009 12:25:34 -0500 |
Adam Chlipala |
Stop skipping Especialization of generated functions; fix Compiler.parseUrp; expose uw_really_write(); allow more NULL arguments to uw_register_transactional() |
| Tue, 22 Dec 2009 15:29:38 -0500 |
Adam Chlipala |
Alternate job-parsing interface, to avoid merging library directives |
| Tue, 22 Dec 2009 12:13:23 -0500 |
Adam Chlipala |
Basis.sql_nullable and Top.queryL |
| Sun, 20 Dec 2009 15:17:43 -0500 |
Adam Chlipala |
Another try at reasonable Especialize, this time with a custom traversal |
| Tue, 15 Dec 2009 19:26:52 -0500 |
Adam Chlipala |
Especialize uses a termination measure based on number of arguments introduced |
| Tue, 15 Dec 2009 13:20:13 -0500 |
Adam Chlipala |
Fix new Especialize security bug: do not duplicate free variables as specialized arguments |
| Tue, 15 Dec 2009 12:26:00 -0500 |
Adam Chlipala |
Initial generalization of Especialize, with security bug known |
| Tue, 15 Dec 2009 11:11:49 -0500 |
Adam Chlipala |
Allow same constructor shorthand for 'view' sig items as for 'table' |
| Tue, 15 Dec 2009 10:19:05 -0500 |
Adam Chlipala |
Convert to task syntax |
| Sun, 13 Dec 2009 14:34:18 -0500 |
Adam Chlipala |
Fixing a bug in DInitializer elaboration |
| Sun, 13 Dec 2009 14:20:41 -0500 |
Adam Chlipala |
Initializers and setval |
| Sun, 13 Dec 2009 13:00:55 -0500 |
Adam Chlipala |
Weakening-type coercions for SQL values |
| Sun, 13 Dec 2009 11:28:47 -0500 |
Adam Chlipala |
Better record summary error messages; more tweaking SQL usability |
| Sun, 13 Dec 2009 10:13:06 -0500 |
Adam Chlipala |
Tweaking SQL parsing and typing |
| Sat, 12 Dec 2009 14:51:10 -0500 |
Adam Chlipala |
Fix lexing of string literals in XML; treat EError as impure in MonoReduce |
| Sat, 12 Dec 2009 11:02:20 -0500 |
Adam Chlipala |
Checked-ness of radio options; Option.get |
| Thu, 10 Dec 2009 15:46:07 -0500 |
Adam Chlipala |
Bug fixes in redirect-related stuff |
| Thu, 10 Dec 2009 15:20:36 -0500 |
Adam Chlipala |
Basis.currentUrl, plus redirect debugging |
| Thu, 10 Dec 2009 13:32:09 -0500 |
Adam Chlipala |
Basis.url and redirects |
| Thu, 10 Dec 2009 12:06:03 -0500 |
Adam Chlipala |
Make oneRowE1 more general |
| Tue, 08 Dec 2009 12:06:41 -0500 |
Adam Chlipala |
Convert ctype is*() function results to booleans |
| Tue, 08 Dec 2009 11:45:19 -0500 |
Adam Chlipala |
Shake bug fix; pattern reduction in ReduceLocal |
| Tue, 08 Dec 2009 10:46:50 -0500 |
Adam Chlipala |
Context globals; ctype functions |
| Tue, 08 Dec 2009 09:33:08 -0500 |
Adam Chlipala |
Fix a Shake bug that led to missing some cons |
| Tue, 08 Dec 2009 08:48:29 -0500 |
Adam Chlipala |
Move to simpler HTML escaping |
| Sat, 05 Dec 2009 14:34:44 -0500 |
Adam Chlipala |
Recursive hnormSgn for projections of signatures from modules |
| Sat, 05 Dec 2009 14:01:34 -0500 |
Adam Chlipala |
Represent FFI function names as strings, to deal with cross-file recursion |
| Thu, 03 Dec 2009 14:32:47 -0500 |
Adam Chlipala |
New release |
| Thu, 03 Dec 2009 11:56:15 -0500 |
Adam Chlipala |
Merge |
| Thu, 03 Dec 2009 11:50:51 -0500 |
Adam Chlipala |
UTF-8 in dynamic escaping |
| Thu, 03 Dec 2009 11:20:13 -0500 |
Adam Chlipala |
Escaping UTF-8 in MonoOpt |
| Fri, 27 Nov 2009 09:12:46 -0500 |
Adam Chlipala |
Fix handling of clearCookie/getCookie in same page gen |
| Thu, 26 Nov 2009 14:58:03 -0500 |
Adam Chlipala |
Port rest of demo to new cookie signature; fix parsing of multiple incoming cookies |
| Thu, 26 Nov 2009 14:20:00 -0500 |
Adam Chlipala |
More fun with cookies |
| Thu, 26 Nov 2009 10:35:57 -0500 |
Adam Chlipala |
Fix parsing of long FastCGI lengths |
| Wed, 25 Nov 2009 09:48:23 -0500 |
Adam Chlipala |
Hint about disallowed attributes |
| Wed, 25 Nov 2009 09:30:44 -0500 |
Adam Chlipala |
Add 'id' attributes and <label> |
| Wed, 25 Nov 2009 09:03:08 -0500 |
Adam Chlipala |
Better error message for link-handler conflicts |
| Wed, 25 Nov 2009 08:52:32 -0500 |
Adam Chlipala |
Refactor compile functions; allow empty tag contents |
| Wed, 25 Nov 2009 08:38:12 -0500 |
Adam Chlipala |
Exit code of 1 on compilation failure |
| Tue, 24 Nov 2009 09:48:28 -0500 |
Adam Chlipala |
New release |
| Tue, 24 Nov 2009 09:24:25 -0500 |
Adam Chlipala |
Explicitly abort in-flight RPCs onunload |
| Sun, 22 Nov 2009 17:57:15 -0500 |
Adam Chlipala |
Proper initial values of dynamic checkboxes in IE |
| Sun, 22 Nov 2009 16:40:09 -0500 |
Adam Chlipala |
Get dynamic <select> working in IE |
| Sun, 22 Nov 2009 15:30:15 -0500 |
Adam Chlipala |
grid0 working in IE |
| Sat, 21 Nov 2009 15:48:08 -0500 |
Adam Chlipala |
Get message-passing working in IE6 |
| Sat, 21 Nov 2009 14:29:35 -0500 |
Adam Chlipala |
Send RPCs with POST, to avoid caching |
| Sat, 21 Nov 2009 13:50:59 -0500 |
Adam Chlipala |
Deal with bizarre IE6 .innerHTML behavior (which eats some <script> tags) |
| Sat, 21 Nov 2009 13:08:01 -0500 |
Adam Chlipala |
Fix for lack of 'apply' method of IE6 native functions |
| Tue, 17 Nov 2009 12:44:14 -0500 |
Adam Chlipala |
Hooks for measuring how much interesting proving is going on in elaboration |
| Sun, 08 Nov 2009 12:26:03 -0500 |
Adam Chlipala |
New release |
| Sat, 07 Nov 2009 11:06:38 -0500 |
Adam Chlipala |
Saving paper decisions |
| Mon, 02 Nov 2009 15:54:22 -0500 |
Adam Chlipala |
Decision status placeholder |
| Mon, 02 Nov 2009 15:48:06 -0500 |
Adam Chlipala |
Start of Decision |
