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