boschresearch blech issues

boschresearch / blech

Blech is a language for developing reactive, real-time critical embedded software.

Apache License 2.0

72 stars 5 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Update CONTRIBUTING to use the standard DCO 1.1

#71 choeppler closed 2 years ago
1
Implementing state machine in blech

#70 MohamedGhardallou opened 2 years ago
7
read only global variable

#69 MohamedGhardallou opened 2 years ago
5
New module for generating abstract SCCharts out of Blech code.

#68 dalu2104 closed 2 years ago
0
Develop

#67 FriedrichGretz closed 3 years ago
0
Syntax error in generated trace file

#66 schorg closed 3 years ago
0
Removed tmp variable for returned compound literal

#65 schorg closed 3 years ago
0
Incorrect handling of compound literals in function translator

#64 schorg closed 3 years ago
0
Exposing a constants requires to expose all constants in subexpression

#63 FriedrichGretz closed 3 years ago
1
Escaping quotes in bindings does not work as expected

#62 FriedrichGretz closed 3 years ago
1
Allow doc comments for modules

#61 FriedrichGretz closed 3 years ago
4
Blech syntax highlighting in GitHub

#60 frameworklabs opened 3 years ago
1
struct declaration comments missing in generated files

#59 frameworklabs opened 3 years ago
1
Multiline bindings are not correctly generated in signatures

#58 schorg closed 3 years ago
1
generated h file always contains print prototype

#57 FriedrichGretz closed 3 years ago
1
Polluted keyword space

#56 FriedrichGretz closed 3 years ago
2
(Build) does not support .dotnet 5.0.5

#55 SebastianSchildt closed 3 years ago
1
Require at least one field in structs

#54 FriedrichGretz closed 3 years ago
0
Allow explicit singleton declaration of external vars

#53 frameworklabs opened 3 years ago
0
Remove extern information from signature

#52 schorg closed 3 years ago
1
Resolve potential name clash with _init

#51 FriedrichGretz closed 3 years ago
1
Change the order of header files in generated code

#50 schorg closed 3 years ago
1
Generated names for C functions are sometimes program names

#49 schorg closed 3 years ago
0
Detect missing import in type checker

#48 FriedrichGretz opened 3 years ago
2
Strange error message in type checking when calling an opaque singleton

#47 schorg closed 3 years ago
1
Handle abstract types in type checking

#46 schorg closed 3 years ago
2
Code generation should handle activity prototypes

#45 schorg closed 3 years ago
0
Singleton function should not be callable in static initialiser

#44 schorg closed 3 years ago
3
Singleton function should not be callable in condition

#43 schorg closed 3 years ago
0
[Todo] Complete .h-files for modules

#42 schorg opened 3 years ago
1
ToDo

#41 schorg closed 3 years ago
1
Unexpected end of file after ///-comment

#37 0-T-K closed 3 years ago
1
Change default branch to "develop"

#35 schorg closed 3 years ago
1
Deprecate @[CFunction(source="<file>.c")]

#34 schorg closed 3 years ago
0
Bumb version

#33 FriedrichGretz closed 3 years ago
0
Merging fixes into master

#32 FriedrichGretz closed 3 years ago
0
Fix -Wunused-but-set-variable for activity calls

#31 FriedrichGretz closed 3 years ago
0
Feature/string literals

#30 FriedrichGretz closed 3 years ago
0
Feature/fix loop scheduling

#29 FriedrichGretz closed 3 years ago
0
One non-instantaneous strong branch in a cobegin should be enough

#28 schorg opened 3 years ago
1
New pull request for activity contexts against develop branch

#27 FriedrichGretz closed 3 years ago
1
Compilation error with new nat data types

#26 mterber opened 4 years ago
4
Allow assignment to a struct with let qualified fields as a whole

#25 schorg closed 3 years ago
2
Allow variable declaration in run result

#24 schorg closed 3 years ago
5
Option --app[=<name>] has optional '<name>' which defaults to 'blech'

#23 schorg closed 4 years ago
0
WIP: Activity context

#22 FriedrichGretz closed 3 years ago
3
Prevent input-output aliasing in function calls.

#21 FriedrichGretz closed 4 years ago
2
Feature/forced cast

#20 schorg closed 4 years ago
6
Generating printState function and trace calls only on --trace

#19 frameworklabs closed 4 years ago
6
make example app generation optional

#18 mterber closed 4 years ago
5