Release / Stable Klee

[v***@public.gmane.org]

Hi,

I was wondering what would be the latest stable version of Klee. I
couldn't find any tags in the git repository.

Best,
-- Celina Val

[Cristian Cadar]

Hi,

We are not providing any release versions at the moment, so please use
the latest version.

Best,
Cristian

Post by v***@public.gmane.org
Hi,
I was wondering what would be the latest stable version of Klee. I
couldn't find any tags in the git repository.
Best,
-- Celina Val
_______________________________________________
klee-dev mailing list
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev