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
Version and testing for Spin2 #257
Version and testing for Spin2 #257
Changes from 58 commits
e5294fa
24f702a
757dcce
695b448
e36ea3d
e79a72e
7e7aef2
bdc332b
3de2599
58c11c4
05edc85
2875adf
ac15619
4869a16
cf77e45
79c5e3c
fd88e51
dd4fdd6
e4cd226
f65f828
434d387
84fea24
20d0064
1de8385
04b585c
cd4766c
24ac4b0
c420276
39d3ac2
54d9747
d83ebc8
b9b6c77
7384e71
78b6275
340ff52
a082196
8b7c92b
b38c33e
dba7f4e
d206dec
25f0056
1a0c508
8f48a2d
803d153
c5327d0
56baf27
c1af525
c4bf8de
c1281e6
2bf70f4
f2b414a
4a17c2a
e89fa3f
f4030e7
7e719aa
fb3666e
04ce1aa
605cc1a
cdec110
008acdc
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing