Ecosyste.ms: Issues

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

GitHub / casm-lang/libcasm-fe issues and pull requests

#212 - Choose Rule with Condition

Pull Request - State: closed - Opened by ppaulweber over 1 year ago - 1 comment

#211 - Choose Expression with Condition

Pull Request - State: closed - Opened by ppaulweber over 1 year ago - 1 comment

#210 - Match Expression

Pull Request - State: closed - Opened by ppaulweber over 1 year ago - 1 comment

#209 - Symbolic Execution

Pull Request - State: closed - Opened by ppaulweber about 3 years ago

#208 - Bugfix: Unitinalized Memory read in Symbolic Consistency Pass

Pull Request - State: closed - Opened by moosbruggerj about 3 years ago

#207 - CI: changed Windows-based build workflow

Pull Request - State: closed - Opened by ppaulweber over 3 years ago - 1 comment

#206 - Symbolic Consistency and Execution

Pull Request - State: closed - Opened by ppaulweber over 3 years ago - 1 comment

#205 - Feature/35 traits

Pull Request - State: closed - Opened by ppaulweber over 4 years ago - 1 comment

#204 - Better update conflict errors

Pull Request - State: closed - Opened by emmanuel099 over 4 years ago

#203 - Bugfix/filepaths windows

Pull Request - State: closed - Opened by ppaulweber over 4 years ago - 1 comment
Labels: bug

#202 - SymbolResolverPass: Fix incorrect local function registration for local rule

Pull Request - State: closed - Opened by emmanuel099 over 4 years ago - 1 comment
Labels: bug

#201 - ExecutionVisitor: Use scoped overwrite for evaluate update location

Pull Request - State: closed - Opened by emmanuel099 over 4 years ago - 1 comment

#200 - GrammarParser: Require Bison 3.2

Pull Request - State: closed - Opened by emmanuel099 over 4 years ago - 1 comment

#199 - Function Definition: Drop update-rule hack in initially

Pull Request - State: closed - Opened by emmanuel099 over 4 years ago - 1 comment

#198 - GrammarParser: Replace initially token with equal in FunctionDefinition

Pull Request - State: closed - Opened by emmanuel099 over 4 years ago - 1 comment

#197 - Cleanups and Preparations for #196

Pull Request - State: closed - Opened by emmanuel099 over 4 years ago

#196 - Add LocalRule to define location functions

Pull Request - State: closed - Opened by emmanuel099 over 4 years ago - 1 comment

#195 - Feature/105 using path

Pull Request - State: closed - Opened by ppaulweber over 4 years ago - 3 comments

#194 - Feature/13 preparation

Pull Request - State: closed - Opened by ppaulweber over 4 years ago

#193 - UTF8 support for identifiers, string literals, and comments

Pull Request - State: closed - Opened by ppaulweber almost 5 years ago

#192 - Bugfix/specification name

Pull Request - State: closed - Opened by ppaulweber almost 5 years ago - 3 comments

#191 - TypeInferencePass: abort inference if it already has errors

Pull Request - State: closed - Opened by ppaulweber almost 5 years ago

#190 - NumericExecutionPass: Use correct function type for validation in UpdateRule

Pull Request - State: closed - Opened by emmanuel099 almost 5 years ago - 1 comment
Labels: bug

#189 - Feature/14 import

Pull Request - State: closed - Opened by ppaulweber almost 5 years ago - 1 comment

#188 - Introduce Update-Set epochs and make use of it in Iterate and While rule evaluation

Pull Request - State: closed - Opened by emmanuel099 almost 5 years ago - 1 comment

#187 - Bug/afl crashes

Pull Request - State: closed - Opened by ppaulweber about 5 years ago - 1 comment

#186 - Optional Init Definition

Pull Request - State: closed - Opened by ppaulweber about 5 years ago - 7 comments

#185 - Cleanup Init Definition

Pull Request - State: closed - Opened by ppaulweber about 5 years ago - 1 comment

#184 - Lossless AST Representation

Pull Request - State: closed - Opened by moiova over 5 years ago - 1 comment

#183 - Platform independent compilation

Pull Request - State: closed - Opened by ppaulweber over 5 years ago

#182 - Add an Import Definition Ast-Node and Import Grammar Rules

Pull Request - State: closed - Opened by emmanuel099 almost 6 years ago - 1 comment

#181 - Add an Invariant Definition

Pull Request - State: closed - Opened by emmanuel099 almost 6 years ago

#180 - Complete AST representation with improved lexer/grammar implementation

Pull Request - State: closed - Opened by ppaulweber almost 6 years ago - 1 comment

#179 - NumericExecutionPass: fixed incorrect lookup behavior

Pull Request - State: closed - Opened by ppaulweber almost 6 years ago

#178 - Get rid of FunctionDefinition::UID and reuse function evaluation code

Pull Request - State: closed - Opened by emmanuel099 almost 6 years ago - 3 comments

#177 - Feature/cardinality expression

Pull Request - State: closed - Opened by ppaulweber about 6 years ago - 1 comment

#176 - [PropertyResolverPass] Always mark a choose expression as in-pure

Pull Request - State: closed - Opened by emmanuel099 about 6 years ago
Labels: bug

#174 - NumericExecutionPass: Make it possible to execute ASMs asynchronously

Pull Request - State: closed - Opened by emmanuel099 about 6 years ago

#173 - TypeInferencePass: Drop the inference of value literals

Pull Request - State: closed - Opened by emmanuel099 about 6 years ago

#172 - Bug/70 type inference of record literal

Pull Request - State: closed - Opened by ppaulweber about 6 years ago - 1 comment

