GitHub repository: michael-emmi/bam-bam-boogieman
Primary language: Boogie
Description: Boogie AST Manipulator