log src/iflow.sig

age author description
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 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 16:17:23 -0400 Adam Chlipala Iflow tested with positive and negative cases
Sun, 04 Apr 2010 14:37:19 -0400 Adam Chlipala Generated basic dummy Iflow conditions