#171 - TypeInferencePass: Don't infer arguments in inference(), only annotate them

Pull Request - State: closed - Opened by emmanuel099 about 6 years ago
Labels: bug

#170 - Some additional type inference cleanups

Pull Request - State: closed - Opened by emmanuel099 about 6 years ago

#169 - Type inference of list literal elements

Pull Request - State: closed - Opened by emmanuel099 about 6 years ago
Labels: bug

#168 - Feature/binary type handling

Pull Request - State: closed - Opened by ppaulweber about 6 years ago

#167 - TypeInferencePass: Propagate type annotation of tuple literal to all tuple elements

Pull Request - State: closed - Opened by emmanuel099 about 6 years ago
Labels: bug

#166 - Feature/type inference further cleanups

Pull Request - State: closed - Opened by emmanuel099 about 6 years ago

#165 - Bug/fix afl crashes

Pull Request - State: closed - Opened by emmanuel099 about 6 years ago

#164 - ConsistencyCheckPass: Remove the type enforcement from RelationType

Pull Request - State: closed - Opened by emmanuel099 about 6 years ago
Labels: bug

#162 - Type inference cleanups

Pull Request - State: closed - Opened by emmanuel099 about 6 years ago

#160 - SymbolRegistrationPass: Fix a compiler error caused by a wrong "const"

Pull Request - State: closed - Opened by emmanuel099 about 6 years ago
Labels: bug

#159 - Use generic error code in symbol registration

Pull Request - State: closed - Opened by emmanuel099 about 6 years ago

#158 - NumericExecutionPass: Add virtual dtor to DispatchStrategy

Pull Request - State: closed - Opened by emmanuel099 about 6 years ago

#157 - GrammarParser: Drop the wrapInRule hack

Pull Request - State: closed - Opened by emmanuel099 about 6 years ago

#156 - ConsistencyCheck: Verify that all expressions have a type

Pull Request - State: closed - Opened by emmanuel099 about 6 years ago

#154 - Multiple variables in a single let rule/expression

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#153 - Fix some crashes detected by AFL

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago
Labels: bug

#151 - Add a while-loop rule

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#150 - [PropertyResolverPass] Don't mark `self` as pure

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago
Labels: bug

#149 - GrammarParserHelperTest: fixed include to make test runnable again

Pull Request - State: closed - Opened by ppaulweber over 6 years ago - 1 comment

#148 - Bug/60 abort builtin results in crash

Pull Request - State: closed - Opened by ppaulweber over 6 years ago - 2 comments

#147 - [GrammarLexer] Handle unknown escape sequences in strings

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#146 - [GrammarParser, GrammarLexer] Fix incorrect parsing of relative paths

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago - 1 comment
Labels: bug

#145 - [SymbolResolverPass] Make it possible to use using definitions with IR type in calls

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago
Labels: bug

#144 - [GrammarParser] Don't set the target type of call expressions

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#143 - [TypeInferencePass] Drop forall rule universe is integer check

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#142 - [ConsistencyCheckPass] Drop side-effect free checks

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#141 - Feature/constant handler

Pull Request - State: closed - Opened by ppaulweber over 6 years ago

#140 - Check rule properties

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#139 - [GrammarParser] Make unary plus/minus a simple term

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#138 - [TypeInferencePass] Fix wrong type inference of call types

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago
Labels: bug

#137 - [GrammarParser] Drop the old indirect call syntax

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#136 - Cleanups in type inference

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#134 - [SymbolResolverPass] Fix incorrect symbol resolving for direct calls

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago
Labels: bug

#133 - [SymbolResolverPass] Properly check for wrong number of arguments in direct calls

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago
Labels: bug

#132 - [Namespace] Cleanups

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#131 - [Namespace] Don't use exceptions in find

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#130 - TypeInferencePass: fix inference for type domains with definitions

Pull Request - State: closed - Opened by ppaulweber over 6 years ago

#129 - Feature/type domain

Pull Request - State: closed - Opened by ppaulweber over 6 years ago

#128 - Feature/function initializer

Pull Request - State: closed - Opened by ppaulweber over 6 years ago

#126 - [GrammarParser] Drop the call keyword from the "call rule"

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#125 - Feature/57 cleanup of type and symbols

Pull Request - State: closed - Opened by ppaulweber over 6 years ago - 2 comments

#124 - [GrammarParser] Use SimpleOrClaspedTerm instead of Term for TypeCastingExpression

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago - 1 comment
Labels: bug

#123 - [GrammarParser] Remove comma from Attributes list

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#122 - Feature/properties

Pull Request - State: closed - Opened by ppaulweber over 6 years ago - 4 comments

#121 - TypeInferencePass: fixed argument type checks in DirectCallExpression

Pull Request - State: closed - Opened by ppaulweber over 6 years ago
Labels: bug

#120 - [UpdateSet] Rename member variable of UpdateSet::Transaction

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago

#119 - Feature/51 tuple syntax

Pull Request - State: closed - Opened by ppaulweber over 6 years ago

#118 - Feature/pass

Pull Request - State: closed - Opened by ppaulweber over 6 years ago

#117 - Feature/53 stabilize

Pull Request - State: closed - Opened by ppaulweber over 6 years ago

#116 - Feature/16 using definition

Pull Request - State: closed - Opened by emmanuel099 over 6 years ago - 1 comment

#115 - Feature/various type fixes

Pull Request - State: closed - Opened by ppaulweber over 6 years ago

#114 - Feature/experimental types

Pull Request - State: closed - Opened by ppaulweber over 6 years ago

#113 - Feature/type casting expression clean up

Pull Request - State: closed - Opened by ppaulweber over 6 years ago