Skip to content
[Jenkins]Jenkins
log in
Started 2 yr 11 mo ago
Took 18 hr
Success

Build #57 (Jun 20, 2021, 12:14:00 AM)

Changes
  1. tuned --- following hints by IntelliJ; (detail)
  2. tuned signature; (detail)
  3. tuned; (detail)
  4. tuned; (detail)
  5. tuned signature; (detail)
  6. tuned; (detail)
  7. tuned signature (see 2d6a489adb01); (detail)
  8. added support for TFX's and THF's $ite to Sledgehammer (detail)
  9. tuned Mirabelle documentation (detail)
  10. shortened long lines (detail)
  11. fixed typos (detail)
  12. updated Mirabelle documentation (detail)
  13. changed Mirabelle's filter to use short theory names (detail)
  14. more lemmas (detail)
Changes
  1. Relational_Disjoint_Set_Forests: updated metadata to reflect added theory (detail)
  2. Relational_Disjoint_Set_Forests: add theory More_Disjoint_Set_Forests (detail)
  3. lemma grooming (detail)
  4. no duplicates of shift operations (detail)
  5. merge Jinja/Isar work (detail)
  6. updated change history for Interpreter_Optimization (detail)
  7. merged (detail)
  8. updated, replacing axiomatizations by proper locales (detail)
  9. added basic blocks (detail)
  10. Updating Jinja from apply-style to Isar-style (detail)
  11. Updating Jinja from apply-style to Isar-style (detail)
  12. Updating Jinja from apply-style to Isar-style (detail)
  13. Updating Jinja from apply-style to Isar-style (detail)
  14. Updating Jinja from apply-style to Isar-style (detail)
  15. Updating Jinja from apply-style to Isar-style (detail)
  16. Updating Jinja from apply-style to Isar-style (detail)
  17. Updating Jinja from apply-style to Isar-style (detail)
  18. Updating Jinja from apply-style to Isar-style (detail)
  19. Updating Jinja from apply-style to Isar-style (detail)
  20. Updating Jinja from apply-style to Isar-style (detail)
  21. Updating Jinja from apply-style to Isar-style (detail)
  22. Updating Jinja from apply-style to Isar-style (detail)
  23. Merge from default, esp JinjaDCI (detail)
  24. Updating Jinja from apply-style to Isar-style (detail)
  25. Updating Jinja from apply-style to Isar-style (detail)

Started by timer

This run spent:

  • 0.24 sec waiting;
  • 18 hr build duration;
  • 18 hr total from scheduled to completion.
Revision: 66bff50bc5f11adb68618e4adb07716b5d4fab6e
Revision: 7b56a9ce561974a43e5410bdf4ec7f8f460abd2a