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

#129 - Bump junit from 4.11 to 4.13.1 in /core

Pull Request - State: open - Opened by dependabot[bot] about 4 years ago
Labels: dependencies

#128 - Bump junit from 4.11 to 4.13.1 in /core/vdm2c

Pull Request - State: open - Opened by dependabot[bot] about 4 years ago
Labels: dependencies

#127 - Update to Overture 3.0.0

Issue - State: open - Opened by CThuleHansen about 4 years ago - 11 comments
Labels: bug, enhancement

#126 - Add generator support for `vdmSetEnumerateSetOfIntsGC`

Issue - State: closed - Opened by bandurvp almost 7 years ago
Labels: bug

#125 - Add `newSeqVarToGrowGC` to runtime and also emit instead of `newSeqVarToGrow`

Issue - State: closed - Opened by bandurvp almost 7 years ago - 6 comments
Labels: bug

#124 - Emit GC versions of class constructors

Issue - State: closed - Opened by bandurvp almost 7 years ago - 3 comments
Labels: bug, C Library

#123 - Remove `ref_from` from

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

#122 - Investigate memory leak in field initializers

Issue - State: closed - Opened by bandurvp about 7 years ago - 13 comments
Labels: bug

#121 - Compiler warnings in distribution runtime

Issue - State: open - Opened by bandurvp about 7 years ago - 3 comments
Labels: enhancement, C Library

#120 - Remove duplicate GC function bodies

Issue - State: closed - Opened by bandurvp about 7 years ago
Labels: enhancement, C Library

#119 - Loop index issue in "for all" loops

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

#118 - Assertions in the runtime library for obvious preconditions and proof obligations

Issue - State: closed - Opened by bandurvp about 7 years ago - 2 comments
Labels: enhancement, C Library

#117 - Suppress constructor for system classes

Issue - State: closed - Opened by bandurvp about 7 years ago - 3 comments
Labels: enhancement

#116 - Rename MATH class

Issue - State: open - Opened by bandurvp about 7 years ago - 1 comment
Labels: enhancement

#115 - Ignore ports in hardware interface that are irrelevant to each CPU

Issue - State: closed - Opened by bandurvp about 7 years ago - 2 comments
Labels: enhancement

#114 - Possible GC memory leak when reclaiming instances of classes

Issue - State: closed - Opened by bandurvp about 7 years ago - 1 comment
Labels: bug, C Library

#113 - Update VDM2C to require Overture 2.5.2

Issue - State: closed - Opened by peterwvj about 7 years ago
Labels: enhancement

#112 - Update VDM2C to require Overture 2.5.0

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

#111 - Update VDM2C to use newest version of Overture

Issue - State: closed - Opened by peterwvj about 7 years ago
Labels: enhancement

#110 - Type binds not always detected as unsupported

Issue - State: open - Opened by bandurvp about 7 years ago
Labels: bug

#109 - Investigate generalizing the GC so that it can be called anywhere

Issue - State: open - Opened by bandurvp about 7 years ago
Labels: enhancement

#108 - Align language coverage with Java and VDMTools generators

Issue - State: closed - Opened by bandurvp about 7 years ago - 53 comments
Labels: enhancement

#107 - Add the '++' operator for the VdmMap constructs

Issue - State: closed - Opened by miranha over 7 years ago - 1 comment
Labels: enhancement, C Library

#106 - Sequence grow mechanism needs to be fixed

Issue - State: closed - Opened by peterwvj over 7 years ago - 4 comments
Labels: bug

#105 - Ensure that value semantics for records works

Issue - State: closed - Opened by peterwvj over 7 years ago - 1 comment
Labels: bug

#104 - Investigate whether numField_ field can be removed

Issue - State: closed - Opened by peterwvj over 7 years ago - 2 comments
Labels: enhancement

#103 - Issue with "decrementing for loops"

Issue - State: closed - Opened by peterwvj over 7 years ago
Labels: bug

#102 - Emit default constructor for records to support ASN1 work

Issue - State: closed - Opened by bandurvp over 7 years ago - 3 comments
Labels: enhancement

#101 - Unable to run make after cmake in generated test directories

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

#100 - Ideas for models for the GC paper

Issue - State: closed - Opened by peterwvj over 7 years ago - 7 comments
Labels: documentation

#99 - Names of omitted classes included in #include directives in main.c file

Issue - State: closed - Opened by bandurvp over 7 years ago - 1 comment
Labels: bug

#98 - Header file not getting included

Issue - State: closed - Opened by bandurvp over 7 years ago - 5 comments
Labels: bug

#97 - Nested operation calls not getting extracted

Issue - State: closed - Opened by bandurvp over 7 years ago - 4 comments
Labels: bug

#96 - Multiple let expressions with identical bound variables

Issue - State: closed - Opened by bandurvp over 7 years ago - 1 comment
Labels: bug

#95 - Access to incorrect static field generated

Issue - State: closed - Opened by bandurvp over 7 years ago - 1 comment
Labels: bug

#94 - Field access generated instead of operation call

Issue - State: closed - Opened by bandurvp over 7 years ago - 1 comment
Labels: bug

#93 - Make exported code C89 compliant

Issue - State: closed - Opened by bandurvp over 7 years ago - 3 comments
Labels: enhancement

#92 - Investigate Maven test hanging when compilation of test code fails

Issue - State: closed - Opened by bandurvp over 7 years ago - 3 comments
Labels: bug

#91 - Make exported code C99 compliant

Issue - State: closed - Opened by bandurvp over 7 years ago - 4 comments
Labels: enhancement

#90 - VdmSequence - ASN.1 Sequence

Issue - State: closed - Opened by tfabbri over 7 years ago - 6 comments
Labels: question

