Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / casm-lang/casm issues and pull requests
#115 - TBA
Issue -
State: open - Opened by ppaulweber 7 months ago
#114 - Update the LSP Implementation and Improve the LSP Server Functionality
Issue -
State: open - Opened by ppaulweber about 3 years ago
Labels: libcasm-fe, feature, gui, libstdhl, casmd
#113 - Trait-Based Construct
Pull Request -
State: closed - Opened by ppaulweber over 3 years ago
#111 - Release/0.6.0
Pull Request -
State: closed - Opened by ppaulweber over 3 years ago
#109 - Symbolic Execution
Pull Request -
State: closed - Opened by ppaulweber over 3 years ago
Labels: libcasm-fe, libcasm-ir, casmi
#108 - Release/0.5.0
Pull Request -
State: closed - Opened by ppaulweber over 4 years ago
#107 - Add `local` rule support
Issue -
State: closed - Opened by ppaulweber over 4 years ago
- 1 comment
Labels: libcasm-fe, libcasm-tc, casm, feature
#106 - Feature/105 using path
Pull Request -
State: closed - Opened by ppaulweber almost 5 years ago
- 1 comment
#105 - Using syntax shall support visibility lifting of namespace symbols into current one
Issue -
State: closed - Opened by ppaulweber almost 5 years ago
Labels: libcasm-fe, libcasm-tc
#104 - Feature/13 preparation
Pull Request -
State: closed - Opened by ppaulweber almost 5 years ago
#103 - Release 0.4.0
Pull Request -
State: closed - Opened by ppaulweber about 5 years ago
#102 - Full UTF-8 Unicode Block Range Support and Unit Test Structure
Issue -
State: open - Opened by ppaulweber about 5 years ago
Labels: feature, good first issue, libstdhl
#101 - UTF8 character support
Pull Request -
State: closed - Opened by ppaulweber about 5 years ago
Labels: libcasm-fe, libcasm-tc, feature, grammar, libstdhl
#100 - Add UTF-8 character support for language
Issue -
State: closed - Opened by ppaulweber about 5 years ago
Labels: libcasm-fe, libcasm-tc, feature
#99 - Import functionality
Pull Request -
State: closed - Opened by ppaulweber about 5 years ago
Labels: libcasm-fe, libcasm-tc, documentation, feature
#98 - Libraries: updated dependencies
Pull Request -
State: closed - Opened by ppaulweber about 5 years ago
#97 - Libraries: updated dependencies
Pull Request -
State: closed - Opened by ppaulweber over 5 years ago
#96 - Invalid handling of undefined identifiers in direct call expressions
Issue -
State: closed - Opened by ppaulweber over 5 years ago
Labels: bug, libcasm-fe, libcasm-tc
#95 - Invaild handling of multiple `init` definitions
Issue -
State: closed - Opened by ppaulweber over 5 years ago
Labels: bug, libcasm-fe, libcasm-tc
#94 - Incorrect error message for invalid enumerator with enumeration namespace
Issue -
State: open - Opened by ppaulweber over 5 years ago
- 1 comment
Labels: bug, libcasm-fe, libcasm-tc
#93 - Segmentation Fault during Unit Test of NumericExecutionPass
Issue -
State: open - Opened by ppaulweber over 5 years ago
Labels: bug, libcasm-fe
#92 - Optional Init Definition
Pull Request -
State: closed - Opened by ppaulweber over 5 years ago
Labels: libcasm-fe, feature
#91 - Cleanup Init Definition
Pull Request -
State: closed - Opened by ppaulweber over 5 years ago
#90 - Feature/14 import next
Pull Request -
State: closed - Opened by ppaulweber over 5 years ago
#89 - Release 0.3.0
Pull Request -
State: closed - Opened by ppaulweber over 5 years ago
#88 - Feature/83 lsp improvement
Pull Request -
State: closed - Opened by ppaulweber over 5 years ago
- 1 comment
#87 - Feature/81 basic model and parsing support
Pull Request -
State: closed - Opened by ppaulweber over 5 years ago
#86 - Lossless AST Representation
Pull Request -
State: closed - Opened by ppaulweber over 5 years ago
#85 - Release/0.2.0
Pull Request -
State: closed - Opened by ppaulweber almost 6 years ago
#84 - Incorrect message/packet handling in `stdio` mode of `casmd`
Issue -
State: closed - Opened by ppaulweber almost 6 years ago
Labels: bug, libstdhl, casmd
#83 - Improving the implementation of LSP
Issue -
State: closed - Opened by ppaulweber almost 6 years ago
Labels: feature, libstdhl, casmd
#82 - Platform independent compilation
Pull Request -
State: closed - Opened by ppaulweber almost 6 years ago
#81 - basic model and parsing support for `tptp`
Issue -
State: closed - Opened by ppaulweber almost 6 years ago
- 1 comment
Labels: libtptp
#80 - Add `invariant` support to language
Issue -
State: closed - Opened by ppaulweber about 6 years ago
- 1 comment
Labels: libcasm-fe, feature, grammar
#79 - Lazy Initialization of IR Types causes a bug in `Type::fromKind`
Issue -
State: open - Opened by emmanuel099 about 6 years ago
Labels: bug, libcasm-ir
#78 - NumericExecutionPass: incorrect function lookup
Issue -
State: closed - Opened by ppaulweber about 6 years ago
Labels: bug, libcasm-fe
#77 - provide missing information in AST representation
Issue -
State: closed - Opened by ppaulweber about 6 years ago
- 2 comments
Labels: libcasm-fe, feature
#76 - Platform independent compilation support
Issue -
State: closed - Opened by ppaulweber about 6 years ago
Labels: feature
#75 - Repository: created issue templates
Pull Request -
State: closed - Opened by ppaulweber about 6 years ago
Labels: organizational
#74 - redo and clean-up of AST creation
Issue -
State: closed - Opened by ppaulweber over 6 years ago
- 2 comments
Labels: libcasm-fe, feature, grammar
#73 - drop relative path from identifiers and resolve directly the identifier for relative types etc.
Issue -
State: closed - Opened by ppaulweber over 6 years ago
Labels: libcasm-fe, grammar
#72 - building FE with gcc 7.3.1 run-time and clang 6.0.0 produces missing virtual dtor warning
Issue -
State: closed - Opened by ppaulweber over 6 years ago
Labels: libcasm-fe
#71 - Assigning a tuple expression to a record type should be possible
Issue -
State: open - Opened by emmanuel099 over 6 years ago
- 1 comment
Labels: bug, libcasm-fe
#70 - Crash when passing on a record expression where a tuple is expected
Issue -
State: closed - Opened by emmanuel099 over 6 years ago
- 1 comment
Labels: bug, libcasm-fe
#69 - Relative paths in list expression does not work
Issue -
State: closed - Opened by emmanuel099 over 6 years ago
Labels: bug, libcasm-fe
#68 - Relative paths in tuple expression does not work
Issue -
State: closed - Opened by emmanuel099 over 6 years ago
- 1 comment
Labels: bug, libcasm-fe
#67 - Add missing tests for #61
Issue -
State: closed - Opened by emmanuel099 over 6 years ago
- 1 comment
Labels: libcasm-tc, notice
#66 - Make it possible to define multiple universes in a single quantifier expression
Issue -
State: open - Opened by emmanuel099 over 6 years ago
- 1 comment
Labels: libcasm-fe, libcasm-tc, feature, grammar
#65 - Make it possible to define multiple universes in a single choose rule/expression
Issue -
State: open - Opened by emmanuel099 over 6 years ago
Labels: libcasm-fe, libcasm-tc, feature, grammar
#64 - Make it possible to define multiple universes in a single forall rule
Issue -
State: open - Opened by emmanuel099 over 6 years ago
Labels: libcasm-fe, libcasm-tc, feature, grammar
#63 - Add with-condition to choose rule/expression
Issue -
State: open - Opened by emmanuel099 over 6 years ago
Labels: libcasm-fe, libcasm-ir, libcasm-tc, feature, grammar
#62 - Make it possible to define multiple variables in a single let rule/expression
Issue -
State: closed - Opened by emmanuel099 over 6 years ago
Labels: libcasm-fe, libcasm-tc, feature, grammar
#61 - Type inference has problems when mixing Integers with Ranged Integers
Issue -
State: closed - Opened by emmanuel099 over 6 years ago
- 2 comments
Labels: bug, libcasm-fe
#60 - Crash when calling the `abort` builtin
Issue -
State: closed - Opened by emmanuel099 over 6 years ago
- 1 comment
Labels: bug, libcasm-fe
#59 - CallRule: Parsing error when using call without arguments and relative path in combination
Issue -
State: closed - Opened by emmanuel099 over 6 years ago
- 1 comment
Labels: bug, libcasm-fe, grammar
#58 - broken indirect call syntax
Issue -
State: open - Opened by ppaulweber over 6 years ago
- 5 comments
Labels: libcasm-fe, feature, grammar
#57 - using implementation does not check for pre-defined types
Issue -
State: closed - Opened by ppaulweber over 6 years ago
- 3 comments
Labels: bug, libcasm-fe, libcasm-tc
#56 - Clean-up leftovers of PR 100
Issue -
State: closed - Opened by emmanuel099 almost 7 years ago
- 1 comment
Labels: libcasm-fe, notice
#55 - Clean-up of Error Codes
Issue -
State: open - Opened by ppaulweber almost 7 years ago
Labels: libcasm-fe, libcasm-tc, good first issue
#54 - Rename type `Bit` to `Binary`
Issue -
State: closed - Opened by ppaulweber almost 7 years ago
- 2 comments
Labels: libcasm-fe, libcasm-ir, libcasm-rt, libcasm-tc, grammar
#53 - stabilize the TC unit tests
Issue -
State: closed - Opened by ppaulweber almost 7 years ago
Labels: libcasm-tc
#52 - finalize guidelines for code formatting and documentation
Issue -
State: open - Opened by ppaulweber almost 7 years ago
Labels: casm, documentation
#51 - improve tuple type syntax
Issue -
State: closed - Opened by ppaulweber almost 7 years ago
- 1 comment
Labels: libcasm-fe, libcasm-ir, feature, grammar
#50 - add where expression syntax
Issue -
State: open - Opened by ppaulweber almost 7 years ago
Labels: libcasm-fe, libcasm-tc, feature, grammar
#49 - add method call grammar
Issue -
State: closed - Opened by ppaulweber almost 7 years ago
Labels: libcasm-fe, feature, grammar
#48 - add "as" operator for explicit casting instead of direct IR built-in calls
Issue -
State: closed - Opened by ppaulweber almost 7 years ago
- 1 comment
Labels: libcasm-fe, libcasm-ir, libcasm-tc, feature, grammar
#47 - Remove number of arguments from `Builtin::available`
Issue -
State: closed - Opened by emmanuel099 almost 7 years ago
- 3 comments
Labels: libcasm-ir, api
#46 - fix header specification definition
Issue -
State: closed - Opened by ppaulweber almost 7 years ago
Labels: libcasm-fe, feature, grammar
#45 - Cleanup libcasm_ir::Annotation
Issue -
State: closed - Opened by emmanuel099 almost 7 years ago
- 1 comment
Labels: libcasm-ir, documentation, api
#44 - Type renaming of 'Floating' to 'Decimal'
Issue -
State: closed - Opened by ppaulweber almost 7 years ago
Labels: libcasm-fe, libcasm-ir, libcasm-tc, documentation, feature
#43 - Improve IR type system
Issue -
State: open - Opened by ppaulweber almost 7 years ago
- 1 comment
Labels: libcasm-fe, libcasm-ir, libcasm-rt, feature
#42 - Assertion error during execution because of missing return value
Issue -
State: closed - Opened by emmanuel099 almost 7 years ago
- 1 comment
Labels: bug, libcasm-fe
#41 - Provide a 'case' expression
Issue -
State: closed - Opened by emmanuel099 almost 7 years ago
- 3 comments
Labels: libcasm-fe, libcasm-tc, feature, grammar
#40 - make init definition optional
Issue -
State: closed - Opened by ppaulweber about 7 years ago
- 2 comments
Labels: libcasm-fe, libcasm-tc, feature, grammar
#39 - disallow overloading in general
Issue -
State: closed - Opened by ppaulweber about 7 years ago
- 1 comment
Labels: libcasm-fe, libcasm-tc, grammar
#38 - casm module/library version handling
Issue -
State: open - Opened by ppaulweber about 7 years ago
Labels: casm, feature
#37 - extend import syntax
Issue -
State: closed - Opened by ppaulweber about 7 years ago
- 1 comment
Labels: libcasm-fe, libcasm-tc, casm, feature, grammar
#36 - rename `enum` to `enumeration`
Issue -
State: closed - Opened by ppaulweber about 7 years ago
Labels: libcasm-fe, libcasm-tc, casm, grammar, good first issue
#35 - struct/module/class concept
Issue -
State: closed - Opened by ppaulweber about 7 years ago
- 1 comment
Labels: libcasm-fe, libcasm-ir, libcasm-tc, feature, grammar
#34 - provide `comment` nodes in the AST representation
Issue -
State: closed - Opened by ppaulweber over 7 years ago
- 5 comments
Labels: libcasm-fe, feature, grammar
#33 - provide a error recovery in the parser
Issue -
State: closed - Opened by ppaulweber over 7 years ago
- 1 comment
Labels: libcasm-fe, casm, feature, grammar
#32 - new numeric execution pass
Issue -
State: closed - Opened by ppaulweber over 7 years ago
Labels: libcasm-fe, casm, feature
#31 - add `Port` type abstraction
Issue -
State: open - Opened by ppaulweber over 7 years ago
Labels: libcasm-fe, libcasm-ir, libcasm-tc, casm, feature
#30 - add `File` type abstraction
Issue -
State: open - Opened by ppaulweber over 7 years ago
Labels: libcasm-fe, libcasm-ir, libcasm-tc, casm, feature
#29 - Provide a 'choose' rule
Issue -
State: closed - Opened by emmanuel099 over 7 years ago
- 2 comments
Labels: libcasm-fe, libcasm-tc, casm, feature, grammar
#22 - new AST symbol resolver pass
Issue -
State: closed - Opened by ppaulweber over 7 years ago
- 2 comments
Labels: libcasm-fe, casm
#21 - new AST to IR transformation
Issue -
State: closed - Opened by ppaulweber over 7 years ago
- 1 comment
Labels: libcasm-fe, libcasm-ir, casm
#20 - new AST type inference pass
Issue -
State: closed - Opened by ppaulweber over 7 years ago
- 3 comments
Labels: libcasm-fe, casm, feature
#19 - new AST in-memory represenation
Issue -
State: closed - Opened by ppaulweber over 7 years ago
- 4 comments
Labels: libcasm-fe, casm, feature, grammar
#18 - add `AST to CASM` source pass
Issue -
State: closed - Opened by ppaulweber over 7 years ago
- 3 comments
Labels: libcasm-fe, casm, feature, grammar
#17 - add a template mechanism syntax for specification itself, depends on #14
Issue -
State: closed - Opened by ppaulweber over 7 years ago
- 3 comments
Labels: libcasm-fe, libcasm-tc, feature, grammar
#16 - add type alias/renaming syntax and type resolver pass
Issue -
State: open - Opened by ppaulweber over 7 years ago
- 7 comments
Labels: libcasm-fe, libcasm-tc, feature, grammar
#15 - bit type syntax and support
Issue -
State: closed - Opened by ppaulweber over 7 years ago
- 1 comment
Labels: libcasm-fe, libcasm-ir, libcasm-tc, casm, feature, semantics, grammar
#14 - add module import and definition syntax
Issue -
State: closed - Opened by ppaulweber over 7 years ago
- 4 comments
Labels: libcasm-fe, libcasm-tc, feature, grammar
#13 - New Symbolic Execution Pass based on TPTP
Issue -
State: closed - Opened by ppaulweber over 7 years ago
- 1 comment
Labels: libcasm-fe, libcasm-ir, casm, libtptp
#12 - add attribute definition abstraction
Issue -
State: closed - Opened by ppaulweber over 7 years ago
- 7 comments
Labels: libcasm-fe, casm
#11 - add attribute specifier list syntax
Issue -
State: closed - Opened by ppaulweber over 7 years ago
- 1 comment
Labels: libcasm-fe, libcasm-tc, casm, grammar
#10 - Provide a `validate` instruction
Issue -
State: open - Opened by ppaulweber over 7 years ago
- 2 comments
Labels: libcasm-ir, feature
#8 - Provide a `power` operator
Issue -
State: closed - Opened by emmanuel099 over 7 years ago
- 5 comments
Labels: libcasm-ir, libcasm-tc, feature
#6 - provide a arithmetic 'invert' builtin
Issue -
State: closed - Opened by emmanuel099 over 7 years ago
- 3 comments
Labels: libcasm-ir, libcasm-tc, feature