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
Various improvements and new features for OO and timed SCCharts #64
base: master
Are you sure you want to change the base?
Various improvements and new features for OO and timed SCCharts #64
Changes from all commits
284bf33
04941cb
be687c4
3957e10
269ca82
65bf35d
331ce53
13ed548
9ae489f
2be284e
43a98dc
67b0c8d
ba6f025
0b6fed7
0178d11
35e2102
d89c116
6a571a8
9279f6b
cda3441
4f7ece5
9e4c85d
52f4cf3
ef42cf4
95f2fa2
16f86ca
9dd3588
a3d186a
557a277
b4838d0
6cdc044
bbc0a03
c5fb220
0cbaa35
bf8ac8a
31d4da6
da1ba95
9b99007
40b5352
64541e9
5d25051
0f13b0d
ebe076a
ca2b470
ee0154b
9f9a1da
0d7a695
55333da
bf1d2fd
7070092
e56dcda
0e053e4
f3d9ef1
e6829bc
a7def44
9a80caa
351ef3c
a368595
779a836
eab7db4
b785aaf
97e77e4
7f2cdbd
a5a2c1f
614c158
7d01cce
cc7dadb
f88154a
2d4e206
c9cba71
79d88a3
671dca1
5e5af49
69bda7f
6ab4f6a
3f7f127
646be7e
6bdc662
5080980
c38c257
01432c6
dc145d4
bd2502b
27e5ae2
df3b732
aef4cd4
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing