0.5.25

package-lock.json

@@ -1,6 +1,6 @@
 {
   "name": "circom",
-  "version": "0.5.24",
+  "version": "0.5.25",
   "lockfileVersion": 1,
   "requires": true,
   "dependencies": {

package.json

@@ -1,6 +1,6 @@
 {
   "name": "circom",
-  "version": "0.5.24",
+  "version": "0.5.25",
   "description": "Language to generate logic circuits",
   "main": "index.js",
   "directories": {

src/compiler.js

@@ -341,7 +341,11 @@ async function reduceConstrains(ctx) {
     }
 
     while (possibleConstraints.length >0) {
+        if (possibleConstraints.length>1<<20) {
             nextPossibleConstraints = new BigArray();
+        } else {
+            nextPossibleConstraints = {};
+        }
         removedSignals = new BigArray();
         nRemoved = 0;
         lIdx = new BigArray();
@@ -404,7 +408,11 @@ async function reduceConstrains(ctx) {
             }
         }
 
+        if (nextPossibleConstraints.getKeys) {
             nextPossibleConstraints = nextPossibleConstraints.getKeys();
+        } else {
+            nextPossibleConstraints = Object.keys(nextPossibleConstraints);
+        }
 
         for (let i=0; i<nextPossibleConstraints.length;i++) {
             if ((ctx.verbose)&&(i%10000 == 0)) {
@@ -440,12 +448,14 @@ async function reduceConstrains(ctx) {
             lSignal.c = ctx.stDISCARDED;
         }
 
+/*
         possibleConstraints = new BigArray();
-
         // Reverse
         for (let i=0; i<nextPossibleConstraints.length; i++) {
             possibleConstraints[i] = nextPossibleConstraints[nextPossibleConstraints.length -1 -i];
         }
+*/
+        possibleConstraints = nextPossibleConstraints;
     }