OpenVADL openvadl Discussions
Pinned Discussions
Discussions
-
You must be logged in to vote Proposal: Sliced Alias Registers
enhancementNew feature or request languageLanguage changes -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote parser: Support for transformations
enhancementNew feature or request lcbThis is LCB related -
You must be logged in to vote -
You must be logged in to vote Specification of undefined vs implementation defined behavior
enhancementNew feature or request languageLanguage changes -
You must be logged in to vote -
You must be logged in to vote Name of Encoding Constraint Annotation
languageLanguage changes -
You must be logged in to vote How to specify instruction variants with expressions with null elements
questionFurther information is requested -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote Specification and Checking of don't care bits in Instruction Encodings
enhancementNew feature or request frontendThis is frontend related languageLanguage changes -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote Removing parentheses in models without arguments
enhancementNew feature or request frontendThis is frontend related languageLanguage changes -
You must be logged in to vote Discussion about new syntax for logic elements
languageLanguage changes -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote [Closed] lcb: PIC support for LCB
enhancementNew feature or request lcbThis is LCB related languageLanguage changes -
You must be logged in to vote Drop the keyword
frontendfilein multidimensional register definitionsThis is frontend related languageLanguage changes -
You must be logged in to vote Relation of the Different Sections and Definition of a new Relation
frontendThis is frontend related languageLanguage changes -
You must be logged in to vote Behavior of shift built-ins with large shift operand
languageLanguage changes
