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

313 commits

Author SHA1 Message Date
Alexandre Duret-Lutz
23903d204f configure: remove useless calls to AC_CHECK_PROG 
Fixes #329.

* configure.ac: Do not check for lbt, modella, and ltl2nba.
* bench/ltl2tgba/defs.in: Remove the associated substitutions,
not used in the scripts.
 2018-03-09 20:21:43 +01:00
Alexandre Duret-Lutz
cdec6b28a2 * configure.ac: fix definition of DOT. 2018-02-21 17:58:19 +01:00
Alexandre Duret-Lutz
9a29e8e063 bump version to 2.5.1.dev 
* NEWS, configure.ac: Here.
 2018-02-20 08:23:08 +01:00
Alexandre Duret-Lutz
6887fcdbff Release Spot 2.5.1 
* NEWS, configure.ac, doc/org/setup.org: Set version to 2.5.1.
 2018-02-20 07:58:58 +01:00
Alexandre Duret-Lutz
c68b04a99e * NEWS, configure.ac: Bump version to 2.5.0.dev. 2018-01-20 17:45:50 +01:00
Alexandre Duret-Lutz
f3a0ede9f3 Release Spot 2.5 
* NEWS, configure.ac, doc/org/setup.org: Bump version.
 2018-01-20 15:09:00 +01:00
Alexandre Duret-Lutz
0d963d5f7e Merge branch 'master' into next 2017-12-25 15:48:09 +01:00
Alexandre Duret-Lutz
9c77cb321e * NEWS, configure.ac: Bump version to 2.4.4.dev. 2017-12-25 15:46:44 +01:00
Alexandre Duret-Lutz
2f5fb47c7f Release Spot 2.4.4 
* NEWS, configure.ac, doc/org/setup.org: Bump version.
 2017-12-25 15:42:03 +01:00
Alexandre Duret-Lutz
7f97c90470 Merge branch 'master' into next 2017-12-19 10:40:50 +01:00
Alexandre Duret-Lutz
696d81f651 Bump version number 
* configure.ac, NEWS: Update to 2.4.3.dev.
 2017-12-19 10:40:07 +01:00
Alexandre Duret-Lutz
325d3f921f Release Spot 2.4.3 
* NEWS, configure.ac, doc/org/setup.org: Update.
 2017-12-19 10:13:07 +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
7c8d52640e Bump version to 2.4.2.dev 
* configure.ac, NEWS: Here.
 2017-11-07 07:46:53 +01:00
Alexandre Duret-Lutz
ed5463cf6f Release Spot 2.4.2 
* NEWS, configure.ac, doc/org/setup.org: Update.
 2017-11-07 07:44:27 +01:00
Alexandre Duret-Lutz
da65479696 Bump version to 2.4.1.dev 
* NEWS, configure.ac: Here.
 2017-10-18 14:45:21 +02:00
Alexandre Duret-Lutz
5c22db3c73 Release Spot 2.4.1 
* NEWS, configure.ac, doc/org/setup.org: Bump version.
 2017-10-05 15:52:57 +02:00
Alexandre Duret-Lutz
bfe5753bf9 * NEWS, configure.ac: Bump version to 2.4.0.dev. 2017-09-06 11:05:34 +02:00
Alexandre Duret-Lutz
80621557b2 Release Spot 2.4 
* NEWS, configure.ac, doc/org/setup.org: Bump version.
 2017-09-05 21:08:48 +02:00
Alexandre Duret-Lutz
f5dce597c6 switch to C++14 compilation 
* configure.ac: Compile in C++14 by default and rename
--enable-c++14 as c++17.
* doc/org/compile.org, doc/org/concepts.org, doc/org/index.org,
doc/org/install.org, doc/org/tut.org, doc/org/upgrade2.org, HACKING,
NEWS, README: Adjust all mentions of C++11.
* spot/twaalgos/stats.hh: Use std::make_unique.
 2017-08-22 18:21:49 +02:00
Alexandre Duret-Lutz
efbce454e2 Merge branch 'master' into next 2017-06-22 07:06:29 +02:00
Alexandre Duret-Lutz
6c3daf0cd4 bump version 
* NEWS, configure.ac: Bump version to 2.3.5.dev.
 2017-06-22 07:03:15 +02:00
Alexandre Duret-Lutz
af000edbf9 Release Spot 2.3.5 
* NEWS, configure.ac, doc/org/setup.org: Update version.
 2017-06-22 06:58:01 +02:00
Alexandre Duret-Lutz
97e903b13d libtool: surrender to Debian's castrated libtool 
The libtool version distributed by Debian is patched to *not* propagate
dependencies (i.e., if libA depends on libB, then linking against libA
will not automatically link against libB, it has to be explicit),
contrary to what the Libtool manual document.  So now we explicitly
link against both libA and libB in such case.

