Check out the Docs here: https://github.com/IanSeyler/minIP/tree/master/Docs

Those diagrams were made in Monodraw