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