Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. - adding change history to metadata
  2. - Adding logical operators to specify configuration traces.
Changeset 9366:d7554c436090 by dmarmsoler:
- adding change history to metadata
The file was modified metadata/metadata (diff)
Changeset 9365:09178f08f050 by dmarmsoler:
- Adding logical operators to specify configuration traces.
The file was modified thys/Architectural_Design_Patterns/Blackboard.thy (diff)
The file was modified thys/Architectural_Design_Patterns/Blockchain.thy (diff)
The file was modified thys/Architectural_Design_Patterns/Publisher_Subscriber.thy (diff)
The file was modified thys/Architectural_Design_Patterns/Singleton.thy (diff)
The file was modified thys/DynamicArchitectures/Configuration_Traces.thy (diff)
The file was modified thys/DynamicArchitectures/Dynamic_Architecture_Calculus.thy (diff)