danielratiu

I found a fix for this and committed it on the branch bugfix/#1997 @slisson please check if my fix is OK, if yes then please merge into master

@slisson thank you for the feedback. I do not understand the grammarcells framework good enough to extend ChildSymbol to deal with links with multiple cardinalities. IMO being able to substitute...

Hi Waqar, org.jdom.JDOMException is shipped with MPS (contained in its jars). Could you please double-check that the path to mpsHomeDir is good (and does not contain spaces)? Best, Dan On...

FASTEN uses MPS 2021.1 - could you please try with that? Waqar Ahmed ***@***.***> schrieb am Fr. 2. Sept. 2022 um 21:46: > Thanks Dan. I checked the path again...

FASTEN is organized in several projects (layered architecture where e.g. safety depends on other projects). If you open the safety project, it needs to know where are the others located...

please try in gradle.properties (instead of github_username and github_token) gpr.user= gpr.token= On Thu, Apr 27, 2023 at 4:38 PM Waqar Ahmed ***@***.***> wrote: > The build fails with the same...

please double check that you set the variables mpsHomeDir=C:/XYZ/MPS_2021_3_2 mbeddr.formal.home=C:/XYZ/mbeddr.formal.migration On Thu, Apr 27, 2023 at 9:04 PM Waqar Ahmed ***@***.***> wrote: > Thanks. Now I got the following error:...

appologies, I fixed the MPS version in the readme After the gradle build is successful, you are done. You can open the safety project, the tutorial, and browse the models...

There are three tutorial projects - 1) tutorial - mostly the DSLs stack on NuSMV 2) tutorial-mdcc - the model-driven-code-checking demo 3) tutorial-safety - the safety assurance DSLs FASTEN integrates...

This PR seems to be stalled - I am closing this ...