Noisy-lang-compiler

Noisy-lang-compiler copied to clipboard

Print a warning message when the compiler detects operations between axes of the same signal. For example, when `acceleration` is a three-axis signal, when performing ``` acceleration[0] + acceleration[1] ```...

KomaGR

Use information from invariants for compile-time transformations

1

Investigate using information about the relationships between signals to perform compile-time code transformations/optimizations. The invariants may specify some specific relationship between signals, bounds for signals , or conditions for when...

KomaGR

Invariant to code translation, location in binary, and runtime

1

Investigate how to translate invariants to runnable code for checking conditions. How to implement the code and where to keep it in the final binary. When and how to perform...

KomaGR

Trace signal types propagation originate defined by typedef (issue #552 ) to determine the minimum type for signal users. The value range and resolution of signals carried by the Newton...

wenyuan95

**Is your feature request related to a problem?** To start the investigation of how the data types of typedef'ed signals affect the generated code in Prosecco, we want to be...

btsouts

**Describe the bug** Enum `NewtonIrBackends` in `src/common/common-data-structures.h` contains a duplicate entry. Entries `kNewtonIrBackendTargetParam` and `kNewtonIrBackendLatex` have the same value. ``` typedef enum { kNewtonIrBackendDot = (1

btsouts

**Is your feature request related to a problem?** We want to automate the generation of a C header file that will include a `typedef` for each signal defined in a...

btsouts

**Describe the bug** Using the scientific notation with a sign in the exponent in the ParameterTuple of a distribution in the UncertaintyStatement of a BaseSignalDefinition causes a syntax error. The...

KomaGR

Add Lithium-Ion Battery dynamic models

1

Based on these works: R. Xiong, H. He, F. Sun, and K. Zhao, “Evaluation on State of Charge Estimation of Batteries With Adaptive Extended Kalman Filter by Experiment Approach,” IEEE...

KomaGR

When trying to associate a sensor to a signal the following error is given: "Variable use before declaration: '(sensorIdentifier)'"

1

**Description of the bug** When adding a block such as the following to a Newton description, it gives the following error: "Variable use before declaration: '(sensorIdentifier)'". ``` mySignal : signal...

lvrgustafsson