Loading Makefile +6 −1 Original line number Diff line number Diff line all: all: build build: cabal build install: cabal install clean: cabal clean peregrine.cabal +1 −1 Original line number Diff line number Diff line Loading @@ -6,7 +6,7 @@ description: for the class WS3 of well-specified strongly-silent protocols using SMT solvers such as Z3, Yices or CVC4. license: GPL-3 license-file: LICENSE license-file: LICENSE.md author: Philipp Meyer maintainer: meyerphi@in.tum.de category: Formal Methods Loading Loading
Makefile +6 −1 Original line number Diff line number Diff line all: all: build build: cabal build install: cabal install clean: cabal clean
peregrine.cabal +1 −1 Original line number Diff line number Diff line Loading @@ -6,7 +6,7 @@ description: for the class WS3 of well-specified strongly-silent protocols using SMT solvers such as Z3, Yices or CVC4. license: GPL-3 license-file: LICENSE license-file: LICENSE.md author: Philipp Meyer maintainer: meyerphi@in.tum.de category: Formal Methods Loading
