Waqar Ahmed comments

Results 7 comments of


                                            Waqar Ahmed

Export requirements status field in json format

Thanks, @anmavrid. Are you considering exporting to CSV or .xlsx format in your upgrades?

Build error when running gradlew on Ubuntu 20.04

Thanks Dan. I checked the path again and it has no spaces in the name. Unfortunately, its not working and I'm getting the same exception. This is my path variables...

Build error when running gradlew on Ubuntu 20.04

Thanks. With MPS 2021.1 the build is successful. But when I tried to open the project with MPS, it is giving me the errors like *Used language com.mbeddr.formal.base.\* is not...

Build failure with message "Could not get unknown property 'gpr.user' for root project 'mbeddr.formal'"

The build fails with the same error message after specifying the GitHub credentials. Is there a way I can debug the build file.

Build failure with message "Could not get unknown property 'gpr.user' for root project 'mbeddr.formal'"

Thanks. Now I got the following error: Starting a Gradle Daemon, 1 incompatible Daemon could not be reused, use --status for details > Configure project : Local build detected, version...

Build failure with message "Could not get unknown property 'gpr.user' for root project 'mbeddr.formal'"

Thanks. I was using MPS_2021.2 as instructed in the README. However, when I changed to MPS_2021_3_2 the build is successful. After that, I followed the instruction with MPS and set...

Build failure with message "Could not get unknown property 'gpr.user' for root project 'mbeddr.formal'"

Okay. I can open the tutorial project and browse through the code. However, I couldn't get the same FASTEN environment and features as in [First steps and the integration of...