• branch=trunk inherited from [16f0b5784f]
• sym-trunk inherited from [16f0b5784f]

Modified src/output.d from [bdd3d4d83c822b4b] to [ac9f211f019469de].

   50          string log;                                                                   50          string log;
   51          long[] score_log;                                                             51          long[] score_log;
   52          bool   flushed;                                                               52          bool   flushed;
   53                                                                                        53  
   54          string s_log;                                                                 54          string s_log;
   55          long[] s_score_log;                                                           55          long[] s_score_log;
   56                                                                                        56  
   57          void flush()                                                             |    57          void flush() nothrow
   58          {                                                                             58          {
   59                  if(flushed)                                                           59                  if(flushed)
   60                          return;                                                       60                          return;
   61                                                                                        61  
   62                  Tuple!(long, int, immutable(char)*) cand;                             62                  Tuple!(long, int, immutable(char)*) cand;
   63                  cand[0] = long.min;                                                   63                  cand[0] = long.min;
   64                                                                                        64  
................................................................................................................................................................................

   77  private:                                                                              77  private:
   78          static __gshared GuardedOutput g_output;                                      78          static __gshared GuardedOutput g_output;
   79                                                                                        79  
   80          void setup_sigint_handling()                                                  80          void setup_sigint_handling()
   81          {                                                                             81          {
   82                  assert(g_output is null);                                             82                  assert(g_output is null);
   83                  g_output = this;                                                      83                  g_output = this;
   84                  extern(C) static void catch_sigint(int) { g_output.flush(); appl |    84                  extern(C) nothrow @system static void catch_sigint(int) { g_outp
   85                  core.stdc.signal.signal(SIGINT, &catch_sigint);                       85                  core.stdc.signal.signal(SIGINT, &catch_sigint);
   86          }                                                                             86          }
   87  }                                                                                     87  }

Modified src/solver.d from [a342d9597f1d9525] to [3ef79e5266d25568].

   83                                                                                        83  
   84  class Queue(T)                                                                        84  class Queue(T)
   85  {                                                                                     85  {
   86          alias Tuple!(T,int) t;                                                        86          alias Tuple!(T,int) t;
   87                                                                                        87  
   88          t[] cur, next;                                                                88          t[] cur, next;
   89                                                                                        89  
   90          void push(T v, int p) { (cur.empty ? cur : next) ~= tuple(v,p); }        |    90          void push(T v, int p) { if(cur.empty) cur ~= tuple(v,p); else next ~= tu
   91          bool empty() { return cur.empty; }                                            91          bool empty() { return cur.empty; }
   92          t pop() {                                                                     92          t pop() {
   93                  t v = cur[0]; cur = cur[1..$];                                        93                  t v = cur[0]; cur = cur[1..$];
   94                  if(cur.empty) { cur = next; next = null; }                            94                  if(cur.empty) { cur = next; next = null; }
   95                  return v;                                                             95                  return v;
   96          }                                                                             96          }
   97  }                                                                                     97  }

Modified src/util.d from [41ba420d0c49ce8d] to [1a5a3d16d8e421dc].

   18          int cnt = 0;                                                                  18          int cnt = 0;
   19          foreach(e; a)                                                                 19          foreach(e; a)
   20                  if(e == v)                                                            20                  if(e == v)
   21                          ++cnt;                                                        21                          ++cnt;
   22          return cnt;                                                                   22          return cnt;
   23  }                                                                                     23  }
   24                                                                                        24  
   25  void application_exit()                                                          |    25  void application_exit() nothrow
   26  {                                                                                     26  {
   27          std.c.stdlib.exit(0);                                                         27          std.c.stdlib.exit(0);
   28  }                                                                                     28  }
   29                                                                                        29  
   30  template DeriveCreate()                                                               30  template DeriveCreate()
   31  {                                                                                     31  {
   32          this(TS...)(TS params)                                                        32          this(TS...)(TS params)