@areb0s/scip.js 1.0.8 → 1.0.9

package/dist/scip.js

@@ -274,9 +274,10 @@ var SCIPModule = (() => {
             var info = { "a": wasmImports };
             function receiveInstance(instance, module) {
               wasmExports = instance.exports;
-              wasmMemory = wasmExports["y"];
+              wasmMemory = wasmExports["O"];
               updateMemoryViews();
-              addOnInit(wasmExports["z"]);
+              wasmTable = wasmExports["R"];
+              addOnInit(wasmExports["P"]);
               removeRunDependency("wasm-instantiate");
               return wasmExports;
             }
@@ -308,6 +309,17 @@ var SCIPModule = (() => {
             }
           };
           var noExitRuntime = Module["noExitRuntime"] || true;
+          var wasmTableMirror = [];
+          var wasmTable;
+          var getWasmTableEntry = (funcPtr) => {
+            var func = wasmTableMirror[funcPtr];
+            if (!func) {
+              if (funcPtr >= wasmTableMirror.length) wasmTableMirror.length = funcPtr + 1;
+              wasmTableMirror[funcPtr] = func = wasmTable.get(funcPtr);
+            }
+            return func;
+          };
+          var ___call_sighandler = (fp, sig) => getWasmTableEntry(fp)(sig);
           class ExceptionInfo {
             constructor(excPtr) {
               this.excPtr = excPtr;
@@ -2250,6 +2262,41 @@ var SCIPModule = (() => {
             var stream = FS.getStreamChecked(fd);
             return stream;
           } };
+          function ___syscall_chdir(path) {
+            try {
+              path = SYSCALLS.getStr(path);
+              FS.chdir(path);
+              return 0;
+            } catch (e) {
+              if (typeof FS == "undefined" || !(e.name === "ErrnoError")) throw e;
+              return -e.errno;
+            }
+          }
+          function ___syscall_faccessat(dirfd, path, amode, flags) {
+            try {
+              path = SYSCALLS.getStr(path);
+              path = SYSCALLS.calculateAt(dirfd, path);
+              if (amode & ~7) {
+                return -28;
+              }
+              var lookup = FS.lookupPath(path, { follow: true });
+              var node = lookup.node;
+              if (!node) {
+                return -44;
+              }
+              var perms = "";
+              if (amode & 4) perms += "r";
+              if (amode & 2) perms += "w";
+              if (amode & 1) perms += "x";
+              if (perms && FS.nodePermissions(node, perms)) {
+                return -2;
+              }
+              return 0;
+            } catch (e) {
+              if (typeof FS == "undefined" || !(e.name === "ErrnoError")) throw e;
+              return -e.errno;
+            }
+          }
           function ___syscall_fcntl64(fd, cmd, varargs) {
             SYSCALLS.varargs = varargs;
             try {
@@ -2302,6 +2349,20 @@ var SCIPModule = (() => {
               return -e.errno;
             }
           }
+          var stringToUTF8 = (str, outPtr, maxBytesToWrite) => stringToUTF8Array(str, HEAPU8, outPtr, maxBytesToWrite);
+          function ___syscall_getcwd(buf, size) {
+            try {
+              if (size === 0) return -28;
+              var cwd = FS.cwd();
+              var cwdLengthInBytes = lengthBytesUTF8(cwd) + 1;
+              if (size < cwdLengthInBytes) return -68;
+              stringToUTF8(cwd, buf, size);
+              return cwdLengthInBytes;
+            } catch (e) {
+              if (typeof FS == "undefined" || !(e.name === "ErrnoError")) throw e;
+              return -e.errno;
+            }
+          }
           function ___syscall_ioctl(fd, op, varargs) {
             SYSCALLS.varargs = varargs;
             try {
@@ -2427,6 +2488,13 @@ var SCIPModule = (() => {
           }
           var nowIsMonotonic = 1;
           var __emscripten_get_now_is_monotonic = () => nowIsMonotonic;
+          var __emscripten_runtime_keepalive_clear = () => {
+            noExitRuntime = false;
+            runtimeKeepaliveCounter = 0;
+          };
+          var __emscripten_throw_longjmp = () => {
+            throw Infinity;
+          };
           var convertI32PairToI53Checked = (lo, hi) => hi + 2097152 >>> 0 < 4194305 - !!lo ? (lo >>> 0) + hi * 4294967296 : NaN;
           function __mmap_js(len, prot, flags, fd, offset_low, offset_high, allocated, addr) {
             var offset = convertI32PairToI53Checked(offset_low, offset_high);
@@ -2788,7 +2856,6 @@ var SCIPModule = (() => {
             }
             quit_(1, e);
           };
-          var stringToUTF8 = (str, outPtr, maxBytesToWrite) => stringToUTF8Array(str, HEAPU8, outPtr, maxBytesToWrite);
           var stringToUTF8OnStack = (str) => {
             var size = lengthBytesUTF8(str) + 1;
             var ret = stackAlloc(size);
@@ -2803,13 +2870,106 @@ var SCIPModule = (() => {
           Module["FS_unlink"] = FS.unlink;
           Module["FS_createLazyFile"] = FS.createLazyFile;
           Module["FS_createDevice"] = FS.createDevice;
-          var wasmImports = { a: ___cxa_throw, f: ___syscall_fcntl64, v: ___syscall_fstat64, k: ___syscall_ioctl, t: ___syscall_newfstatat, g: ___syscall_openat, u: ___syscall_stat64, x: __emscripten_get_now_is_monotonic, l: __mmap_js, m: __munmap_js, b: _abort, i: _emscripten_date_now, q: _emscripten_get_heap_max, w: _emscripten_get_now, j: _emscripten_memcpy_js, p: _emscripten_resize_heap, r: _environ_get, s: _environ_sizes_get, h: _exit, c: _fd_close, e: _fd_read, n: _fd_seek, d: _fd_write, o: _strftime_l };
+          var wasmImports = { y: ___call_sighandler, a: ___cxa_throw, L: ___syscall_chdir, M: ___syscall_faccessat, q: ___syscall_fcntl64, G: ___syscall_fstat64, D: ___syscall_getcwd, N: ___syscall_ioctl, E: ___syscall_newfstatat, n: ___syscall_openat, F: ___syscall_stat64, I: __emscripten_get_now_is_monotonic, A: __emscripten_runtime_keepalive_clear, v: __emscripten_throw_longjmp, r: __mmap_js, s: __munmap_js, b: _abort, J: _emscripten_date_now, x: _emscripten_get_heap_max, H: _emscripten_get_now, K: _emscripten_memcpy_js, w: _emscripten_resize_heap, B: _environ_get, C: _environ_sizes_get, j: _exit, l: _fd_close, p: _fd_read, t: _fd_seek, o: _fd_write, h: invoke_i, k: invoke_iii, d: invoke_iiii, e: invoke_iiiii, m: invoke_iiiiii, c: invoke_v, f: invoke_vi, i: invoke_vii, g: invoke_viii, z: _proc_exit, u: _strftime_l };
           var wasmExports = createWasm();
-          var ___wasm_call_ctors = () => (___wasm_call_ctors = wasmExports["z"])();
-          var _main = Module["_main"] = (a0, a1) => (_main = Module["_main"] = wasmExports["A"])(a0, a1);
-          var _emscripten_builtin_memalign = (a0, a1) => (_emscripten_builtin_memalign = wasmExports["C"])(a0, a1);
-          var stackAlloc = (a0) => (stackAlloc = wasmExports["D"])(a0);
-          var ___cxa_is_pointer_type = (a0) => (___cxa_is_pointer_type = wasmExports["E"])(a0);
+          var ___wasm_call_ctors = () => (___wasm_call_ctors = wasmExports["P"])();
+          var _main = Module["_main"] = (a0, a1) => (_main = Module["_main"] = wasmExports["Q"])(a0, a1);
+          var _emscripten_builtin_memalign = (a0, a1) => (_emscripten_builtin_memalign = wasmExports["S"])(a0, a1);
+          var _setThrew = (a0, a1) => (_setThrew = wasmExports["T"])(a0, a1);
+          var stackSave = () => (stackSave = wasmExports["U"])();
+          var stackRestore = (a0) => (stackRestore = wasmExports["V"])(a0);
+          var stackAlloc = (a0) => (stackAlloc = wasmExports["W"])(a0);
+          var ___cxa_is_pointer_type = (a0) => (___cxa_is_pointer_type = wasmExports["X"])(a0);
+          function invoke_iiii(index, a1, a2, a3) {
+            var sp = stackSave();
+            try {
+              return getWasmTableEntry(index)(a1, a2, a3);
+            } catch (e) {
+              stackRestore(sp);
+              if (e !== e + 0) throw e;
+              _setThrew(1, 0);
+            }
+          }
+          function invoke_iiiii(index, a1, a2, a3, a4) {
+            var sp = stackSave();
+            try {
+              return getWasmTableEntry(index)(a1, a2, a3, a4);
+            } catch (e) {
+              stackRestore(sp);
+              if (e !== e + 0) throw e;
+              _setThrew(1, 0);
+            }
+          }
+          function invoke_iii(index, a1, a2) {
+            var sp = stackSave();
+            try {
+              return getWasmTableEntry(index)(a1, a2);
+            } catch (e) {
+              stackRestore(sp);
+              if (e !== e + 0) throw e;
+              _setThrew(1, 0);
+            }
+          }
+          function invoke_v(index) {
+            var sp = stackSave();
+            try {
+              getWasmTableEntry(index)();
+            } catch (e) {
+              stackRestore(sp);
+              if (e !== e + 0) throw e;
+              _setThrew(1, 0);
+            }
+          }
+          function invoke_vi(index, a1) {
+            var sp = stackSave();
+            try {
+              getWasmTableEntry(index)(a1);
+            } catch (e) {
+              stackRestore(sp);
+              if (e !== e + 0) throw e;
+              _setThrew(1, 0);
+            }
+          }
+          function invoke_i(index) {
+            var sp = stackSave();
+            try {
+              return getWasmTableEntry(index)();
+            } catch (e) {
+              stackRestore(sp);
+              if (e !== e + 0) throw e;
+              _setThrew(1, 0);
+            }
+          }
+          function invoke_iiiiii(index, a1, a2, a3, a4, a5) {
+            var sp = stackSave();
+            try {
+              return getWasmTableEntry(index)(a1, a2, a3, a4, a5);
+            } catch (e) {
+              stackRestore(sp);
+              if (e !== e + 0) throw e;
+              _setThrew(1, 0);
+            }
+          }
+          function invoke_viii(index, a1, a2, a3) {
+            var sp = stackSave();
+            try {
+              getWasmTableEntry(index)(a1, a2, a3);
+            } catch (e) {
+              stackRestore(sp);
+              if (e !== e + 0) throw e;
+              _setThrew(1, 0);
+            }
+          }
+          function invoke_vii(index, a1, a2) {
+            var sp = stackSave();
+            try {
+              getWasmTableEntry(index)(a1, a2);
+            } catch (e) {
+              stackRestore(sp);
+              if (e !== e + 0) throw e;
+              _setThrew(1, 0);
+            }
+          }
           Module["addRunDependency"] = addRunDependency;
           Module["removeRunDependency"] = removeRunDependency;
           Module["FS_createPath"] = FS.createPath;
@@ -3062,7 +3222,8 @@ var SCIPModule = (() => {
       if (verbose) console.error("[SCIP Error]", text);
     };
     try {
-      const ext = format === "mps" ? "mps" : format === "zpl" ? "zpl" : "lp";
+      const formatExtMap = { mps: "mps", zpl: "zpl", cip: "cip", lp: "lp" };
+      const ext = formatExtMap[format] || "lp";
       const problemFile = `/problems/problem.${ext}`;
       const solutionFile = "/solutions/solution.sol";
       scipModule.FS.writeFile(problemFile, problem);
@@ -3107,21 +3268,19 @@ var SCIPModule = (() => {
         output: stdout + stderr
       };
     } finally {
-      try {
-        scipModule.FS.unlink("/problems/problem.lp");
-      } catch (e) {
-      }
-      try {
-        scipModule.FS.unlink("/problems/problem.mps");
-      } catch (e) {
-      }
-      try {
-        scipModule.FS.unlink("/solutions/solution.sol");
-      } catch (e) {
-      }
-      try {
-        scipModule.FS.unlink("/settings/commands.txt");
-      } catch (e) {
+      const cleanupFiles = [
+        "/problems/problem.lp",
+        "/problems/problem.mps",
+        "/problems/problem.zpl",
+        "/problems/problem.cip",
+        "/solutions/solution.sol",
+        "/settings/commands.txt"
+      ];
+      for (const file of cleanupFiles) {
+        try {
+          scipModule.FS.unlink(file);
+        } catch (e) {
+        }
       }
     }
   }