Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. New version of DynamicArchitectures
  2. - Stronger version of until
  3. Some improvements
  4. Fixing Globally
  5. Strengthening the calculus (next, evt, glob)
  6. - Some smaller changes
Changeset 8222:419b0f1b9088 by diego marmsoler _diego.marmsoler@tum.de_:
New version of DynamicArchitectures
Changeset 8221:2a961e9e46f7 by diego marmsoler _diego.marmsoler@tum.de_:
- Stronger version of until
The file was modified thys/DynamicArchitectures/Configuration_Traces.thy (diff)
The file was modified thys/DynamicArchitectures/Dynamic_Architecture_Calculus.thy (diff)
Changeset 8220:645673147ccf by diego marmsoler _diego.marmsoler@tum.de_:
Some improvements
The file was modified thys/DynamicArchitectures/Configuration_Traces.thy (diff)
The file was modified thys/DynamicArchitectures/Dynamic_Architecture_Calculus.thy (diff)
Changeset 8219:4722a409d1da by diego marmsoler _diego.marmsoler@tum.de_:
Fixing Globally
The file was modified thys/DynamicArchitectures/Configuration_Traces.thy (diff)
The file was modified thys/DynamicArchitectures/Dynamic_Architecture_Calculus.thy (diff)
Changeset 8218:5adde94640cb by diego marmsoler _diego.marmsoler@tum.de_:
Strengthening the calculus (next, evt, glob)
The file was modified thys/DynamicArchitectures/Configuration_Traces.thy (diff)
The file was modified thys/DynamicArchitectures/Dynamic_Architecture_Calculus.thy (diff)
Changeset 8217:477adc0667fa by diego marmsoler _diego.marmsoler@tum.de_:
- Some smaller changes
The file was modified thys/DynamicArchitectures/Configuration_Traces.thy (diff)
The file was modified thys/DynamicArchitectures/Dynamic_Architecture_Calculus.thy (diff)