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 |
Mon, 02 Nov 2009 14:22:29 -0500 |
Adam Chlipala |
Seeing others' reviews |
Mon, 02 Nov 2009 14:14:32 -0500 |
Adam Chlipala |
Preload current assignment status |
Mon, 02 Nov 2009 14:11:08 -0500 |
Adam Chlipala |
Saving paper assignments |
Mon, 02 Nov 2009 11:37:41 -0500 |
Adam Chlipala |
Switch Monoize back to POST forms |
Sun, 01 Nov 2009 14:26:20 -0500 |
Adam Chlipala |
Initial form for paper assignment |
Sun, 01 Nov 2009 10:31:18 -0500 |
Adam Chlipala |
Optimizing str1 in MonoOpt |
Sun, 01 Nov 2009 10:20:20 -0500 |
Adam Chlipala |
Bidding interface |
Sat, 31 Oct 2009 15:51:50 -0400 |
Adam Chlipala |
Start of bidding implementation compiles |
Sun, 25 Oct 2009 15:29:21 -0400 |
Adam Chlipala |
Use call/cc for recv and sleep |
Sun, 25 Oct 2009 14:07:10 -0400 |
Adam Chlipala |
RPC uses VM support for call/cc |
Sun, 25 Oct 2009 13:12:24 -0400 |
Adam Chlipala |
Always inline records |
Sun, 25 Oct 2009 13:02:13 -0400 |
Adam Chlipala |
Extend Fuse to work on non-recursive functions |
Sun, 25 Oct 2009 12:48:50 -0400 |
Adam Chlipala |
Inlining threshold for Mono_reduce |
Sun, 25 Oct 2009 12:08:21 -0400 |
Adam Chlipala |
Inlining threshold for Reduce |
Sun, 25 Oct 2009 11:03:42 -0400 |
Adam Chlipala |
Factor Dnat into separate module |
Thu, 22 Oct 2009 17:36:30 -0400 |
Adam Chlipala |
Chars working with SQLite |
Thu, 22 Oct 2009 17:04:37 -0400 |
Adam Chlipala |
Get char working with MySQL |
Thu, 22 Oct 2009 16:25:31 -0400 |
Adam Chlipala |
Setting and updating your own review |
Thu, 22 Oct 2009 16:15:56 -0400 |
Adam Chlipala |
Initial support for char in SQL |
Thu, 22 Oct 2009 14:05:48 -0400 |
Adam Chlipala |
authorship table |
Thu, 22 Oct 2009 12:16:31 -0400 |
Adam Chlipala |
Viewing papers |
Thu, 22 Oct 2009 11:51:31 -0400 |
Adam Chlipala |
Move stuff from bulkEdit to meta |
Thu, 22 Oct 2009 11:37:58 -0400 |
Adam Chlipala |
Title and abstract |
Thu, 22 Oct 2009 11:15:37 -0400 |
Adam Chlipala |
Checking deadline; sign-in |
Tue, 20 Oct 2009 13:08:42 -0400 |
Adam Chlipala |
Saving changes to user list |
Tue, 20 Oct 2009 12:48:53 -0400 |
Adam Chlipala |
Start of user management |
Tue, 20 Oct 2009 11:05:58 -0400 |
Adam Chlipala |
Registering for Conference1 |