Skip to content
Snippets Groups Projects
Select Git revision
  • 51547bdd51bacc2cce41cc8622a5612c2ed6d42d
  • develop default protected
  • master protected
  • rodin2
  • rodin3
  • feature/theory_plugin
  • feature/multiview
  • csp
  • feature/newcore
  • feature/csp
  • 3.0.11
  • 3.0.8
  • 3.0.5
  • 2.4.1
  • 2.3.3
  • 2.3.2
  • 2.3.1
  • 2.3.0_fix1
  • 2.3.0
19 results

gradlew

Blame
  • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    c5-signals.buc 842 B
    <?xml version="1.0" encoding="UTF-8" standalone="no"?>
    <org.eventb.core.contextFile org.eventb.core.configuration="org.eventb.core.fwd" version="3">
    <org.eventb.core.carrierSet name="'" org.eventb.core.identifier="SIGNAL_STATUS"/>
    <org.eventb.core.constant name="(" org.eventb.core.identifier="SIGNAL_OFF"/>
    <org.eventb.core.constant name=")" org.eventb.core.identifier="SIGNAL_RED"/>
    <org.eventb.core.constant name="*" org.eventb.core.identifier="SIGNAL_GREEN"/>
    <org.eventb.core.axiom name="+" org.eventb.core.label="SIGNAL_STATUS−def" org.eventb.core.predicate="partition(SIGNAL_STATUS, {SIGNAL_OFF}, {SIGNAL_RED}, {SIGNAL_GREEN}, {SIGNAL_ORANGE})"/>
    <org.eventb.core.carrierSet name="," org.eventb.core.identifier="SIGNAL"/>
    <org.eventb.core.constant name="/" org.eventb.core.identifier="SIGNAL_ORANGE"/>
    </org.eventb.core.contextFile>