My favorites | Sign in
Project Home Wiki Issues Source
READ-ONLY: This project has been archived. For more information see this post.
Search
for
  Advanced search   Search tips   Subscriptions
Issue 40: Correlated ifs
  Back to list
 
Project Member Reported by kevin.bi...@gmail.com, Sep 23, 2008
Can we add support for correlated ifs?  We already know when a condition is
used again (the tested variable remains live), but the trick would be to
join lattices in such a way that changes dependent on a condition are kept
separately

Powered by Google Project Hosting