summaryrefslogtreecommitdiff
path: root/tests/policy.ur
Commit message (Collapse)AuthorAge
* Completely redid main Iflow logic; so far, policy and policy2 workGravatar Adam Chlipala2010-04-13
|
* Using multiple policies to check a written valueGravatar Adam Chlipala2010-04-11
|
* Change query_policy to sendClient; all arguments passed to SQL predicates ↵Gravatar Adam Chlipala2010-04-08
| | | | are variables
* Parsing more comparison operatorsGravatar Adam Chlipala2010-04-06
|
* Parsing float and string SQL literalsGravatar Adam Chlipala2010-04-06
|
* Introduced the known() predicateGravatar Adam Chlipala2010-04-06
|
* Parsing more of WHEREGravatar Adam Chlipala2010-04-04
|
* WHERE-dependent checkingGravatar Adam Chlipala2010-04-04
|
* Parsed a WHERE clauseGravatar Adam Chlipala2010-04-04
|
* Relax checking of table implicationsGravatar Adam Chlipala2010-04-04
|
* Iflow tested with positive and negative casesGravatar Adam Chlipala2010-04-04
|
* Generating a good Iflow condition for a test queryGravatar Adam Chlipala2010-04-04
|
* Generated basic dummy Iflow conditionsGravatar Adam Chlipala2010-04-04
|
* Pushing policies throughGravatar Adam Chlipala2010-04-04
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-15 08:10:48 +0000