Ecosyste.ms: Issues

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

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

#31 - AtBuiltin and CleanUp

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

#30 - Symbolic Execution

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

#29 - Symbolic Constant, Instruction, and Environment

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

#28 - Feature/35 traits

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

#27 - Feature/13 preparation

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

#26 - Platform independent compilation

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

#25 - Feature/at builtin

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

#24 - Builtin: added 'size' definition

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

#23 - Bug/70 type inference of record literal

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

#22 - Feature/binary type handling

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

#21 - Feature/constant handler

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

#19 - Feature/properties

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

#18 - Feature/pass

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

#17 - Feature/54 bit to binary

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

#16 - Feature/48 as operator

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

#15 - Annotation: Don't pass relation type as shared_ptr in valid()

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

#14 - ReferenceType: Return type as relation type when dereferencing

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

#13 - Feature/47 builtin cleanup

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

#12 - Floating to Decimal

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

#11 - Feature/43 type system

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

#10 - Fix build with clang 5.0

Pull Request - State: closed - Opened by emmanuel099 almost 7 years ago
Labels: bug

#9 - Range extensions

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

#8 - Implement the compare operator properly

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

#7 - new IR API etc.

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

#6 - paulweber/master

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

#5 - IR with new 'Ptr' Implemenation

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

#3 - Adjustments for #casm-lang/libcasm-fe/57

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

#2 - AstToCasmIRPass

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