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

Merge branch 'master' into next

Browse source 
Conflicts:
	NEWS
	configure.ac
	src/kripketest/bad_parsing.test
	src/ltltest/reduccmp.test
	src/neverparse/neverclaimscan.ll
	src/tgba/futurecondcol.cc
	src/tgba/tgbasafracomplement.cc
	src/tgbaalgos/hoa.cc
	src/tgbaalgos/ltl2tgba_fm.cc
	src/tgbatest/neverclaimread.test
	src/tgbatest/readsave.test
This commit is contained in:
Alexandre Duret-Lutz 2014-12-06 14:02:38 +01:00
commit d2597854c8
3 changed files with 16 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

8
HACKING
View file

@ -3,6 +3,14 @@ Bootstraping from the GIT repository
(If you are building from a tarball, skip this section.) (If you are building from a tarball, skip this section.)
Spot's gitlab page is at
https://gitlab.lrde.epita.fr/spot/spot
The GIT repository can be cloned with
git clone https://gitlab.lrde.epita.fr/spot/spot.git
Some files in SPOT's source tree are generated. They are distributed Some files in SPOT's source tree are generated. They are distributed
so that users do not need to tools to rebuild them, but we don't keep so that users do not need to tools to rebuild them, but we don't keep
all of them under GIT because it can generate lots of changes or all of them under GIT because it can generate lots of changes or

8
NEWS
View file

@ -173,7 +173,11 @@ New in spot 1.99a (not yet released)
- The unused implementation of state-based alternating Büchi automata - The unused implementation of state-based alternating Büchi automata
has been removed. has been removed.
New in spot 1.2.5a (not yet released) New in spot 1.2.6a (not yet released)
Nothing yet.
New in spot 1.2.6 (2014-12-06)
* New features: * New features:
@ -195,6 +199,7 @@ New in spot 1.2.5a (not yet released)
state labels. state labels.
- the acceptance specification in the HOA format output have been - the acceptance specification in the HOA format output have been
adjusted to match recent changes in the format specifications. adjusted to match recent changes in the format specifications.
- atomic propositions are correctly escaped in the HOA output.
- the build rules for documentation have been made compatible with - the build rules for documentation have been made compatible with
version 8.0 of Org-mode. (This was only a problem if you build version 8.0 of Org-mode. (This was only a problem if you build
from the git repository, or if you want to edit the from the git repository, or if you want to edit the
@ -210,6 +215,7 @@ New in spot 1.2.5a (not yet released)
libstd++ has also been fixed. libstd++ has also been fixed.
- all parsers would report wrong line numbers while processing - all parsers would report wrong line numbers while processing
files with DOS style newlines. files with DOS style newlines.
- add support for SWIG 3.0.
New in spot 1.2.5 (2014-08-21) New in spot 1.2.5 (2014-08-21)

2
doc/org/tools.org
View file

@ -1,4 +1,4 @@
#+TITLE: Command-line tools installed by Spot 1.2.5 #+TITLE: Command-line tools installed by Spot 1.2.6
#+EMAIL spot@lrde.epita.fr #+EMAIL spot@lrde.epita.fr
#+OPTIONS: H:2 num:nil toc:t #+OPTIONS: H:2 num:nil toc:t