Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
9.2.2023: Due to updates GitLab will be unavailable for some minutes between 9:00 and 11:00.
Open sidebar
i7
peregrine
Commits
3c881736
Commit
3c881736
authored
May 02, 2017
by
Philipp Meyer
Browse files
Rename project to peregrine
parent
1c1d70bd
Changes
5
Hide whitespace changes
Inline
Side-by-side
.gitignore
View file @
3c881736
...
...
@@ -18,4 +18,4 @@ cabal.config
benchmarks/
# Binaries
v
er
pol
p
er
egrine
README.md
View file @
3c881736
v
er
pol
P
er
egrine
=======
V
erification of
P
opulation
P
rotocols
Tool for efficient v
erification of
p
opulation
p
rotocols
v
er
pol
.cabal
→
p
er
egrine
.cabal
View file @
3c881736
name:
v
er
pol
name:
p
er
egrine
version: 1.0.0.0
synopsis: Verification of Population Protocol
synopsis:
Efficient
Verification of Population Protocol
description:
Efficient verification of population protocols
for the class WS3 of well-specified strongly-silent protocols
...
...
@@ -16,9 +16,9 @@ cabal-version: >=1.10
source-repository head
type: git
location: git://gitlab.lrz.de:i7/
v
er
pol
.git
location: git://gitlab.lrz.de:i7/
p
er
egrine
.git
executable
v
er
pol
executable
p
er
egrine
main-is: Main.hs
other-modules:
-- other-extensions:
...
...
src/Main.hs
View file @
3c881736
...
...
@@ -183,7 +183,7 @@ checkTerminalMarkingReachableProperty' pp triplets k kmax = do
main
::
IO
()
main
=
do
putStrLn
"
V
er
pol -
Verification of Population Protocols
\n
"
putStrLn
"
P
er
egrine - Efficient
Verification of Population Protocols
\n
"
args
<-
parseArgs
case
args
of
Left
err
->
exitErrorWith
err
...
...
src/Options.hs
View file @
3c881736
...
...
@@ -160,4 +160,4 @@ parseArgs = do
(
_
,
_
,
errs
)
->
return
$
Left
$
concat
errs
usageInformation
::
String
usageInformation
=
usageInfo
"
V
er
Pol
"
options
usageInformation
=
usageInfo
"
P
er
egrine
"
options
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment