GitHub - nuscr/oven: A tool for handling Synthetic MPST specifications · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 355 Commits
.github/workflows		.github/workflows
bin		bin
doc/logo		doc/logo
examples		examples
lib		lib
web		web
.gitignore		.gitignore
dune-project		dune-project
generateDots.sh		generateDots.sh

About

A tool for handling Synthetic MPST specifications

Custom properties

Report repository

Releases

Packages

Contributors

Languages