Arsène Pérard-Gayot

Hello! I've started a new job and I am really busy at the moment, but if you feel confident doing this, feel free to send a pull request. I'm not...

See my answer to issue #33

I may do this in the future, and in fact I have been thinking about it for some time. However, some people already use OpenMP/TBB/`` (I myself use OpenMP in...

Re-reading your question again, it seems that you just want to disable OpenMP on Windows, which should already be the case (since OpenMP 3.0 is not supported there). Could you...

That's pretty nice! Note that you can diminish the number of bins to 32, that'll give you a small build performance boost, at a small cost in traversal time. Another...

Unfortunately, there isn't. However, you can find examples in the `test` directory, or just browse some of our projects that use Impala: [stincilla](https://github.com/AnyDSL/stincilla) or [rodent](https://github.com/AnyDSL/rodent), for instance. Note that we...

As you know, the backend of Thorin uses LLVM to generate code. The semantics of the [right shift instruction](https://llvm.org/docs/LangRef.html#lshr-instruction) of LLVM (same as in C) is that the behaviour is...

What is the behaviour if the condition is not provably false nor provably true during PE?

The problem with that is that it will be very common to have the condition be neither provably true nor provably false during partial evaluation. With the current partial evaluator,...

This assertion is a known issue. Impala and Thorin have to be built both in Release mode or both in Debug mode.