documentation for custom JVM?

[williamj77]

Hello,

Is there documentation for the Pathfinder custom JVM?

williamj

[cyrille-artho]

No, unfortunately not; we currently focus on the JVM. If someone adds support for a different VM, then that work could also be illustrative and be used as a starting point for documentation.

[williamj77]

Hello, Thanks for responding. I did read in a separate paper on how your custom JVM was created using Pathfinder. Happy Holidays. Sincerely, William Johnston From: cyrille-artho Sent: Friday, November 22, 2024 12:19 PM To: javapathfinder/jpf-core Cc: William Johnston ; Author Subject: Re: [javapathfinder/jpf-core] documentation for custom JVM? (Issue #502) No, unfortunately not; we currently focus on the JVM. If someone adds support for a different VM, then that work could also be illustrative and be used as a starting point for documentation. — Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you authored the thread.Message ID: ***@***.***>