search

kiniry / Mobius

4 stars 8 forks source link

multiple invariants #370

Open atiti opened 11 years ago

atiti commented 11 years ago

BMLlib should handle multiple invariant attributes

atiti commented 11 years ago

From: dcochran (GH: dcochran) Date: Tue Apr 1 14:25:43 2008

Milestone unknown deleted

atiti commented 11 years ago

From: alx (GH: None) Date: Mon Jun 23 12:10:17 2008

Initial support added.

atiti commented 11 years ago

From: alx (GH: None) Date: Mon Apr 27 16:46:20 2009

It should basically work now. However, we lack the support for BML invariant modifiers.