Public

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

Actions

Workflows

Continuous Integration workflow

Update dependencies

main • abc1234

6/1/2023, 10:15:00 AM

Add new API endpoints

feature/new-api • def5678

5/30/2023, 2:20:00 PM

Deployment workflow

Update dependencies

main • abc1234

6/1/2023, 11:10:00 AM