Toggle navigation
Toggle navigation
This project
Loading...
Sign in
Franck Pommereau
/
snakes
Go to a project
Toggle navigation
Toggle navigation pinning
Projects
Groups
Snippets
Help
Project
Activity
Repository
Pipelines
Graphs
Issues
0
Merge Requests
0
Wiki
Network
Create a new issue
Builds
Commits
Authored by
Franck Pommereau
2013-04-10 13:53:33 +0200
Browse Files
Options
Browse Files
Download
Email Patches
Plain Diff
Commit
b03d9cb16f7c06005648a5bff1569cef980ccd2c
b03d9cb1
1 parent
4d0bd0fd
next version
Hide whitespace changes
Inline
Side-by-side
Showing
7 changed files
with
34 additions
and
13 deletions
VERSION
debian/DISTRIB
debian/PPA
doc/examples/abcd/ns/dolev_yao.py
setup.py
snakes/__init__.py
snakes/utils/abcd/__init__.py
VERSION
View file @
b03d9cb
0.9.1
6
0.9.1
7
...
...
debian/DISTRIB
View file @
b03d9cb
lucid 10.04 LTS
hardy 8.04 LTS
oneiric 11.10
precise 12.04 LTS
quantal 12.10
\ No newline at end of file
...
...
debian/PPA
View file @
b03d9cb
5
1
...
...
doc/examples/abcd/ns/dolev_yao.py
View file @
b03d9cb
...
...
@@ -11,7 +11,7 @@ class Nonce (object) :
def
__str__
(
self
)
:
return
self
.
__repr__
()
def
__repr__
(
self
)
:
return
"Nonce(
%
x
)"
%
self
.
_agent
return
"Nonce(
%
s
)"
%
self
.
_agent
def
_cross
(
sets
)
:
if
len
(
sets
)
==
0
:
...
...
setup.py
View file @
b03d9cb
...
...
@@ -17,7 +17,11 @@ def doc_files() :
if
__name__
==
"__main__"
:
print
(
"Compiling Emacs files..."
)
os
.
system
(
"emacs -batch -f batch-byte-compile utils/abcd-mode.el"
)
if
os
.
system
(
"emacs -batch -f batch-byte-compile utils/abcd-mode.el"
)
:
emacs
=
[(
"share/emacs/site-lisp"
,
[
"utils/abcd-mode.el"
,
"utils/abcd-mode.elc"
])]
else
:
emacs
=
[(
"share/emacs/site-lisp"
,
[
"utils/abcd-mode.el"
])]
#
setup
(
name
=
"SNAKES"
,
version
=
open
(
"VERSION"
)
.
read
()
.
strip
(),
...
...
@@ -47,7 +51,5 @@ if __name__ == "__main__" :
"snakes.utils.abcd"
,
"snakes.utils.ctlstar"
,
],
data_files
=
(
doc_files
()
+
[(
"share/emacs/site-lisp"
,
[
"utils/abcd-mode.el"
,
"utils/abcd-mode.elc"
])]),
data_files
=
doc_files
()
+
emacs
,
)
...
...
snakes/__init__.py
View file @
b03d9cb
...
...
@@ -19,7 +19,7 @@
@contact: franck.pommereau@ibisc.univ-evry.fr
"""
version
=
"0.9.1
6
"
version
=
"0.9.1
7
"
defaultencoding
=
"utf-8"
"""## Module `snakes`
...
...
snakes/utils/abcd/__init__.py
View file @
b03d9cb
"""
@todo: revise (actually make) documentation
"""This package features the ABCD compiler, this is mainly a
command-line tool but it can be called also from Python. The API is
very simple and mimics the command line interface
### Function `snakes.utils.abcd.main.main` ###
:::python
def main (args=sys.argv[1:], src=None) : ...
Entry point of the compiler
##### Call API #####
* `list args`:
* `str src`:
* `return PetriNet`:
##### Exceptions #####
* `DeclarationError`: when
* `CompilationError`: when
"""
# apidoc stop
from
snakes
import
SnakesError
class
CompilationError
(
SnakesError
)
:
...
...
Please
register
or
login
to post a comment