alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

org: update mailman urls

Browse source 
* doc/org/index.org, tests/python/bdditer.py: Here.
This commit is contained in:
Alexandre Duret-Lutz 2021-12-13 10:00:51 +01:00
parent 1bd1129494
commit 6dd7097148
2 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

4
doc/org/index.org
View file

@ -69,10 +69,10 @@ with]] Spot, you should distribute the source code of that tool as well.
=spot-announce@lrde.epita.fr= is an extremely low-traffic and
read-only mailing list for release announcements. If you want to stay
informed about future releases of Spot, we invite you to [[https://lists.lrde.epita.fr/listinfo/spot-announce][subscribe]].
informed about future releases of Spot, we invite you to [[https://lists.lrde.epita.fr/postorius/lists/spot-announce.lrde.epita.fr/][subscribe]].
[[mailto:spot@lrde.epita.fr][=spot@lrde.epita.fr=]] is a list for general discussions and questions
about Spot. [[https://lists.lrde.epita.fr/listinfo/spot][Subscribe here]] if you want to join, but feel free to send
about Spot. [[https://lists.lrde.epita.fr/postorius/lists/spot.lrde.epita.fr/][Subscribe here]] if you want to join, but feel free to send
in any question (in English) or bug report without subscribing.
* Citing

8
tests/python/bdditer.py
View file

@ -1,6 +1,6 @@
# -*- mode: python; coding: utf-8 -*-
# Copyright (C) 2017, 2018 Laboratoire de Recherche et Développement de l'Epita
# (LRDE).
# Copyright (C) 2017, 2018, 2021 Laboratoire de Recherche et
# Développement de l'Epita (LRDE).
#
# This file is part of Spot, a model checking library.
#
@ -19,8 +19,8 @@
# Tests different ways to explore a BDD label, as discussed in
# http://lists.lrde.epita.fr/pipermail/spot/2017q1/000117.html
# https://lists.lrde.epita.fr/hyperkitty/list/spot@lrde.epita.fr/\
# message/WIAOWDKKPXTTK6UBE3MAHDFWIT36EUMX/
import spot
import buddy
import sys