Kenneth Lausdahl

ok it builds now with the snapshot. Not sure about the structure but you could probably point the VSCode client to the compatible version for it and then release is...

Do I need to change anything in FMI-VDM-Model for this? I would like to make a release of FMI-VDM-Model such that I can freeze that in maestro (and release maestro)...

I agree with @nickbattle not sure why this is not the case. Like the mismatch here can lead to pretty strange behaviour so will a fix. It looks like the...

The logging framework is but it needs to be added to any spec and that part I didn’t do Regards, Kenneth Lausdahl [email protected] > On 18 Aug 2020, at 13.36,...

#387 adds native support. A mabl library is then possible to make

A comment about the the actual `load` call. It seems like its being using in two versions currently i.e. the interpreter seems to use the type given as a string...

I'm ok with any encoding in the simulation env and config. This is most likely going to be implemented in another tool. As long as the reference is defined it...

Here another test: ``` module MyTest imports from Assert all, from IO all exports all definitions operations testFailure: ()==>() testFailure()== ( IO`println("Before"); Assert`assertTrueMsg("Fail deliberately", false); IO`println("After"); ); end MyTest ```...

Hi @nickbattle Look at this:  and for the untyped stuff:  The thing that happens here is...

This is a side effect of #136