Public

We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic.

Repository Settings

math2001/iris-simp-lang

Webhooks

Webhooks allow external services to be notified when certain events happen in your repository.

Payload URL

Secret Token

Used to validate webhook payloads for security.

Event Triggers

Push

Any Git push to the repository

Pull Request

Pull request opened, closed, or synchronized

Issues

Issue opened, edited, closed, etc.

Commit Comment

Commit or diff commented on

Code Scan

Code scanning alerts