@XujieSi Dr. Si,
I am working on a new method to generate loop invariants. Code2inv is inspiring to my research. So, I plan to run a compare between the new method and code2inv. Could you share the the trained model of code2inv? I would appreciate it.
@XujieSi Dr. Si,
I am working on a new method to generate loop invariants. Code2inv is inspiring to my research. So, I plan to run a compare between the new method and code2inv. Could you share the the trained model of code2inv? I would appreciate it.