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
User defined constraints #996
base: devel
Are you sure you want to change the base?
User defined constraints #996
Changes from all commits
782b645
9709974
a7af772
a191413
4ea5b3e
7795ea6
02345bb
4c6c1ca
ff72c55
989ffe4
a4eb840
cf38e02
7d490a4
024c980
ff440fb
e4ad484
2508ac3
d5fc54c
c9e904b
a6e2f8a
23f9699
2f55bbf
5aae1b0
d467a14
e4cc72b
32a81da
a07ccaf
f69a55c
e4ab40b
8dc96cf
a3685d4
991123b
70b33db
0e20a91
eeee56a
f93723b
efcf064
3039344
d5dedc9
f839755
9704a4b
211bf48
1dba21e
90c156f
91177cd
1fc7ab2
de2398d
54809ad
c758bc5
5c5e2c2
0884f4a
0f93cdd
3da58be
8ec5ef2
d2d8ee9
14a68f5
80fdcaa
06cb989
c10f3fa
1747a7b
14a1415
ba2990c
b04b81a
6bae4c0
66dd463
479c2b2
543d1f8
65e48f1
564a51a
a6aefc5
42f4838
b3e26cc
ca9ef48
093f799
b5f7516
c8b850a
67d3af1
b951dbd
e5b3fba
8b2d6dc
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.