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