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

GitHub / casm-lang/casm issues and pull requests