sireum / alir Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Slang Flow Analysis

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 79 Commits
.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

Repository files navigation

Sireum Flow Analysis


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

Testing

macOS/Linux
```
bin/build.cmd test test-js
```
Windows
```
bin\build.cmd test test-js
```

About

Slang Flow Analysis

Custom properties

Report repository

Languages