Speedup check of Digital examples (from MathCore)

[krsta]

Running checkmodel on digital examples gives the follwing times (in seconds):

timing(checkModel(Modelica.Electrical.Digital.Examples.Adder4))
126.219
timing(checkModel(Modelica.Electrical.Digital.Examples.Counter))
423.706

Implementation note:
The bottleneck is the large array constants defined in the Digital libraries, which are evaluated during the lookup process. The solution is probably to skip evaluation of bindings during partial instantiation, but the effects of this must be investigated.

[Jan Brugård]

​http://intranet/trac/mathmodelica/ticket/1551

This has been reduced with approximately a factor of three, however it is still way to long (Dymola less then 1 second).

[Martin Sjölund]

This is now down to 7.32/12.69 seconds for me. Is that acceptable for now?

[Martin Sjölund]

Now it is down to 2.9 + 4.72 seconds :)

[Martin Sjölund]

And now 2.7 + 3.73 (all without weird things like not elaborating enums)

[Martin Sjölund]

From brugard via email: Looking much better now. The question though is if we should close it or not. It is still about a factor 3-5 slower than Dymola, so there is still some work to do. My suggestion would be to decrease priority to normal.

[Martin Sjölund]

On my machine now down to 1.73+1.04. 1.55+0.95 on the test-server. I did not do any changes; these are from general speed-up of the compiler (possibly related to changing the OMC counting of simple equations).

[Martin Sjölund]

Agreement during skype meeting this is working good enough for now