sireum / logika Public

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

Logika Next-Gen Verification Framework for Slang

BSD-2-Clause license

4 stars 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1,085 Commits
.github/workflows		.github/workflows
bin		bin
jvm/src		jvm/src
shared/src/main/scala/org/sireum/logika		shared/src/main/scala/org/sireum/logika
.gitattributes		.gitattributes
.gitignore		.gitignore
LICENSE.md		LICENSE.md
readme.md		readme.md

Repository files navigation

Sireum Logika


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

Testing

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

About

Logika Next-Gen Verification Framework for Slang

BSD-2-Clause license

Custom properties

Report repository

Contributors 4

Languages

Scala 99.3%
Other 0.7%