Hi Jim, thanks for your message. The KLEE page on our wiki is indeed outdated. I just made it private.
--Cristian On Aug 20, 2009, at 4:23 PM, James Clause wrote: > I'd like to make a suggestion that some of the older klee webpages > should be updated to reflect the fact that klee is now available (e.g. > http://checking.stanford.edu/wiki/Klee and http://minormatter.com/zr/, > which links to the Standord Checking Group page). > > Over the past few days a few people I know have come across these > pages before klee.llvm.org and consequently have thought that klee > wasn't available. > > ~Jim > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
