log src/iflow.sig

age author description
2010-04-06 Adam Chlipala About to try removing Select predicate
2010-04-06 Adam Chlipala Parsing more comparison operators
2010-04-06 Adam Chlipala Introduced the known() predicate
2010-04-04 Adam Chlipala Parsing more of WHERE
2010-04-04 Adam Chlipala Iflow tested with positive and negative cases
2010-04-04 Adam Chlipala Generated basic dummy Iflow conditions