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

spot.ltsmin: fix errors on Darwin

Browse source 
* NEWS, python/spot/ltsmin.i: here.
This commit is contained in:
Etienne Renault 2016-10-10 13:22:25 +02:00 • committed by Alexandre Duret-Lutz
parent a2575e0d3e
commit 8a8fcf2ac1
2 changed files with 8 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

9
NEWS
View file

@ -16,10 +16,10 @@ New in spot 2.1.1.dev (not yet released)
Bug fixes: Bug fixes:
- Fix spurious uninitialized read reported by valgrind when * Fix spurious uninitialized read reported by valgrind when
is_Kleene_star() is compiled by clang++. is_Kleene_star() is compiled by clang++.
- Using "ltlfilt some-large-file --some-costly-filter" could take * Using "ltlfilt some-large-file --some-costly-filter" could take
to a lot of time before displaying the first results, because the to a lot of time before displaying the first results, because the
output of ltlfilt is buffered: the buffer had to fill up before output of ltlfilt is buffered: the buffer had to fill up before
being flushed. The issue did not manifest when the input is being flushed. The issue did not manifest when the input is
@ -27,7 +27,10 @@ New in spot 2.1.1.dev (not yet released)
should flush std::cout; however it was well visible when reading should flush std::cout; however it was well visible when reading
from files. Flushing is now done more regularly. from files. Flushing is now done more regularly.
- Fix compilation warnings when -Wimplicit-fallthrough it enabled. * Fix compilation warnings when -Wimplicit-fallthrough it enabled.
* Fix python errors on Darwin when using methods from the spot module
inside of the spot.ltsmin submodule.
New in spot 2.1.1 (2016-09-20) New in spot 2.1.1 (2016-09-20)

3
python/spot/ltsmin.i
View file

@ -26,7 +26,8 @@
%module(package="spot", director="1") ltsmin %module(package="spot", director="1") ltsmin
%include "std_string.i" %include "std_string.i"
%include "std_set.i" %include "exception.i"
%import(module="spot.impl") "std_set.i"
%include "std_shared_ptr.i" %include "std_shared_ptr.i"
%shared_ptr(spot::bdd_dict) %shared_ptr(spot::bdd_dict)