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

* README: Update lbtt references.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2005-08-31 16:35:45 +00:00
parent cc4137e5ba
commit 98fd480506
2 changed files with 5 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

2
ChangeLog
View file

@ -1,5 +1,7 @@
2005-08-31 Alexandre Duret-Lutz <adl@src.lip6.fr> 2005-08-31 Alexandre Duret-Lutz <adl@src.lip6.fr>
* README: Update lbtt references.
* iface/gspn/ssp.cc: Typo in comment. * iface/gspn/ssp.cc: Typo in comment.
* lbtt/: Merge lbtt 1.2.0. * lbtt/: Merge lbtt 1.2.0.

6
README
View file

@ -35,8 +35,8 @@ flags specific to Spot:
--with-included-buddy --with-included-buddy
--with-included-lbtt --with-included-lbtt
Once you have installed Spot the first time. Modified versions of After you have installed Spot the first time, LBTT and a modified
LBTT and BuDDy will be installed. The next time you reconfigure version of BuDDy will be installed. The next time you reconfigure
Spot, configure will detect that these versions are already Spot, configure will detect that these versions are already
installed, and will attempt to use these installed versions installed, and will attempt to use these installed versions
directly (this is in case you had to modify one of these yourself directly (this is in case you had to modify one of these yourself
@ -125,7 +125,7 @@ Third party software
-------------------- --------------------
buddy/ A patched version of BuDDy 2.3 (a BDD library). buddy/ A patched version of BuDDy 2.3 (a BDD library).
lbtt/ A patched version of lbtt 1.1.2 (an LTL to Büchi automata test bench). lbtt/ lbtt 1.2.0 (an LTL to Büchi automata test bench).
Build-system stuff Build-system stuff