GitHub - paradise-fi/divine: DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be reported using https://divine.fi.muni.cz/trac/report/1. Pull requests here will not be accepted. If you wish to contribute, please contatct us by e-mail.

Name		Name	Last commit message	Last commit date
bricks		bricks
clang		clang
compiler-rt		compiler-rt
cryptoms		cryptoms
dios		dios
divine		divine
doc		doc
external		external
lart		lart
lld		lld
llvm		llvm
minisat		minisat
releng		releng
stp		stp
test		test
tools		tools
.authorspellings		.authorspellings
.darcsignore		.darcsignore
CMakeLists.txt		CMakeLists.txt
Makefile		Makefile

About

DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be reported using https://divine.fi.muni.cz/trac/report/1. Pull requests here will not be accepted. If you wish to contribute, please contatct us by e-mail.

divine.fi.muni.cz

Activity

Custom properties

22 stars

4 watching

3 forks

Report repository