Nick Battle
Nick Battle
So (cough) sorry for the earlier rant, but I think Luis is absolutely right that if we don't get the test framework easy enough for new users, it will just...
I like the idea of the simple hierarchical property names to control the automatic result re-generation. That is simple an intuitive (though it would still be useful to print it...
I haven't checked this, and it may be my misunderstanding, but are you saying that to add a new test (that is just "process this spec and see what you...
One thing about the SCSK test suite. Even if they release the tests under an open source licence, we cannot directly use their test suite because it is tailored to...
@leouk Did you do this as part of the VDM_Tooklit?
OK. But this is an issue on VDMJ :-) Can we move it to https://github.com/leouk/VDM_Toolkit?
From my notes of the meeting, this issue can be used to raise areas which are unclear in the Standard, where the formal rules are therefore uncertain - in the...
The definition of continuous-time states is confusing. The mathematical model (Table 4) refers to them as `Xc`, and the `` refers to them via their derivatives in ``. But it...
The rules about the inheritance of model variable fields from any declared types could be clearer. This is mentioned in Table 21, but presumably not all fields are inherited from...
A small point, but Table 15 explains that the "name" field of type definitions must be unique within both the list of type definitions *and* the list of variables. The...