Search results

language: Define Semantics of ProcessDefinition

Status: Open.

#883 In OpenVADL/openvadl;

· flofriday opened on Apr 17, 2026

frontend: operation, support for set intersection, set difference and default sets

enhancementNew feature or requestNew feature or request

frontendThis is frontend relatedThis is frontend related

languageLanguage changesLanguage changes

Status: Open.

Feature

#882 In OpenVADL/openvadl;

· AndreasKrall opened on Apr 16, 2026

iss: Fix AArch64 SVE >512 bit

issThis is ISS relatedThis is ISS related

Status: Open.

#874 In OpenVADL/openvadl;

· Jozott00 opened on Apr 9, 2026

iss: Optimize TB chaining and exiting

enhancementNew feature or requestNew feature or request

issThis is ISS relatedThis is ISS related

optimizationThis is an optimization of an existing featureThis is an optimization of an existing feature

Status: Open.

#865 In OpenVADL/openvadl;

· BadGraphixD opened on Apr 1, 2026

Improve pretty printing

frontendThis is frontend relatedThis is frontend related

Status: Open.

#844 In OpenVADL/openvadl;

· flofriday opened on Mar 23, 2026

lsp: Show types of expressions on hover

Status: Open.

#841 In OpenVADL/openvadl;

· flofriday opened on Mar 23, 2026

docs: Build failure when setting the user in docker run

Status: Open.

#840 In OpenVADL/openvadl;

· Giftzwerg02 opened on Mar 23, 2026

frontend: Issue with type checker in alias register

bugSomething isn't workingSomething isn't working

frontendThis is frontend relatedThis is frontend related

Status: Open.

#830 In OpenVADL/openvadl;

· BadGraphixD opened on Mar 21, 2026

lsp: Add unit tests

lspLanguage Server Protocol relatedLanguage Server Protocol related

Status: Open.

#821 In OpenVADL/openvadl;

· jaraonthe-dot-net opened on Mar 16, 2026

frontend: Infinite Recursion error where only a finite recursion exists

enhancementNew feature or requestNew feature or request

frontendThis is frontend relatedThis is frontend related

Status: Open.

#811 In OpenVADL/openvadl;

· AndreasKrall opened on Mar 12, 2026

rtl: Extend documentation with RTL user guide

Status: Open.

#791 In OpenVADL/openvadl;

· rascmatt opened on Mar 7, 2026

parser: add more places for identifier macro substitution

enhancementNew feature or requestNew feature or request

frontendThis is frontend relatedThis is frontend related

skip-changelogThis PR will not show up in the release changelogThis PR will not show up in the release changelog

Status: Open.

#789 In OpenVADL/openvadl;

· AndreasKrall opened on Mar 6, 2026