|
gen
|
tl: add support for X[n], F[n:m] and G[n:m]
|
2018-07-06 21:53:10 +02:00 |
|
graph
|
remove duplicated includes
|
2018-07-23 10:01:38 +02:00 |
|
kripke
|
python: improve kripke_graph bindings
|
2019-03-16 13:28:45 +01:00 |
|
ltsmin
|
work around gcc 8.2.1+ bug #89303
|
2019-02-13 16:11:21 +01:00 |
|
misc
|
Several typos
|
2019-02-14 16:25:13 +01:00 |
|
parsetl
|
parsetl: better handling of MS-DOS line endings
|
2019-02-02 11:39:03 +01:00 |
|
priv
|
gcc-snapshot warnings
|
2018-08-11 17:33:53 +02:00 |
|
ta
|
noexcept: please gcc snapshot
|
2018-11-29 10:16:01 +00:00 |
|
taalgos
|
remove duplicated includes
|
2018-07-23 10:01:38 +02:00 |
|
tl
|
print_dot_psl: fix numbering of commutative operands
|
2018-12-17 17:09:56 +01:00 |
|
twa
|
complement: add a complement() function
|
2019-04-07 15:48:06 +02:00 |
|
twaalgos
|
genem: fix previous patch
|
2019-04-14 15:07:48 +02:00 |
|
.gitignore
|
install pkg-config configuration files
|
2017-01-14 17:56:05 +01:00 |
|
libspot.pc.in
|
install pkg-config configuration files
|
2017-01-14 17:56:05 +01:00 |
