Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / overturetool/vdm2c issues and pull requests

#30 - Integrate runtime library test into Maven build

Issue - State: closed - Opened by peterwvj about 8 years ago - 2 comments
Labels: enhancement, mergeable

#29 - Possible memory leak in `SET_STRUCT_FIELD`

Issue - State: closed - Opened by lausdahl about 8 years ago - 7 comments
Labels: bug, C Library

#28 - Add supports for records

Issue - State: closed - Opened by peterwvj about 8 years ago - 2 comments
Labels: enhancement

#27 - Value semantics not respected

Issue - State: closed - Opened by peterwvj about 8 years ago - 1 comment
Labels: bug

#26 - Replace SampleMakeFile with CMake file

Issue - State: closed - Opened by peterwvj about 8 years ago
Labels: bug

#25 - Name mangling incorrect

Issue - State: closed - Opened by nlmave about 8 years ago - 1 comment
Labels: bug, mergeable

#24 - Map support is incomplete

Issue - State: closed - Opened by nlmave about 8 years ago - 2 comments
Labels: bug

#23 - usage of the IO library

Issue - State: closed - Opened by nlmave about 8 years ago - 4 comments
Labels: bug, mergeable

#22 - SampleMakefile not generated on Linux

Issue - State: closed - Opened by nlmave about 8 years ago - 1 comment

#21 - TASTE Integration

Issue - State: open - Opened by tfabbri about 8 years ago - 8 comments
Labels: enhancement

#20 - TypedValue - Lack of information

Issue - State: open - Opened by tfabbri about 8 years ago - 3 comments
Labels: enhancement

#19 - Tighten up code generator logging

Issue - State: closed - Opened by peterwvj over 8 years ago
Labels: enhancement, mergeable

#18 - Update Overture version

Issue - State: closed - Opened by peterwvj over 8 years ago
Labels: enhancement, mergeable

#17 - Expand VDM2C command-line

Issue - State: closed - Opened by peterwvj over 8 years ago - 3 comments
Labels: enhancement

#16 - Re-organise vdmlib

Issue - State: closed - Opened by peterwvj over 8 years ago
Labels: enhancement

#15 - Test property is not needed anymore

Issue - State: closed - Opened by peterwvj over 8 years ago
Labels: enhancement, mergeable

#14 - README needs to be updated

Issue - State: closed - Opened by peterwvj over 8 years ago - 2 comments
Labels: enhancement, documentation

#13 - Generated vdm functions and operations are C function static

Issue - State: closed - Opened by tfabbri over 8 years ago

#12 - Static field field access not implement correctly it default to this

Issue - State: closed - Opened by lausdahl over 8 years ago
Labels: bug, mergeable

#11 - Records.

Issue - State: closed - Opened by bandurvp over 8 years ago - 1 comment

#10 - Field assignments.

Issue - State: closed - Opened by bandurvp over 8 years ago

#9 - Command-line interface does not find model files recursively.

Issue - State: closed - Opened by bandurvp over 8 years ago - 14 comments

#8 - Many VDM test models missing corresponding CPP test files.

Issue - State: closed - Opened by bandurvp over 8 years ago - 2 comments
Labels: enhancement

#7 - Emit *_const/static_init/shutdown() for all classes

Issue - State: closed - Opened by lausdahl over 8 years ago
Labels: enhancement

#6 - Create new release to support Overture FMU export

Issue - State: closed - Opened by lausdahl over 8 years ago
Labels: enhancement

#5 - Missing support for static field set field

Issue - State: closed - Opened by lausdahl over 8 years ago
Labels: bug

#4 - The plugin includes test classes in the vdmlib copied to the generated/c folder

Issue - State: closed - Opened by lausdahl over 8 years ago - 3 comments
Labels: bug, mergeable

#3 - Let Expressions

Issue - State: closed - Opened by lausdahl almost 9 years ago - 5 comments
Labels: documentation

#2 - Tasks

Issue - State: closed - Opened by lausdahl almost 9 years ago - 2 comments

#1 - Resolving calls

Issue - State: closed - Opened by lausdahl almost 9 years ago - 7 comments