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