Issue 24: Linear connectives in method pre- and post-conditions, and in invariants
Project Member Reported by kevin.bi...@gmail.com, Sep 23, 2008
Support for & and +
Jul 23, 2009
Project Member #1 nels.bec...@gmail.com
Things that are not needed for case studies are going to get pushed lower by me. ;-)
Labels: -Priority-Medium Priority-Low