#89 - Exercise plan for AlarmPP model

Issue - State: closed - Opened by bandurvp over 7 years ago - 6 comments

#88 - Finalise pretty-printer function

Issue - State: closed - Opened by peterwvj over 7 years ago - 1 comment
Labels: enhancement, C Library

#87 - Alarm example GC support

Issue - State: closed - Opened by bandurvp over 7 years ago - 18 comments
Labels: enhancement, C Library

#86 - Test system issue

Issue - State: closed - Opened by peterwvj over 7 years ago
Labels: bug

#85 - Add GC support for sequences

Issue - State: closed - Opened by bandurvp over 7 years ago - 3 comments
Labels: enhancement, C Library

#84 - Improve filtering of VDM input files

Issue - State: closed - Opened by peterwvj over 7 years ago
Labels: bug

#83 - Field initialisers must receive "this" as an argument

Issue - State: closed - Opened by peterwvj over 7 years ago - 1 comment
Labels: bug

#82 - Support 'forall' and 'exists'

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

#81 - Name mangling is missing for tokens

Issue - State: closed - Opened by peterwvj over 7 years ago
Labels: bug

#80 - Add support for tokens

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

#79 - Better reporting of unsupported constructs

Issue - State: closed - Opened by peterwvj over 7 years ago
Labels: bug, enhancement

#78 - Functions types crash VDM2C

Issue - State: closed - Opened by peterwvj over 7 years ago
Labels: bug

#77 - ID information for record types

Issue - State: closed - Opened by miranha over 7 years ago - 1 comment
Labels: enhancement

#77 - ID information for record types

Issue - State: closed - Opened by miranha over 7 years ago - 1 comment
Labels: enhancement

#76 - Range information for quote types

Issue - State: closed - Opened by miranha over 7 years ago - 4 comments
Labels: enhancement

#75 - Change string comparison in CLASS_CAST to use strcmp.

Issue - State: closed - Opened by bandurvp over 7 years ago - 1 comment
Labels: enhancement

#74 - Use appropriate version of CALL_FUNC with argument expansion.

Issue - State: closed - Opened by bandurvp over 7 years ago - 1 comment
Labels: bug

#73 - Generated code to contain the version number of the generator.

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

#72 - Reduce the size of the runtime library

Issue - State: closed - Opened by peterwvj almost 8 years ago - 5 comments
Labels: enhancement

#71 - Naive identification of default super constructor

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

#70 - CSV library to read file from "resources" directory

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

#69 - Make vdmFree compatible with GC

Issue - State: closed - Opened by peterwvj almost 8 years ago - 1 comment
Labels: enhancement

#68 - Update VDM2C to use garbage collection

Issue - State: closed - Opened by peterwvj almost 8 years ago - 4 comments
Labels: enhancement

#67 - Problem with functions and operations that take multiple arguments

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

#66 - Problem with for loop statements

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

#65 - Add limited support for function instantiations

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

#64 - Simplify Continuous Integration

Issue - State: closed - Opened by peterwvj almost 8 years ago - 1 comment
Labels: enhancement

#63 - Add support for product types

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

#62 - Implement CSV library

Issue - State: closed - Opened by bandurvp almost 8 years ago
Labels: C Library

#61 - Case study models for compilation regression testing

Issue - State: closed - Opened by bandurvp almost 8 years ago - 7 comments
Labels: enhancement

#60 - Start statement prevents file from being emitted

Issue - State: closed - Opened by bandurvp almost 8 years ago - 2 comments
Labels: bug

#59 - Incorrect reference to unused subclass

Issue - State: closed - Opened by bandurvp almost 8 years ago - 4 comments
Labels: bug

#58 - Document release procedure

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

#57 - Emit global system initialization function

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

#56 - Make sure a list of generated source files are available for the Overture FMU export

Issue - State: closed - Opened by lausdahl almost 8 years ago - 1 comment
Labels: enhancement

#55 - Constructors issues for compilation

Issue - State: closed - Opened by miranha almost 8 years ago - 7 comments
Labels: bug

#54 - vdm map update support in transformation

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

#53 - Profile memory usage on ATMega1284P

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

#52 - Wrong behaviour when compiled to ATMega1284P

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

#51 - Missing cast in CLASS_CAST resulted in corrupt this pointer on ATMega1284p

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

#49 - Function calls inside if expression

Issue - State: closed - Opened by miranha about 8 years ago

#48 - Set equality check does not work

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

#47 - Add support for map comprehensions

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

#46 - Not supporting Unary

Issue - State: closed - Opened by miranha about 8 years ago

#45 - Let be such that (let be st)

Issue - State: closed - Opened by miranha about 8 years ago

#44 - Add support for basic map operations

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

#43 - Constructor calling

Issue - State: closed - Opened by miranha about 8 years ago

#42 - Set comprehensions don't work

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

#40 - Sequence comprehensions

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

#39 - Transformations

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

#38 - native lib is not copied/installed when generating code

Issue - State: closed - Opened by nlmave about 8 years ago - 3 comments

#37 - Factor out value and static shutdown functions

Issue - State: closed - Opened by bandurvp about 8 years ago
Labels: enhancement

#36 - Native lib improvements in accordance with test on AVR

Issue - State: closed - Opened by bandurvp about 8 years ago - 1 comment
Labels: enhancement

#35 - Update test ClassValue after issue #34 is resolved.

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

#34 - Initialization functions for values are not being called in class constructor

Issue - State: closed - Opened by bandurvp about 8 years ago - 3 comments
Labels: bug

#33 - Complete support for records

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

#32 - Ensure that google tests are generated and run

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

#31 - Copy native lib from both CLI and IDE

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