Quentin Lambert
Quentin Lambert
The json resulting from pretty printing a float value that is exactly an integer doesn't include any period. As a result, when parsing the json again, the same value is...
The variable used as tolerance margin to decide whether two `Real` values are equal is used to compare position and speed at the same time. We could turn `tol` into...
Both the value of capacitance `c2` and `c4` are expressed as inverse of capacitance `l1` and `l2` respectively.
Both the value of capacitance `c2` and `c4` are expressed as inverse of inductance `l1` and `l2` respectively.
What is the value of `a.x`, in the following example? ``` model Test model A0 Real x = 1; end A0; model A1 extends A0; Real y = 2; end...
This is fairly complete proposal for unit-checking based on the Hindley-Milner inference algorithm. This corresponds to the implementation in Wolfram System Modeler.
I think there are some corner cases in the handling of modifications where we need some explicit clarifications. #3339 contains some examples. Here are a few more models: ``` model...
The specs say that: > The variable time is a built-in variable available in all models and block, ... In light of that is the following allowed: ``` package P...
Here are concrete examples that I believe should inform our unit specification effort. Here is a small model capturing the inconsistencies in Modelica.Electrical.Machines.Utilities.ParameterRecords.SM_ReluctanceRotorData: ``` record R "Common parameters for synchronous...
Record can both have declaration equation and be prefixed with parameter.