#1018 (Aug 18, 2017, 2:53:10 PM)

1. - added locale dynamic_architectures
   - added proposition to assert correctness of evaluation mapping
   - added definitions and introduction/elimination rules for basic operators: basic predicates, true and false, conjunction, disjunction, implication, quantifications
   - added definition for weak until
   - behavior trace assertions are modified to predicate transformers (detail / hgweb)

Started by an SCM change

This run spent:

• 7.1 sec waiting;
• 3 min 25 sec build duration;
• 3 min 32 sec total from scheduled to completion.