| .. |
|
.gitignore
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
_aux.ipynb
|
python: report dot errors
|
2016-02-16 14:34:57 +01:00 |
|
acc_cond.ipynb
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
accparse.ipynb
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
accparse2.py
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
alarm.py
|
parsetl: change the interface to return a parsed_formula
|
2016-02-17 20:31:58 +01:00 |
|
atva16-fig2a.ipynb
|
python: add the examples from the ATVA'16 paper
|
2016-06-17 14:18:48 +02:00 |
|
atva16-fig2b.ipynb
|
python: add the examples from the ATVA'16 paper
|
2016-06-17 14:18:48 +02:00 |
|
automata-io.ipynb
|
dot: add option C(COLOR)
|
2016-02-05 19:26:38 +01:00 |
|
automata.ipynb
|
sbacc: improve using SCCs and common marks
|
2016-07-31 22:57:50 +02:00 |
|
bddnqueen.py
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
bugdet.py
|
simulation: do not purge unreachable states when recording implications
|
2016-11-01 09:29:55 +01:00 |
|
decompose.ipynb
|
Make spot.py a python package instead of a module
|
2016-01-26 19:20:26 +01:00 |
|
formulas.ipynb
|
python: support operator rewriting in __format__
|
2016-05-01 21:05:49 +02:00 |
|
highlighting.ipynb
|
python: add missing bindings for randomize()
|
2016-07-19 02:55:07 +02:00 |
|
implies.py
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
interdep.py
|
parsetl: change the interface to return a parsed_formula
|
2016-02-17 20:31:58 +01:00 |
|
ipnbdoctest.py
|
tests: do not hide stderr in ipnbdoctest
|
2016-11-10 23:18:57 +01:00 |
|
ltl2tgba.py
|
parsetl: change the interface to return a parsed_formula
|
2016-02-17 20:31:58 +01:00 |
|
ltl2tgba.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
ltlf.py
|
from_ltlf: new LTL transformation.
|
2016-11-05 22:59:02 +01:00 |
|
ltlparse.py
|
parsetl: change the interface to return a parsed_formula
|
2016-02-17 20:31:58 +01:00 |
|
ltlsimple.py
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
ltsmin-dve.ipynb
|
tests: rename ltsmin.ipynb
|
2016-06-12 12:28:15 +02:00 |
|
ltsmin-pml.ipynb
|
adjust tests to SpinS 1.1
|
2016-06-22 21:26:35 +02:00 |
|
minato.py
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
optionmap.py
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
otfcrash.py
|
cleanup ltsmin bindings
|
2016-02-16 19:08:28 +01:00 |
|
parsetgba.py
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
piperead.ipynb
|
Make spot.py a python package instead of a module
|
2016-01-26 19:20:26 +01:00 |
|
prodexpt.py
|
product: raise an exception if the dict are different
|
2016-01-23 21:28:35 +01:00 |
|
product.ipynb
|
twa: store property bits as trivals
|
2016-01-13 17:57:54 +01:00 |
|
randaut.ipynb
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
randgen.py
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
randltl.ipynb
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
relabel.py
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
remfin.py
|
twa: store property bits as trivals
|
2016-01-13 17:57:54 +01:00 |
|
satmin.py
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
setxor.py
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
testingaut.ipynb
|
Make spot.py a python package instead of a module
|
2016-01-26 19:20:26 +01:00 |
|
trival.py
|
trival: new class for tri-valued logic
|
2016-01-13 17:57:54 +01:00 |
|
word.ipynb
|
twa: add accepting_run() and accepting_word() methods
|
2016-07-18 23:23:01 +02:00 |
