GitXplorerGitXplorer
w

impy

public
0 stars
0 forks
0 issues

Commits

List of commits on branch master.
Unverified
cad44c09c914d166d6023e74c3d837592e7a4986

add raft spec (no proof)

committed 6 years ago
Unverified
a791fb31d120aa632f358824970ecea5e6f3e2ed

start on verdi lockserv example

wwilcoxjay committed 6 years ago
Unverified
6320103e83070c36d4566b8bd3af750665e31d81

initial commit

wwilcoxjay committed 6 years ago

README

The README file for this repository.

impy

Brainstorming tool support for Dafny-TLA.