Search results

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

Status: Open.

#72 In mbeddr/mbeddr.formal;

· ahmedwaqar opened on Apr 26, 2023

Build error when running gradlew on Ubuntu 20.04

Status: Open.

#69 In mbeddr/mbeddr.formal;

· ahmedwaqar opened on Aug 26, 2022

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

Status: Open.

#65 In mbeddr/mbeddr.formal;

· oloESK opened on Feb 13, 2022

Constraining ocra expressions

ocra

Status: Open.

#54 In mbeddr/mbeddr.formal;

· norro opened on Oct 16, 2020

Enum type for ocra

ocra

Status: Open.

#53 In mbeddr/mbeddr.formal;

· norro opened on Oct 16, 2020