Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
First features for safety critical systems #486
First features for safety critical systems #486
Changes from 1 commit
dbc32c2
598c37b
cd29fc1
a029bae
430f352
25a5dd1
660f601
3ff2d32
181b507
a730633
95b4fa3
2bf0a7f
c5f89a4
15bea84
20d6d6e
99764dd
de9e382
fb301dc
edd523e
3af1e02
74e6ab1
c592937
30d4d25
9d0c4c6
2e5762c
52e28a9
072cfca
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing