> We had a Homebrew tap set up a while ago see,
> https://github.com/klee/homebrew-klee, but it is currently unmaintained. So
> what we need is to have maintainers for these different packages. This is why
> it was great to hear about the Homebrew package you created (which I hope
> you'd
With the workshop fast approaching, I have been waiting for registration to
open (and wondering if the workshop is only open to those presenting).
https://srg.doc.ic.ac.uk/klee21/registration.html
--
Alastair
___
klee-dev mailing list
Dear all,
Thanks, Alastair for the reminder, we have literally just reached a
decision about the new editions of the KLEE workshop.
As you know, we were hoping to have the second edition in London,
similar to the first. The atmosphere at the first workshop was
fantastic, and we were
Hi Carlo,
On 13/03/2021 14:21, Carlo Cabrera wrote:
Hi Cristian and Anton,
Thanks for the kind words.
I looked into getting a pre-built package on Linux, but it's a little
tricky because KLEE has some build dependencies that aren't in Homebrew.
Could you document more precisely the challenges
Hi Cristian,
> Could you document more precisely the challenges you have encountered?
> Perhaps it would be best to continue the discussion on GitHub; I've just
> created this issue: https://github.com/klee/klee/issues/1395
Sure, I'll respond to you there.
> BTW, one major disadvantage with
Hi,
You say that you "got no useful results from KLEE so far" but it's
difficult to help without more info and a self-contained program which
reproduces the problem.
Most likely though, you are hitting the challenge described in this
paper, which offers a solution (and an extension of KLEE)
Hi Carlo,
We had a Homebrew tap set up a while ago see,
https://github.com/klee/homebrew-klee, but it is currently unmaintained.
So what we need is to have maintainers for these different packages.
This is why it was great to hear about the Homebrew package you created
(which I hope you'd