Skip to content

[2260] Add edge tools to create 'assume' and 'require' relations#2261

Merged
AxelRICHARD merged 1 commit into
mainfrom
gco/enh/require-assume-constraint-edge-tools
Jun 12, 2026
Merged

[2260] Add edge tools to create 'assume' and 'require' relations#2261
AxelRICHARD merged 1 commit into
mainfrom
gco/enh/require-assume-constraint-edge-tools

Conversation

@gcoutable

@gcoutable gcoutable commented Jun 8, 2026

Copy link
Copy Markdown
Member
  • [2260] Add edge tools to create 'assume' and 'require' relations

PLEASE READ ALL ITEMS AND CHECK ONLY RELEVANT CHECKBOXES BELOW

Auto review

  • Have you reviewed this PR? Please do a first quick review, It is very useful to detect typos and missing copyrights, check comments, check your code... The reviewer will thank you for that :)

Project management

  • Has the pull request been added to the relevant milestone?
  • Have the priority: and pr: labels been added to the pull request? (In case of doubt, start with the labels priority: low and pr: to review later)
  • Have the relevant issues been added to the pull request?
  • Have the relevant labels been added to the issues? (area:, type:)
  • Have the relevant issues been added to the same project milestone as the pull request?

Changelog and release notes

  • Has the CHANGELOG.adoc + doc/content/modules/user-manual/pages/release-notes/YYYY.MM.0.adoc been updated to reference the relevant issues?
  • Have the relevant API breaks been described in the CHANGELOG.adoc?
  • Are the new / upgraded dependencies mentioned in the relevant section of the CHANGELOG.adoc?
  • In case of a change with a visual impact, are there any screenshots in the doc/content/modules/user-manual/pages/release-notes/YYYY.MM.0.adoc?
  • In case of a key change, has the change been added to Key highlights section in doc/content/modules/user-manual/pages/release-notes/YYYY.MM.0.adoc?

Documentation

  • Have you included an update of the documentation in your pull request? Please ask yourself if an update (installation manual, user manual, developer manual...) is needed and add one accordingly.

Tests

  • Is the code properly tested? Any pull request (fix, enhancement or new feature) should come with a test (or several). It could be unit tests, integration tests or cypress tests depending on the context. Only doc and releng pull request do not need for tests.

@gcoutable gcoutable added this to the 2026.7.0 milestone Jun 8, 2026
@gcoutable gcoutable linked an issue Jun 8, 2026 that may be closed by this pull request
@gcoutable gcoutable changed the base branch from main to gco/enh/require-assume-constraint-edges June 8, 2026 15:51
@gcoutable gcoutable force-pushed the gco/enh/require-assume-constraint-edge-tools branch 2 times, most recently from 6b8c3a2 to 1735c32 Compare June 8, 2026 15:56
@gcoutable gcoutable marked this pull request as ready for review June 8, 2026 15:57
@pcdavid pcdavid self-assigned this Jun 10, 2026
@gcoutable gcoutable force-pushed the gco/enh/require-assume-constraint-edges branch 2 times, most recently from 6cef665 to 6d6cbfe Compare June 10, 2026 15:44
@AxelRICHARD AxelRICHARD force-pushed the gco/enh/require-assume-constraint-edges branch from 6d6cbfe to 1f702dd Compare June 12, 2026 06:15
Base automatically changed from gco/enh/require-assume-constraint-edges to main June 12, 2026 06:59
Bug: #2260
Signed-off-by: Guillaume Coutable <guillaume.coutable@obeo.fr>
@AxelRICHARD AxelRICHARD force-pushed the gco/enh/require-assume-constraint-edge-tools branch from 1735c32 to c0542ea Compare June 12, 2026 08:13
@AxelRICHARD AxelRICHARD merged commit 23252e6 into main Jun 12, 2026
4 checks passed
@AxelRICHARD AxelRICHARD deleted the gco/enh/require-assume-constraint-edge-tools branch June 12, 2026 09:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add edge tools to create 'assume' and 'require' relations

3 participants