mbeddr.formal

mbeddr.formal copied to clipboard

Build error when running gradlew on Ubuntu 20.04

5

I specified the paths in gradle,properties according to the installation instruction. When I ran the gradlew, it exit with the following the error: BUILD FAILED **/mbeddr.formal/build/scripts/build_all_scripts.xml:150: Could not create type...

ahmedwaqar

MPS 2021.3.5 based release from 2022-01-09 desn't run

10

Hello, I tried to open latest release after unzipping using fasten.bat and there was no sign of program's respond. It simply doesn't run. I will be appreciated for a help....

oloESK

[WiP] github actions now also performing checks

1

This PR adds performing checks to the github actions. Fixes https://github.com/mbeddr/mbeddr.formal/issues/42

norro

Add constraints for ocra expressions (some of them redundant to nusmv expressions), to exclude them from polluting nusmv models. That is: * Allow ocra expressions only in ocra roots (can...

norro

The ocra language currently doesn't support an enum type, but only allows inline definition of enum-like types, which breaks MPS type inference.

norro

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

9

I clone the repo and started to build by executing `./gradlew` at the terminal and the build fails with the following message: >Configure project : Local build detected, version will...

ahmedwaqar