Skip to content
Snippets Groups Projects

Feature/ufscc emptiness check

Merged Feature/ufscc emptiness check
feature/ufscc-emptiness-check into master
Merged Chiheb Amer Abid requested to merge feature/ufscc-emptiness-check into master

This version includes the parallelization of model checking

Merge request reports

Pipeline #5096 passed

Stage:

    Pipeline passed for fda4a60f on feature/ufscc-emptiness-check

    Approval is optional

    Merged by Chiheb Amer AbidChiheb Amer Abid 2 years ago (Dec 16, 2022 8:40pm UTC)

    Merge details

    • Changes merged into master with a987521a.
    • Did not delete the source branch.

    Pipeline #5246 passed

    Stage:

      Pipeline passed for a987521a 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