| 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 |
