alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity
6176 commits 6 branches 0 tags 36 MiB
Commit graph

78 commits

Author SHA1 Message Date
Alexandre Duret-Lutz
78bcd9c453 bump copyright year 
* bin/common_setup.cc, debian/copyright: Here.
 2022-01-10 14:51:34 +01:00
Alexandre Duret-Lutz
830f68b3b9 robin_hood: Update to version 3.11.3 
The only difference with upstream is that we keep std::malloc() as
malloc() to avoid issues with gnulib that sometimes redefine malloc to
rpl_malloc with a macro without defining std::rpl_malloc.

* spot/priv/robin_hood.hh, debian/copyright: Update.
* spot/priv/Makefile.am (update): Rename std::malloc to malloc.
 2021-09-16 14:07:17 +02:00
Alexandre Duret-Lutz
da869b7ddf * debian/copyright: Add missing licenses for m4/ files. 2021-01-11 20:46:36 +01:00
Alexandre Duret-Lutz
449c1a582a bump copyright year 
* bin/common_setup.cc, debian/copyright: Here.
 2021-01-05 12:54:48 +01:00
Alexandre Duret-Lutz
8ac9684a69 debian: do not install README in both spot and spot-doc 
* debian/spot-doc.docs: Delete this file.
* Makefile.am: Adjust.
 2020-11-27 09:33:29 +01:00
Alexandre Duret-Lutz
c8a32f62c7 debian: use -flto=jobserver. 
* debian/rules: Adjust to use the jobserver, don't pass 'u' to ar,
and fix typo introduced by fe694e2ba.
 2020-11-26 16:13:04 +01:00
Alexandre Duret-Lutz
8d2155d632 debian: upgrade dh-compat and standards versions 
* debian/compat, debian/control: Upgrade dh compat from 9 to 12.
* debian/rules: Upgrade standards from 3.9.6 to to 4.5.1.
 2020-11-25 13:25:13 +01:00
Alexandre Duret-Lutz
a8db30d676 * debian/rules (fix-js): Adjust to newer MathJax URL. 2020-07-29 15:17:47 +02:00
Alexandre Duret-Lutz
31fd31436a * debian/copyright: Fix bricks' license, and replace MIT by Expat. 2020-07-27 21:47:28 +02:00
Etienne Renault
c20abb5a0f debian: remove useless directive 
* debian/libspot-dev.install: Here.
 2020-06-04 06:45:38 +02:00
Etienne Renault
01cceef29a bricks: move into spot directory 
* bricks/brick-assert, bricks/brick-bitlevel,
bricks/brick-hash, bricks/brick-hashset,
bricks/brick-shmem, bricks/brick-types: Rename as .. .
* spot/bricks/brick-assert, spot/bricks/brick-bitlevel,
spot/bricks/brick-hash, spot/bricks/brick-hashset,
spot/bricks/brick-shmem, spot/bricks/brick-types: ... this
* Makefile.am, README, debian/copyright,
debian/libspot-dev.install, m4/bricks.m4,
spot/Makefile.am, spot/ltsmin/spins_kripke.hh,
spot/ltsmin/spins_kripke.hxx, spot/mc/bloemen.hh
spot/mc/deadlock.hh, tests/Makefile.am,
tests/core/bricks.cc: here.
 2020-06-03 12:22:40 +02:00
Etienne Renault
fe694e2ba2 debian: fix corrupted profile info 
* debian/rules: here.
 2020-06-03 10:33:54 +02:00
Etienne Renault
458f506336 bricks: add bricks for concurrent hashmap 
* Makefile.am, README, bricks/brick-assert.h,
bricks/brick-bitlevel.h, bricks/brick-hash.h,
bricks/brick-hashset.h, bricks/brick-shmem.h,
bricks/brick-types.h, configure.ac,
debian/copyright, debian/libspot-dev.install,
m4/bricks.m4, tests/Makefile.am,
tests/core/.gitignore, tests/core/bricks.cc: here.
 2020-06-03 10:33:53 +02:00
Alexandre Duret-Lutz
40ce9ce3ef bump copyright year 
* bin/common_setup.cc, debian/copyright: Here.
 2020-01-01 16:20:28 +01:00
Alexandre Duret-Lutz
65dbfb0ff5 * debian/copyright: Add license for robin_hood.hh. 2019-10-19 15:53:15 +02:00
Alexandre Duret-Lutz
98bb705353 * debian/control (libspotgen0): Fix leading spaces in description. 2019-09-28 14:00:56 +02:00
Alexandre Duret-Lutz
1b58272a23 debian: use local version of require.js 
* debian/control (spot-doc): Depends on libjs-requirejs.
* debian/rules (fix-js): Replace uses.
 2019-09-28 13:57:05 +02:00
