Name		Name	Last commit message	Last commit date
lib		lib
src		src
.gitignore		.gitignore
.gitmodules		.gitmodules
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
dune-project		dune-project
gmod.opam		gmod.opam

Repository files navigation

gMod

An analyzer of concurrent programs based on geometric models.

About

Geometric models.

GPL-3.0 license

Custom properties

4 stars

3 watching

Report repository

Releases

Packages

Contributors

Languages