On Mon, Dec 14, 2020 at 12:28 AM Cristian Cadar
wrote:
> Hi Gleb,
>
> Please see the discussion at https://github.com/klee/klee/issues/1327.
>
> In short, we're not supporting 32-bit platforms anymore, but if someone
> wants to revive support for this, we're happy to accept such a
>
Hi Gleb,
Please see the discussion at https://github.com/klee/klee/issues/1327.
In short, we're not supporting 32-bit platforms anymore, but if someone
wants to revive support for this, we're happy to accept such a contribution.
Best,
Cristian
On 13/12/2020 19:55, Gleb Popov wrote:
Hello
Hi,
On Sun, 13 Dec 2020 23:55:25 +0400
Gleb Popov wrote:
> Hello KLEE devs.
>
> I stumbled upon a strange building failure when trying to compile
> KLEE on i386 FreeBSD. Here's the log:
>
> [...]
>
> Any ideas what might be wrong here?
The latest PTree implementation uses bit-stealing (fat
Hello KLEE devs.
I stumbled upon a strange building failure when trying to compile KLEE on
i386 FreeBSD. Here's the log:
In file included from
/wrkdirs/usr/ports/security/klee/work/klee-2.2/lib/Core/PTree.cpp:10:
In file included from