Alexandre Duret-Lutz
a11fe556f7 debian: remove -flo workaround 
* debian/rules: Here.
 2019-09-28 08:11:51 +02:00
Alexandre Duret-Lutz
c1d6d13d6e debian: use a specific directory for .gcda files 
Otherwise the .gcda files may end into .libs/ and be destroyed by make
clean.

* debian/rules (PRO1SETUP, PRO2SETUP): Here.
 2019-09-13 10:01:09 +02:00
Alexandre Duret-Lutz
bd0f959418 Bump copyright year 
* bin/common_setup.cc, debian/copyright: Here.
 2019-01-07 11:30:18 +01:00
Alexandre Duret-Lutz
9490179e27 * debian/copyright: Fix syntax. 2018-09-01 20:23:11 +02:00
Alexandre Duret-Lutz
2c3852597a remove more references to the old cgi-based translator 
* debian/source/lintian-overrides, python/.gitignore: Here
 2018-08-28 20:48:44 +02:00
Alexandre Duret-Lutz
32affa88cb debian: add missing build dependency 
* debian/control (Build-Depends): Add dh-python.
 2018-08-28 13:45:57 +02:00
Alexandre Duret-Lutz
c4015bbcbb debiam: fix the regex from previous patches 
* debian/rules: Here.
 2018-08-22 11:21:22 +02:00
Alexandre Duret-Lutz
68d89cf77f debian: apply the mathjax regex to org output as well 
* debian/rules: Here.
 2018-08-19 23:52:23 +02:00
Alexandre Duret-Lutz
87fd4813aa debian: another mathjax regex 
* debian/rules: mathjax is also fetched from cdnjs.cloudflare.com.
 2018-08-16 22:51:07 +02:00
Alexandre Duret-Lutz
39fb2c44e6 debian: adjust the mathjax regex 
* debian/rules: Here.
 2018-08-15 23:11:05 +02:00
Alexandre Duret-Lutz
6669bc3608 * debian/control: Typo. 2018-08-15 13:20:56 +02:00
Alexandre Duret-Lutz
befdb03c9a * debian/rules: Disable valgrind. 2018-04-10 14:14:08 +02:00
Alexandre Duret-Lutz
678446f1d6 bump copyright year 
* bin/common_setup.cc, debian/copyright: Here.
 2018-01-02 20:34:38 +01:00
Alexandre Duret-Lutz
c7f6655043 fix doxygen doc build 
* debian/rules: Build it last.
* configure.ac: Add missing comma.
 2017-11-24 19:35:58 +01:00
Alexandre Duret-Lutz
246b5d8fed doc: implement --enable-doxygen and do not distribute the doc 
Fixes #299.

* configure.ac, doc/Makefile.am: Adjust.
* NEWS, HACKING, README: Document the change.
* doc/dot.in: Delete, not used anymore.
* doc/Doxyfile.in: Adjust to not look for dot.
* debian/rules: Use --enable-doxygen.
 2017-11-22 16:06:04 +01:00
Alexandre Duret-Lutz
cd6f1c2c3e get rid of some unnecessary code 
* spot/priv/enumflags.hh: Delete.
* spot/priv/Makefile.am, debian/copyright: Adjust.
* spot/twaalgos/remfin.cc: Replace the complex enum
definition by a plain enum that is almost not used.
 2017-09-01 22:09:52 +02:00
Henrich Lauko
784681d833 remfin: Make removing of fins more modular. 
* spot/twaalgos/remfin.cc: Refactore remove_fin implementation. Enable
filtering of strategies used for fin removing.
* spot/priv/enumflags.hh: Add support for enum flags from brick-types.
* spot/priv/Makefile.am: Add enumflags.hh to make.
* debian/copyright: Update copyright with bricks library license.
 2017-06-07 14:33:01 +00:00
Alexandre Duret-Lutz
3d8c48555b debian: fix the changelog of buddy 
* debian/rules (override_dh_installchangelogs): New rule.
 2017-05-05 20:28:57 +02:00
Alexandre Duret-Lutz
c8b443ba32 install a libspotgen.pc file 
* spot/gen/libspotgen.pc.in: New file.
* spot/gen/Makefile.am: Install libspotgen.pc.
* debian/libspot-dev.install: Update.
 2017-05-04 11:13:23 +02:00
Maximilien Colange
d90e38eb2a Add a new library to generate formulas and automata. 
This library, called libspotgen, gathers functions to generate classes
of automata found in the literature.
Related to #254.

* NEWS, README: Mention the modification.
* Makefile.am, debian/control, debian/libspotgen0.install: Build the new
  library in a separate package.
* spot/gen/automata.hh, spot/gen/automata.cc: Add a family of co-Büchi
  automata.
* configure.ac, spot/Makefile.am, spot/gen/Makefile.am: Build the new
  library.
 2017-04-21 18:13:33 +02:00
