Skip to content
Snippets Groups Projects

algo: improved undistinguishable states algo

Merged algo: improved undistinguishable states algo
improve_undistinguishable_states_computation into master
Merged Jan Trávníček requested to merge improve_undistinguishable_states_computation into master

Merge request reports

Pipeline #92168 passed with warnings

Stage: build
Stage: test

Pipeline passed with warnings for 4c05f601 on improve_undistinguishable_states_computation

Approval is optional

Merged by Jan TrávníčekJan Trávníček 4 years ago (Oct 15, 2020 8:54am UTC)

Merge details

  • Changes merged into master with 4c05f601.
  • Deleted the source branch.
  • Auto-merge enabled

Pipeline #92175 passed with warnings

Stage: build
Stage: test
Stage: notify

Pipeline passed with warnings for 4c05f601 on master

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply