#1622 (May 25, 2018, 8:16:03 PM)

1. complexity of improved LLL algorithm (detail / hgweb)
2. complexity of Gram_Schmidt_Int (detail / hgweb)
3. updating change history for Architectural_Design_Patterns, since the changes for blockchain were major (detail / hgweb)
4. Zusammenführen (detail / hgweb)
5. updating change history for Architectural_Design_Patterns, since the changes for blockchain were major (detail / hgweb)
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 (detail / hgweb)

Started by an SCM change

This run spent:

• 7.8 sec waiting;
• 11 min build duration;
• 12 min total from scheduled to completion.