Maximilien Colange
31a9bc6416 Fix wrong URL for Debian packages. 
* debian/control: Fix URL.
 2017-04-05 11:03:59 +02:00
Alexandre Duret-Lutz
a0891fde18 install pkg-config configuration files 
Suggested by Jeroen Meijer.

* spot/libspot.pc.in, spot/ltsmin/libspotltsmin.pc.in: New file.
* spot/Makefile.am, spot/ltsmin/Makefile.am: Distribute them, and
install their derived version.
* spot/.gitignore: Ignore *.pc files.
* debian/libbddx-dev.install, debian/libspot-dev.install: Ship
those *.pc files.
* NEWS: Mention it.
 2017-01-14 17:56:05 +01:00
Alexandre Duret-Lutz
7574d6d1e2 debian: distribute static libraries 
Suggested by Jeroen Meijer.

* debian/rules: Enable static libraries.
* debian/libbddx-dev.install, debian/libspot-dev.install: Distribute
them.
* THANKS: Add Jeroen.
* NEWS: Mention the change.
 2017-01-14 09:29:32 +01:00
Alexandre GBAGUIDI AISSE
32f040fa45 spot: Add Picosat to Spot library & Update satsolver class 
* Makefile.am: Add picosat to subdirs.
* configure.ac: Add picosat/Makefile to AC_CONFIG_FILES.
* README: Add picosat/ in the list of directories.
* debian/copyright: Add picosat licence and details.
* picosat/Makefile.am: Implement Makefile.am in picosat directory.
* spot/Makefile.am: Tell the compiler to add libpico.la into libspot.la.
* picosat/LICENSE: Add picosat licence.
* picosat/NEWS: Add picosat NEWS.
* picosat/VERSION: Add picosat VERSION.
* picosat/picosat.c: Add picosat c file.
* picosat/picosat.h: Add picosat header file.
* spot/misc/satsolver.cc: Update functions.
* spot/misc/satsolver.hh: Add documentation, clean code, change
some functions visibility and separate templates functions.
* spot/twaalgos/dtbasat.cc: Update dtba_to_sat function.
* spot/twaalgos/dtwasat.cc: Update dtwa_to_sat function.
 2017-01-06 19:53:21 +01:00
Alexandre Duret-Lutz
da6fc955a3 debian: add lintian-overrides for the Doxygen doc 
* debian/source/lintian-overrides: New file.
* Makefile.am: Add it.
 2016-11-29 08:14:14 +01:00
Alexandre Duret-Lutz
51a683c23f debian: depend on libjs-jquery 
This fix some lintian issues.

* debian/control: Add dependency.
* debian/rules: Fix the generated html page to use the local jquery.
 2016-11-28 18:17:48 +01:00
Alexandre Duret-Lutz
3eafbc823c debian: update build-depends for new Jupyter version 
Debian unstable now has Jupyter, but since it moved away from ipython3,
the packages now have different names.

* debian/control: Here.
 2016-11-06 09:59:23 +01:00
Alexandre Duret-Lutz
a45de35244 * debian/python3-spot.examples: Fix wildcard. 2016-02-17 14:31:22 +01:00
Alexandre Duret-Lutz
b56aec242a debian: do not distribute _*.ipynb files 
* tests/Makefile.am (nb-html): Only work on the subset of the notebooks
we want to show.
* debian/python3-spot.examples: Ignore _*.ipynb files.
 2016-02-17 08:53:02 +01:00
Alexandre Duret-Lutz
f7c495ad12 debian: do not compress notebooks 
So that they can be loaded by ipython directly.

* debian/rules: Exclude *.ipynb from compressed files.
 2016-02-16 20:52:51 +01:00
Alexandre Duret-Lutz
a3c2691632 debian: add missing file 
* debian/libspotltlsmin0.install: Rename as...
* debian/libspotltsmin0.install: ... this, and
* Makefile.am: Actually distribute it!
 2016-01-26 19:21:35 +01:00
Alexandre Duret-Lutz
5a9b0aa1c1 python: add bindings for ltsmin 
* python/spot/ltsmin.i: New file.
* python/Makefile.am: Add it.
* python/spot/impl.i: Add bindings for kripke and fair_kripke.
* tests/python/ltsmin.ipynb: New file.
* tests/Makefile.am, doc/org/tut.org: Add it.
* tests/python/ipnbdoctest.py: Make it possible for notebook
to exit(77).
* debian/control: Make the Python package dependent
on libspotltsmin0.
* python/spot/__init__.py: Typo.
 2016-01-26 19:20:53 +01:00
Alexandre Duret-Lutz
7e6bfd0e8f * debian/rules: Fix html conversion of notebooks. 2016-01-05 09:08:06 +01:00