Calvin Huang

In my codebase, I've noticed that the order of the resulting imports does not seem to be the same, which can cause issues. With the following code: ```ts export {...

One example that fails under 1.2.218 but not under 1.2.205 (target ES2020) is: ```ts // index.ts export { default as ClassA } from './a'; export { default as ClassB }...

It seems you do terminate the master process: https://github.com/andywer/threads.js/blob/master/src/master/implementation.node.ts#L142 We encountered an unfortunate interaction where our SIGTERM handlers basically were nullified by the presence of `terminateWorkersAndMaster`; we weren't even using...

It appears the documentation is incorrect: https://docs.aws.amazon.com/emr-on-eks/latest/APIReference/API_DescribeJobRun.html `createdAt` and `finishedAt` are stated as numbers, but when I make a HTTP call to the endpoint they're returned as ISO datestrings: 

With the change to neovim expecting `zipfile://{filename}` instead of `zipfile:{filename}`, go to definition has stopped working for me completely. I wrote this PR in an attempt to make it work...

I've written an alternative implementation that seems to be significantly faster: https://github.com/pouya-eghbali/sia/pull/7

So I've tried a couple things, and I've been able to reproduce the issue, even when there's no data being shared between the threads (i.e. the common hull is not...

I'm pretty sure it's a contractor issue at this point. I've tried it on 13.smt, which has a solution at X=2.40, Y=0.675, and when printing out the X and Y...

It still returns unsat I think there's some more state in contractor, beyond the output bit vector and the used constraints, because if you look at [contractor_common.h](https://github.com/dreal/dreal3/blob/master/src/contractor/contractor_common.h#L136) it seems that...

@soonhokong, @dzufferey, are there any current efforts to refactor the contractor?