ruby-minisat 2.2.0.1 → 2.2.0.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 5a154d9157d2e65b5e29e65434c3acf26ddafae4982c3fdb5bf27e890fb3f60a
-  data.tar.gz: 9d85a3db858add69252a19b185bc50716f14ba651c35cadc3a189caaee8e1500
+  metadata.gz: 56d2498370e733a7bb4a2e20db76990b4db87bf15b72fc4475cd2bb031d99593
+  data.tar.gz: 7da4e10783c565025222ee3ba90df0043206343210d4faf0bd50748deddc77aa
 SHA512:
-  metadata.gz: f74ed73c8416fa4bb7131a70e2525d1850b7ba88a115c1b4d048053dc4c59bf32b13fbf3402246b7b5990f2b2d23a485abea39db1a737d3eb802c2a624e9ece1
-  data.tar.gz: e0698e3afff27bc6de4dc7c28085192a65288b0b2c2704d0c1995320fa179cb9d6db0bc379673ae85b68cb74fc073fc042f73864f42e84ceca3d67c9f5e6aa61
+  metadata.gz: '08b3ea24f656cba2cf2d00c4e9a3bee8e7e54eab4198bd113ec8c64402ceb9c34d2c1970da82b64cc5cc10c9d7f78457c8b68721b97a0277a6db4f508ce59e2f'
+  data.tar.gz: be10fdee68ddfceff50aa553a1b8ed3b59360d0c10c4448efd5b10012a19558646c75e20018e5d756825e820a413b1e30d0f9bbbdf37c6baf8e137b36d1e82eb

data/minisat/minisat/core/Solver.cc

@@ -209,7 +209,7 @@ void Solver::cancelUntil(int level) {
         for (int c = trail.size()-1; c >= trail_lim[level]; c--){
             Var      x  = var(trail[c]);
             assigns [x] = l_Undef;
-            if (phase_saving > 1 || (phase_saving == 1) && c > trail_lim.last())
+            if ((phase_saving > 1 || (phase_saving == 1)) && (c > trail_lim.last()))
                 polarity[x] = sign(trail[c]);
             insertVarOrder(x); }
         qhead = trail_lim[level];
@@ -499,7 +499,7 @@ CRef Solver::propagate()
 
         NextClause:;
         }
-        ws.shrink(i - j);
+        ws.shrink(int(i - j));
     }
     propagations += num_props;
     simpDB_props -= num_props;
@@ -657,7 +657,7 @@ lbool Solver::search(int nof_conflicts)
 
         }else{
             // NO CONFLICT
-            if (nof_conflicts >= 0 && conflictC >= nof_conflicts || !withinBudget()){
+            if ((nof_conflicts >= 0) && (conflictC >= nof_conflicts || !withinBudget())) {
                 // Reached bound on number of conflicts:
                 progress_estimate = progressEstimate();
                 cancelUntil(0);

data/minisat/minisat/mtl/Vec.h

@@ -96,7 +96,7 @@ template<class T>
 void vec<T>::capacity(int min_cap) {
     if (cap >= min_cap) return;
     int add = imax((min_cap - cap + 1) & ~1, ((cap >> 1) + 2) & ~1);   // NOTE: grow by approximately 3/2
-    if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)
+    if ((add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL)) && (errno == ENOMEM))
         throw OutOfMemoryException();
  }
 

data/minisat/minisat/utils/Options.h

@@ -60,7 +60,7 @@ class Option
     struct OptionLt {
         bool operator()(const Option* x, const Option* y) {
             int test1 = strcmp(x->category, y->category);
-            return test1 < 0 || test1 == 0 && strcmp(x->type_name, y->type_name) < 0;
+            return (test1 < 0 || test1 == 0) && (strcmp(x->type_name, y->type_name) < 0);
         }
     };
 
@@ -282,15 +282,15 @@ class Int64Option : public Option
         if (range.begin == INT64_MIN)
             fprintf(stderr, "imin");
         else
-            fprintf(stderr, "%4"PRIi64, range.begin);
+            fprintf(stderr, "%4" PRIi64, range.begin);
 
         fprintf(stderr, " .. ");
         if (range.end == INT64_MAX)
             fprintf(stderr, "imax");
         else
-            fprintf(stderr, "%4"PRIi64, range.end);
+            fprintf(stderr, "%4" PRIi64, range.end);
 
-        fprintf(stderr, "] (default: %"PRIi64")\n", value);
+        fprintf(stderr, "] (default: %" PRIi64")\n", value);
         if (verbose){
             fprintf(stderr, "\n        %s\n", description);
             fprintf(stderr, "\n");

data/ruby-minisat.gemspec

@@ -1,7 +1,7 @@
 # coding: utf-8
 Gem::Specification.new do |spec|
   spec.name          = "ruby-minisat"
-  spec.version       = "2.2.0.1"
+  spec.version       = "2.2.0.2"
   spec.authors       = ["Yusuke Endoh"]
   spec.email         = ["mame@ruby-lang.org"]
   spec.description   = %q{ruby binding for MiniSat, an open-source SAT solver}

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: ruby-minisat
 version: !ruby/object:Gem::Version
-  version: 2.2.0.1
+  version: 2.2.0.2
 platform: ruby
 authors:
 - Yusuke Endoh
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2019-10-25 00:00:00.000000000 Z
+date: 2019-10-26 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler