Sireum Flow Analysis


_{^{amd64: mac, linux, windows}}	_{^{maven package repository}}

Testing

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
bin		bin
shared/src/main/scala/org/sireum/alir		shared/src/main/scala/org/sireum/alir
.gitattributes		.gitattributes
.gitignore		.gitignore
readme.md		readme.md