* configure.ac: Remove the workaround that does not work for
MinGW.
* doc/org/compile.org: Mention the issue.
* bin/Makefile.am, tests/Makefile.am, spot/ltsmin/Makefile.am,
doc/org/g++wrap.in: Make the dependencies explicit.
 2017-06-11 23:15:20 +02:00
Alexandre Duret-Lutz
1042a8dae1 libtool: surrender to Debian's castrated libtool 
The libtool version distributed by Debian is patched to *not* propagate
dependencies (i.e., if libA depends on libB, then linking against libA
will not automatically link against libB, it has to be explicit),
contrary to what the Libtool manual document.  So now we explicitly
link against both libA and libB in such case.

* configure.ac: Remove the workaround that does not work for
MinGW.
* doc/org/compile.org: Mention the issue.
* bin/Makefile.am, tests/Makefile.am, spot/ltsmin/Makefile.am,
spot/gen/Makefile.am, doc/org/g++wrap.in: Make the dependencies
explicit.
 2017-06-07 20:34:05 +02:00
Alexandre Duret-Lutz
7dfa0ec15d Merge branch 'master' into next 2017-05-11 10:18:00 +02:00
Alexandre Duret-Lutz
b9c250894b * NEWS, configure.ac: Bump version number. 2017-05-11 10:16:03 +02:00
Alexandre Duret-Lutz
52b5491b8e Release Spot 2.3.4 
* NEWS, configure.ac, doc/org/setup.org: Update version to 2.3.4.
 2017-05-11 10:10:48 +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
Alexandre Duret-Lutz
19602e4bd0 Bump version number to 2.3.3.dev 
* NEWS, configure.ac: Here.
 2017-04-11 10:46:40 +02:00
Alexandre Duret-Lutz
e39e5ac586 Spot 2.3.3 
* NEWS, configure.ac, doc/org/setup.org: Bump version number.
 2017-04-11 10:43:04 +02:00
Alexandre Duret-Lutz
6b339a3712 Bump version to 2.3.2.dev 
* NEWS, configure.ac: Here.
 2017-03-15 09:21:59 +01:00
Alexandre Duret-Lutz
696eba8a29 Release Spot 2.3.2 
* configure.ac, NEWS, doc/org/setup.org: Bump version to 2.3.2.
 2017-03-15 09:17:10 +01:00
Alexandre Duret-Lutz
36c53ece2a * configure.ac: Bump version to 2.3.1.dev. 2017-02-20 08:04:34 +01:00
Alexandre Duret-Lutz
b08da14e04 Release Spot 2.3.1 
* configure.ac, NEWS, doc/org/setup.org: Bump version numbers.
 2017-02-20 07:51:53 +01:00
Etienne Renault
6be87e5bb9 configure: allows to silent compilation 
* HACKING, configure.ac: here.
 2017-02-16 14:10:25 +01:00
Alexandre Duret-Lutz
a84f9cddcf Bump version to 2.3.0.dev 
* NEWS, configure.ac: Here.
 2017-01-19 13:37:52 +01:00
Alexandre Duret-Lutz
6d032597bf Release Spot 2.3 
* configure.ac, doc/org/setup.org, NEWS: Bump version to 2.3.
 2017-01-19 09:25:22 +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
975ec6ff81 Merge branch 'master' into next 2016-12-16 07:03:18 +01:00
Alexandre Duret-Lutz
f8f7c9a537 bump version number 
* NEWS, configure.ac: Set version 2.2.2.dev.
 2016-12-16 06:58:46 +01:00
Alexandre Duret-Lutz
574f47c366 Release Spot 2.2.2 
* NEWS, configure.ac, doc/org/setup.org: Update version.
 2016-12-16 06:50:59 +01:00
Maximilien Colange
05f8333e76 Add an option to enable C++14. 
* configure.ac: add an option --enable-c++14.
* NEWS: mention the new option.
 2016-12-14 09:40:38 +01:00
Alexandre Duret-Lutz
e1d0c07d4b * NEWS, configure.ac: Bump version number. 2016-11-24 11:00:30 +01:00
Alexandre Duret-Lutz
ef214b2c42 * NEWS, configure.ac: Bump version number. 2016-11-21 11:09:51 +01:00
Alexandre Duret-Lutz
9cf8535578 Release Spot 2.2.1 
* NEWS, configure.ac, doc/org/setup.org: Update.
 2016-11-21 09:00:51 +01:00
Alexandre Duret-Lutz
5376466f43 * configure.ac, NEWS: Bump version number. 2016-11-14 10:15:38 +01:00
Alexandre Duret-Lutz
dd960dc71c Release Spot 2.2 
* configure.ac, doc/org/setup.org, NEWS: Set version number.
 2016-11-14 06:02:13 +01:00
Alexandre Duret-Lutz
de665ce28f * configure.ac, NEWS: Bump version to 2.1.2.dev. 2016-10-14 17:30:07 +02:00