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, [email protected] 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
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

Reply via email to