Re: [Javapathfinder-user] BUG: Too rigorously POR on array operations (Test model included)

[Viet Y. N. <v.y...@al...>]

Peter Mehlitz schreef:

> P.S. nice to finally see a JPF counterpart for .NET

BTW, I overread this in your previous mail. Just want to let you know, 
the principal designer of MMC (my predecessor), actually used JPF's 
architecture as a reference, and MMC is in fact quite similar to JPF.

The reason why this is so: never change something that works well :)

I am the current author of MMC, and at the end of this month, I will 
release a new version, with improved instruction coverage, stateful 
dynamic POR, POR using object escape analysis, a memoised garbage 
collector (that replaces the traditional mark & sweep), and a collapser 
for the metadata that is kept by stateful dynamic POR.

Viet Yen