==================================================
Microsoft FORMULA Version 1.2.11228.0 
06/06/2011
Release Notes
==================================================
Current Limitations and Known Issues
==================================================

1. Summary of Changes
   1.a This version contains a number of optimizations in the runtime system. Execution and solving should be faster in many scenarios.
   1.b Models and partial models are now delay loaded to avoid unnecessary work on large specifications with many models.
   1.c The Visual Studio integration has been significantly improved and many crashing bugs were eliminated.

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

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

==================================================
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.