==================================================
Microsoft FORMULA Version 1.1.6700.0 
04/08/2011
Release Notes
==================================================
Current Limitations and Known Issues
==================================================

1. Error Messages
   1.a. Error messages are fairly shallow.

2. Front-ends
   2.a. The command line interface does not show execution times for symbolic execution. Only the Visual Studio extension provides this information.
   2.b. Applying transformations with parameters and solving transformations is not fully supported in Visual Studio. Currently, the command line must be used for this.
  
3. Cardinality inference and Model Finding
   3.a. Cardinality inference is not supported for transformations.
   3.b. The [Introduce] attribute is excluded from cardinality inference.
   3.c. The [Cardinality] attribute does not introduce counting constraints into the partial model.
   3.d. The model finder does not automatically increment cardinalities. The user must do this manually.
   3.e. Primitive constructors can take derived constructor types as arguments. This will not be permitted in future releases and is depricated.