[klee-dev] Release / Stable Klee

[Cristian Cadar]

Hi,

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

Best,
Cristian

On 22/01/2014 22:47, vcelina at cs.ubc.ca wrote:
> 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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev