Build #61 (Jul 18, 2021, 12:14:00 AM)

1. get rid of remote_vampire since it's hard, if possible at all, to follow Vampire's online options (detail)
2. merged (detail)
3. NEWS; (detail)
4. proper example; (detail)
5. more tests; (detail)
6. more robust: component might be absent; (detail)
7. clarified global state: allow to deactivate main plugin; (detail)
8. more robust (again): allow to deactivate main plugin; (detail)
9. tuned signature; (detail)
10. more complete dockables; (detail)
11. more robust (see 4d91b6d5d49c); (detail)
12. clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin; (detail)
13. more robust; (detail)
14. tuned; (detail)
15. avoid non-standard encoding; (detail)
16. proper cross-platform build: jdk component is required for ISABELLE_SETUP_CLASSPATH in other_isabelle; (detail)
17. more robust classpath: skip empty entries; (detail)
18. more robust: avoid duplicate classpath entries; (detail)
19. build.props for isabelle.jar, including isabelle.jedit;
    build minimal Isabelle/jEdit plugins on the spot;
    regular "jedit" component: discontinued special "jedit_build";
    Isabelle/Scala services via jars, instead of settings; (detail)
20. more robust; (detail)
21. more portable: avoid Windows CRLF in classpath output; (detail)
22. proper lines (amending 59b6f0462086); (detail)
23. more systematic treatment of encodings; (detail)
24. tuned; (detail)
25. extended the 'corec' format slightly (detail)
26. prefer 'xxx' to 'xxx.yyy' to 'xxx(2)' in Sledgehammer, to some extent (detail)
27. tuning (detail)
28. rephrase Nitpick constraint in more first-order format that's also more friendly to the 'box' option (detail)
29. correctly translate constructor argument in 'primrec' (detail)
30. simplified a few proofs (detail)
31. revisited ac28714b7478: more faithful preplaying with chained facts (detail)
32. wait for E 2.7 before using 'ite' in HO mode (detail)
33. added alternative E binary name (detail)
34. parse logical operators in the right order w.r.t. backtracking (detail)
35. improved warning (detail)
36. adjusted E setup to avoid generating FOOL with 2.5 (where 'ite' is missing) (detail)
37. operations for symbolic computation of bit operations (detail)
38. proper local context (detail)
39. shasum for project meta-info; (detail)
40. even more strict shasum (amending c9771e1b3223); (detail)
41. clarified Isabelle meta-info within jar; (detail)
42. strict shasum: this is used on input files; (detail)
43. clarified modules;
    clarified messages;
    clarified return code; (detail)
44. support for command-line operations; (detail)
45. operations for all components; (detail)
46. clarified signature; (detail)
47. merged (detail)
48. rebuild component; (detail)
49. expand file paths, e.g. to allow $ISABELLE_HOME, $ISABELLE_HOME_USER; (detail)
50. support expand_platform_path, which is reminiscent of isabelle.Path.expand; (detail)
51. skip scalac for Java build; (detail)
52. support mixed Scala/Java build;
    clarified scalac/javac options; (detail)
53. clarified javac options; (detail)
54. clarified syntax: similar to URL; (detail)
55. clarified signature; (detail)
56. more robust; (detail)
57. more robust; (detail)
58. more compiler_deps via "requirements", notably jar list from settings;
    proper Files.createDirectories; (detail)
59. clarified component settings; (detail)
60. clarified shasum: sources / resources within jar; (detail)
61. tuned signature; (detail)
62. clarified modules; (detail)
63. merged (detail)
64. fixed HOL-TPTP following f58108b7a60c (detail)
65. documented Sledgehammer option "induction_rules" (detail)
66. refactored Sledgehammer option "induction_rules" (detail)
67. promoted "sledgehammer_instantiate_inducts" to proper option "induction_rules" (detail)
68. jenkins: add pre/post-hook results for benchmark (detail)
69. remove SpecCheck; it is now part of the AFP (detail)

1. compile (detail)
2. more realistic timeout: 50min CPU time; (detail)
3. Minor changes to Finitely_Generated_Abelian_Groups, simplified and extended Dirichlet_L by depending
   on Finitely_Generated_Abelian_Groups (detail)
4. new entry Finitely_Generated_Abelian_Groups (detail)
5. remove duplicate entry in metadata (detail)
6. more coherent dependencies (detail)
7. fix(Regex_Equivalence) update to new SpecCheck version (detail)
8. operations for symbolic computation of bit operations (detail)
9. fixed Proof_Strategy_Language following Isabelle/f58108b7a60c (detail)
10. SpecCheck now without _ (Regex_Equivalence is still broken) (detail)

Started by timer

This run spent:

• 21 ms waiting;
• 1 day 6 hr build duration;
• 1 day 6 hr total from scheduled to completion.

Timeout has been exceeded