Status

• Feature complete with the exception that the shape generator fails to partition a variable when it respects identifications already made in the initial skeleton
• Tested on Needham-Schroeder Protocol, ffgg, Yahalom, Otway-Rees, ISO Reject, and Woo-Lam; more testing to follow
• Design document complete but requires substantial editing