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

typos

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2006-02-03 10:31:48 +00:00
parent 2a843fab1a
commit a390fe0754
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
ChangeLog
View file

@ -1,6 +1,6 @@
2006-02-03 Alexandre Duret-Lutz <adl@src.lip6.fr> 2006-02-03 Alexandre Duret-Lutz <adl@src.lip6.fr>
* iface/gspn/ssp.cc (spot): Typo. * iface/gspn/ssp.cc (couvreur99_check_shy_ssp::find_state): Typo.
2006-02-02 Alexandre Duret-Lutz <adl@src.lip6.fr> 2006-02-02 Alexandre Duret-Lutz <adl@src.lip6.fr>
@ -12,12 +12,12 @@
split the "group" option in two: "group" and "group2". "group2" split the "group" option in two: "group" and "group2". "group2"
is the equivalent of the older "group", while the new "group" is is the equivalent of the older "group", while the new "group" is
weaker and faster. weaker and faster.
(couvreur99_check_shy::state_index): Change prototype as needed by (couvreur99_check_shy::find_state): Change prototype as needed by
the algorithm. the algorithm.
* src/tgbaalgos/gtec/gtec.hh: Adjust. * src/tgbaalgos/gtec/gtec.hh: Adjust.
* src/tgbaalgos/gtec/nsheap.hh, src/tgbaalgos/gtec/nsheap.cc * src/tgbaalgos/gtec/nsheap.hh, src/tgbaalgos/gtec/nsheap.cc
(index_and_insert): Remove. (index_and_insert): Remove.
* iface/gspn/ssp.cc (couvreur99_check_shy_ssp::state_index): Adjust * iface/gspn/ssp.cc (couvreur99_check_shy_ssp::find_state): Adjust
to new prototype. to new prototype.
* bench/emptchk/README, bench/emptchk/algorithms: Adjust references * bench/emptchk/README, bench/emptchk/algorithms: Adjust references
to group/group2. to group/group2.