Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in
  • E escet
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Graph
    • Compare
    • Locked Files
  • Issues 94
    • Issues 94
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 7
    • Merge requests 7
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
    • Test Cases
  • Deployments
    • Deployments
    • Releases
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Eclipse ProjectsEclipse Projects
  • Eclipse ESCET (Supervisory Control Engineering Toolkit)
  • escet
  • Merge requests
  • !351

#145 Add confluence check to controllercheck

  • Review changes

  • Download
  • Email patches
  • Plain diff
Merged Albert Hofkamp requested to merge add-confluence-check into develop Jul 18, 2022
  • Overview 219
  • Commits 30
  • Pipelines 11
  • Changes 65

Adds confluence checking to the controllercheck application, as both properties should hold before a specification can be used in a PLC implementation.

Refactored computing MDD and other data into a new class, which is then made available to both finite response and confluence checking.

It is likely easier to read each commit separately.

Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: add-confluence-check

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent