Search results

Update to Overture 3.0.0

bug

enhancement

Status: Open.

#127 In overturetool/vdm2c;

· CThuleHansen opened on Sep 21, 2020

Compiler warnings in distribution runtime

C Library

enhancement

Status: Open.

#121 In overturetool/vdm2c;

· bandurvp opened on Oct 10, 2017

· 

v0.2.4

Rename MATH class

enhancement

Status: Open.

#116 In overturetool/vdm2c;

· bandurvp opened on Sep 22, 2017

· 

v0.2.4

Type binds not always detected as unsupported

bug

Status: Open.

#110 In overturetool/vdm2c;

· bandurvp opened on Aug 28, 2017

· 

v0.2.4

Investigate generalizing the GC so that it can be called anywhere

enhancement

Status: Open.

#109 In overturetool/vdm2c;

· bandurvp opened on Aug 18, 2017

· 

v0.2.4

TASTE Integration

enhancement

Status: Open.

#21 In overturetool/vdm2c;

· tfabbri opened on Aug 26, 2016

· 

v0.2.4

TypedValue - Lack of information

enhancement

Status: Open.

#20 In overturetool/vdm2c;

· tfabbri opened on Aug 22, 2016

· 

v0.2.4