-
- Downloads
Update the examples against the new upgrade/purge code.
Since the storage format has changed, update the examples to match. Also downgrade all samples to work against MATLAB 2010a, since they seem to have been originally created for it.
Showing
- Examples/Jin_Parnas_Example.mdl 154 additions, 187 deletionsExamples/Jin_Parnas_Example.mdl
- Examples/PowerCond.mdl 123 additions, 139 deletionsExamples/PowerCond.mdl
- Examples/ReadabilityExample.mdl 204 additions, 245 deletionsExamples/ReadabilityExample.mdl
- Examples/Simulink_type_example.mdl 108 additions, 120 deletionsExamples/Simulink_type_example.mdl
- Examples/quadratic_roots.mdl 513 additions, 641 deletionsExamples/quadratic_roots.mdl
- Examples/unprovable.mdl 125 additions, 146 deletionsExamples/unprovable.mdl
Loading
Please register or sign in to comment