clarified defaults;
authorwenzelm
Mon Feb 27 00:00:28 2017 +0100 (2017-02-27)
changeset 65056002b4c8c366e
parent 65055 12189e86c49d
child 65057 799bbbb3a395
child 65058 3e9f382fb67e
clarified defaults;
NEWS
etc/options
src/Pure/Admin/ci_profile.scala
     1.1 --- a/NEWS	Sun Feb 26 23:50:19 2017 +0100
     1.2 +++ b/NEWS	Mon Feb 27 00:00:28 2017 +0100
     1.3 @@ -123,6 +123,11 @@
     1.4  
     1.5  *** System ***
     1.6  
     1.7 +* Option parallel_proofs is 1 by default (instead of more aggressive 2).
     1.8 +This requires less heap space and avoids burning parallel CPU cycles,
     1.9 +while full subproof parallelization is enabled for repeated builds
    1.10 +(according to parallel_subproofs_threshold).
    1.11 +
    1.12  * Prover IDE support for the Visual Studio Code editor and language
    1.13  server protocol, via the "isabelle vscode_server" tool (see also
    1.14  src/Tools/VSCode/README.md). The example application within the VS code
     2.1 --- a/etc/options	Sun Feb 26 23:50:19 2017 +0100
     2.2 +++ b/etc/options	Mon Feb 27 00:00:28 2017 +0100
     2.3 @@ -71,7 +71,7 @@
     2.4  
     2.5  public option parallel_print : bool = true
     2.6    -- "parallel and asynchronous printing of results"
     2.7 -public option parallel_proofs : int = 2
     2.8 +public option parallel_proofs : int = 1
     2.9    -- "level of parallel proof checking: 0, 1, 2"
    2.10  option parallel_subproofs_threshold : real = 0.01
    2.11    -- "lower bound of timing estimate for forked nested proofs (seconds)"
     3.1 --- a/src/Pure/Admin/ci_profile.scala	Sun Feb 26 23:50:19 2017 +0100
     3.2 +++ b/src/Pure/Admin/ci_profile.scala	Mon Feb 27 00:00:28 2017 +0100
     3.3 @@ -92,7 +92,7 @@
     3.4  
     3.5      val options =
     3.6        with_documents(Options.init())
     3.7 -        .int.update("parallel_proofs", 2)
     3.8 +        .int.update("parallel_proofs", 1)
     3.9          .int.update("threads", threads)
    3.10  
    3.11      print_section("BUILD")