Skip to content

GitLab

Explore

Sign in

Peter Zeller
repliss

R

repliss

Project information

The replicated information system verification tool for the development of applications with strong guarantees on weakly consistent data stores.

468 Commits
18 Branches
0 Tags

README
LICENSE

Created on

December 15, 2016

Copy SSH clone URLgit@softech-git.informatik.uni-kl.de:zeller/repliss.git
Copy HTTPS clone URLhttps://softech-git.informatik.uni-kl.de/zeller/repliss.git