boschresearch/blech

Issues

• Grammar railroad diagram

  #72 opened a month ago by mingodad
  0

• read only global variable

  #69 opened a month ago by MohamedGhardallou
  5

• Implementing state machine in blech

  #70 opened a month ago by MohamedGhardallou
  7

• Blech syntax highlighting in GitHub

  #60 opened a month ago by frameworklabs
  1

• Detect missing import in type checker

  #48 opened a month ago by FriedrichGretz
  2

• Allow explicit singleton declaration of external vars

  #53 opened a month ago by frameworklabs
  0

• struct declaration comments missing in generated files

  #59 opened a month ago by frameworklabs
  1

• One non-instantaneous strong branch in a cobegin should be enough

  #28 opened a month ago by schorg
  1

• [Todo] Complete .h-files for modules

  #42 opened a month ago by schorg
  1

• support for instantaneous loops within activities

  #12 opened a month ago by mterber
  4

• activities with instantaneous control path

  #15 opened a month ago by mterber
  16

• Compilation error with new nat data types

  #26 opened a month ago by mterber
  4

• show required memory as build output

  #6 opened a month ago by mterber
  0

• syntax highlighting for external variables and functions

  #8 opened a month ago by mterber
  0

• support for strings

  #9 opened a month ago by mterber
  2

• Polluted keyword space

  #56 opened 3 years ago by FriedrichGretz
  2

• Syntax error in generated trace file

  #66 opened 3 years ago by schorg
  0

• Incorrect handling of compound literals in function translator

  #64 opened 3 years ago by schorg
  0

• Require at least one field in structs

  #54 opened 3 years ago by FriedrichGretz
  0

• Resolve potential name clash with _init

  #51 opened 3 years ago by FriedrichGretz
  1

• (Build) does not support .dotnet 5.0.5

  #55 opened 3 years ago by SebastianSchildt
  1

• Handle abstract types in type checking

  #46 opened 3 years ago by schorg
  2

• Change the order of header files in generated code

  #50 opened 3 years ago by schorg
  1

• modular system for source code

  #10 opened 3 years ago by mterber
  1

• Change default branch to "develop"

  #35 opened 3 years ago by schorg
  1

• Exposing a constants requires to expose all constants in subexpression

  #63 opened 3 years ago by FriedrichGretz
  1

• Escaping quotes in bindings does not work as expected

  #62 opened 3 years ago by FriedrichGretz
  1

• Allow doc comments for modules

  #61 opened 3 years ago by FriedrichGretz
  4

• Multiline bindings are not correctly generated in signatures

  #58 opened 3 years ago by schorg
  1

• generated h file always contains print prototype

  #57 opened 4 years ago by FriedrichGretz
  1

• Allow assignment to a struct with let qualified fields as a whole

  #25 opened 4 years ago by schorg
  2

• Remove extern information from signature

  #52 opened 4 years ago by schorg
  1

• Generated names for C functions are sometimes program names

  #49 opened 4 years ago by schorg
  0

• Strange error message in type checking when calling an opaque singleton

  #47 opened 4 years ago by schorg
  1

• Deprecate @[CFunction(source="<file>.c")]

  #34 opened 4 years ago by schorg
  0

• Singleton function should not be callable in static initialiser

  #44 opened 4 years ago by schorg
  3

• Singleton function should not be callable in condition

  #43 opened 4 years ago by schorg
  0

• Code generation should handle activity prototypes

  #45 opened 4 years ago by schorg
  0

• ToDo

  #41 opened 4 years ago by schorg
  1

• Unexpected end of file after ///-comment

  #37 opened 4 years ago by 0-T-K
  1

• usage of arrays can result in large generated c files

  #16 opened 4 years ago by frameworklabs
  9

• Allow variable declaration in run result

  #24 opened 4 years ago by schorg
  5

• Examples missing

  #2 opened 4 years ago by frameworklabs
  7

• make example app generation optional

  #18 opened 5 years ago by mterber
  5

• support for down casts

  #11 opened 5 years ago by mterber
  5

• Where can I find documentation on the language?

  #1 opened 5 years ago by frameworklabs
  3

• Syntax error for "next" as identifier

  #14 opened 5 years ago by mterber
  2

• support for hex literals

  #7 opened 5 years ago by mterber
  2

• error in compiled C code

  #4 opened 5 years ago by mterber
  3

• Code generation tests are missing

  #3 opened 5 years ago by schorg
  1