Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. complexity of improved LLL algorithm
  2. complexity of Gram_Schmidt_Int
  3. updating change history for Architectural_Design_Patterns, since the changes for blockchain were major
  4. Zusammenführen
  5. updating change history for Architectural_Design_Patterns, since the changes for blockchain were major
  6. - Refactorings: moving some lemmata from Architectural_Design_Patterns to DynamicArchitectures - New version of the blockchain pattern: changing the major assumption for blockchain architectures from alternative minings to relative mining frequencies
Changeset 9286:6f003998fe4e by rene thiemann _rene.thiemann@uibk.ac.at_:
complexity of improved LLL algorithm
The file was modified thys/LLL_Basis_Reduction/LLL_Mu_Integer_Impl_Complexity.thy (diff)
Changeset 9285:2d7589505677 by rene thiemann _rene.thiemann@uibk.ac.at_:
complexity of Gram_Schmidt_Int
The file was modified thys/LLL_Basis_Reduction/Gram_Schmidt_Int.thy (diff)
The file was modified thys/LLL_Basis_Reduction/LLL_Mu_Integer_Impl_Complexity.thy (diff)
The file was modified thys/LLL_Basis_Reduction/Missing_Lemmas.thy (diff)
Changeset 9284:55a77d90af15 by dmarmsoler:
updating change history for Architectural_Design_Patterns, since the changes for blockchain were major
The file was modified metadata/metadata (diff)
Changeset 9283:a1de435fdd6f by dmarmsoler:
Zusammenführen
Changeset 9282:7b06108527eb by dmarmsoler:
updating change history for Architectural_Design_Patterns, since the changes for blockchain were major
The file was modified metadata/metadata (diff)
Changeset 9281:5043c5c71685 by dmarmsoler:
- Refactorings: moving some lemmata from Architectural_Design_Patterns to DynamicArchitectures<br>- New version of the blockchain pattern: changing the major assumption for blockchain architectures from alternative minings to relative mining frequencies
The file was addedthys/Architectural_Design_Patterns/Auxiliary.thy
The file was addedthys/Architectural_Design_Patterns/RF_LTL.thy
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/DynamicArchitectures/Configuration_Traces.thy (diff)
The file was modified thys/DynamicArchitectures/Dynamic_Architecture_Calculus.thy (diff)