Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Relax checking of table implications | Adam Chlipala | 2010-04-04 |
* | Iflow tested with positive and negative cases | Adam Chlipala | 2010-04-04 |
* | Generating a good Iflow condition for a test query | Adam Chlipala | 2010-04-04 |
* | Generated basic dummy Iflow conditions | Adam Chlipala | 2010-04-04 |
* | Pushing policies through | Adam Chlipala | 2010-04-04 |