Build #66 (Aug 22, 2021, 12:14:00 AM)

1. fixed $ite syntax in TPTP TFX generation (detail)
2. more Haskell operations; (detail)
3. merged (detail)
4. revert 0faa68dedce5: very slow; (detail)
5. tuned; (detail)
6. add/rename some theorems about Map(pings) (detail)
7. support configuration options "show_results"; (detail)
8. consolidate_body more thoroughly, e.g. for reduced ML_Heap.obj_size; (detail)
9. merged (detail)
10. fixed $ite syntax in TPTP THX generation (detail)
11. tuned signature; (detail)
12. more scalable data structures; (detail)
13. more scalable data structures; (detail)
14. more scalable data structures;
    tuned; (detail)
15. proper position information for Context.theory_data_size; (detail)

1. tuned name (detail)
2. Fix typo (detail)
3. Tune references
   
   ... using new name of BD_Security_Compositional (detail)
4. Remove redundant license (detail)
5. more realistic timeout: approx. 5min CPU time; (detail)
6. cleaning up (detail)
7. New entry CoSMeDis (detail)
8. New entry CoSMed (detail)
9. New entry: BD_Security_Compositional (detail)
10. New entry: CoCon (detail)
11. updated to devel (detail)
12. merge from AFP 2021 (detail)
13. New entry Fresh_Identifiers (detail)
14. New entry: Relational_Forests (detail)
15. cleaning up (detail)
16. merged (detail)
17. cleaning up (detail)
18. Update Bounded_Deducibility_Security
    
    - Generalise BD Security from I/O automata to nondeterministic transition
      systems, with the former retained as an instance of the latter (renaming
      locale BD_Security to BD_Security_IO)
    - Generalise unwinding conditions to allow making more than one transition at a
      time when constructing alternative traces, giving more flexibility for
      unwinding strategies
    - Add various helper lemmas and definitions
    - Add results about the expressivity of declassification triggers vs. bounds,
      due to Thomas Bauereiss (added as author) (detail)
19. tuned signature, following Isabelle/069f6b2c5a07; (detail)

Started by timer

This run spent:

• 50 ms waiting;
• 1 hr 24 min build duration;
• 1 hr 24 min total from scheduled to completion.