Akim Demaille authored Apr 11, 2012 and Alexandre Duret-Lutz committed May 22, 2012

* configure.ac: here.

Akim Demaille authored Apr 02, 2012 and Alexandre Duret-Lutz committed May 22, 2012

* AUTHORS,
* ChangeLog,
* ChangeLog.1,
* ChangeLog.2,
* include/vaucanson/algebra/implementation/series/krat_exp_parser.hh,
* include/vaucanson/algorithms/aut_to_exp.hh,
* include/vaucanson/algorithms/complement.hh,
* include/vaucanson/algorithms/complete.hh,
* include/vaucanson/algorithms/derived_term_automaton.hh,
* include/vaucanson/algorithms/determinize.hh,
* include/vaucanson/algorithms/eval.hh,
* include/vaucanson/algorithms/is_deterministic.hh,
* include/vaucanson/algorithms/is_normalized.hh,
* include/vaucanson/algorithms/minimization_hopcroft.hh,
* include/vaucanson/algorithms/standard_of.hh,
* include/vaucanson/algorithms/sub_automaton.hh,
* include/vaucanson/design_pattern/design_pattern.hh:
recode l1..u8.

Akim Demaille authored Mar 19, 2012 and Alexandre Duret-Lutz committed May 22, 2012

* lib/src/krat_exp/krat_exp_bison.yy: Require Bison 2.5.
Require locations, for upward compatibility with 2.6.
Use a couple typedefs for clarity.
Factor vcsnyy::... with a namespace vcsnyy {...}.
Use code requires/provides for clarity.

* doc/NEWS.txt: Mention --list-all-commands-json.

* doc/README.txt: Mention Ncurses in the README.  Update the
version of Xerces-C++.
* doc/manual/TFKD-ch0.tex: Update prerequisites.

* taf-kit/src/main.cc: Add option --list-all-commands-json.
* taf-kit/src/Makefile.am: #define the name of all contexts
for all instances.
* taf-kit/src/commands.hh, taf-kit/src/commands.cc:
Add new specifiers to describe parameters, and implement
a list_json() method.
* taf-kit/src/cmd_wt.cc, taf-kit/src/cmd_b.cc,
taf-kit/src/cmd_fmp.cc, taf-kit/src/cmd_gen.cc,
taf-kit/src/cmd_io.cc, taf-kit/src/cmd_pair.cc,
taf-kit/src/cmd_r.cc, taf-kit/src/cmd_wt.cc: Specify output.

* configure.ac: Bump version to 1.4, and use dist-xz instead
of dist-bzip2.

* AUTHORS: Add Guillaume Fiette, Rodrigo de Souza, Pierre-Yves
Angrand, and Victor Marsault.

* doc/manual/TAFK.tex, doc/manual/TFKD-ch0.tex,
doc/manual/TFKD-ch1.tex, doc/manual/TFKD-ch2-1.tex,
doc/manual/TFKD-ch2-2.tex, doc/manual/TFKD-ch2-3.tex,
doc/manual/TFKD-ch2-4.tex, doc/manual/TFKD-ch2-5.tex,
doc/manual/TFKD-ch2-6.tex, doc/manual/TFKD-ch2.tex,
doc/manual/TFKD-chA.tex, doc/manual/TFKD-chB.tex,
doc/manual/TFKD-chC.tex, doc/manual/TFKD-chD.tex,
doc/manual/TFKD-chE.tex, doc/manual/TFKD-chZ.tex,
doc/manual/TFKD-intro.tex, doc/manual/TFKD-title.tex,
doc/manual/Z6Z-1345-univ-v2.tex,
doc/manual/texinputs/accent_keys.tex,
doc/manual/texinputs/js_macros3.tex,
doc/manual/texinputs/js_symboles3.tex: New files.
* doc/manual/figures/: New directory, full of postscript
files.
* doc/manual/developer.tex, doc/manual/taf-kit-manual.tex,
doc/manual/vaucanswig.tex: Delete.
* doc/manual/Makefile: Update.

* data/automata/char-zmax/gag.cc: Delete.
* data/automata/char-zmax/Makefile.am: Remove it.

* data/automata/char-zmin/sag.cc: Rename as ...
* data/automata/char-zmin/minblocka.cc: ... this.
* data/automata/char-zmin/Makefile.am: Adjust.

* data/automata/char-fmp-b/Makefile.am: Change the ORR
demo to replace abb by baa, and rename its output to
fibred_left.xml and fibred_right.xml.

* data/automata/char-zmin/slowbig.cc: Rename as...
* data/automata/char-zmin/slowgrow.cc: ... this.
* data/automata/char-zmin/Makefile.am: Adjust.

* data/automata/char-zmax/Makefile.am: Install examples in
char-zmax, not char-zmin.

Pierre-Yves Angrand authored Sep 27, 2011 and Alexandre Duret-Lutz committed Sep 27, 2011

* data/automata/char-zmin/slowbig.cc,
data/automata/char-zmax/maxblocka.cc: New files.
* data/automata/char-zmin/Makefile.am,
data/automata/char-zmax/Makefile.am: Adjust.
* data/automata/char-zmin/minab.cc,
data/automata/char-zmax/maxab.cc: Fix reference to ETA.

When running `Display' in TAF-Kit's editor would enter a warp zone
if dotty is not in PATH: because of the missing exit() after
execvp(), two forks of TAF-Kit's editor would compete for the
terminal.

* include/vaucanson/tools/out_display.hxx (out_display): Exit
if execvp returns an error, and report the failure.

* build-aux/vcsn.m4: Use AC_LANG_SOURCE when calling AC_LINK_IFELSE.
This fix a warning reported by Autoconf 2.68.

and add a test case where proper should not work.

Sylvain Lombardy authored Sep 13, 2011 and Alexandre Duret-Lutz committed Sep 13, 2011

* include/vaucanson/algebra/implementation/semiring/q_number.hh,
include/vaucanson/algebra/implementation/semiring/q_number.hxx,
include/vaucanson/algorithms/eps_removal.hxx,
include/vaucanson/misc/algebra.hh,
include/vaucanson/misc/algebra.hxx: Here.

Sylvain Lombardy authored Sep 13, 2011 and Alexandre Duret-Lutz committed Sep 13, 2011

* include/vaucanson/algorithms/image.hxx,
include/vaucanson/algorithms/domain.hxx: Call cut_up.

* taf-kit/src/cmd_wt.cc (support_command): New command.
* taf-kit/tests/vcsn-char-z.test: Add a new test.

* include/vaucanson/algorithms/image.hxx,
include/vaucanson/algorithms/image.hh (image): Add an optional
parameter to keep the weights.
* include/vaucanson/algorithms/domain.hxx,
include/vaucanson/algorithms/domain.hh (domain): Likewise.
(do_fmp_weighted_domain): Remove this copy of do_fmp_domain()
which now has a Boolean parameter to decide what to do with
weights.
* taf-kit/src/cmd_fmp.cc (image, domain): Remove weights.
(w_image, w_domain): New commands that keep weights.
* taf-kit/tests/vcsn-int-fmp-z.test: Adjust test.

* include/vaucanson/algorithms/evaluation_fmp.hxx: Do not
subnormalize the input.  At it as a precondition.
* include/vaucanson/algorithms/evaluation_fmp.hh: Document it.
* src/tests/sanity/hhck.pl (read_hh): Handle subnormalized
preconditions.

* taf-kit/src/edition_commands.hxx (ask_and_treat_choice): Squeeze
the display of actions on three columns to save space.  Suggested
by Jacques.

* taf-kit/src/cmd_wt.cc (chain): Handle the 0th power specifically.
* taf-kit/tests/vcsn-char-b.test: Add a test.

* taf-kit/src/star_alphabet_command.hh,
taf-kit/src/star_alphabet_command.hx: Remove these files.  Merge
them into ...
* taf-kit/src/cmd_wt.cc (star_alphabet_command): ... here.
(power_command): Handle the 0th power specifically.
* taf-kit/tests/vcsn-char-b.test: Add a new test.
* taf-kit/src/Makefile.am (COMMON_SOURCES): Remove
star_alphabet_command.hh and star_alphabet_command.hxx.

It contains a feature (--list-factory) that cannot work, and
multiple useless commented functions (!?!?).

* taf-kit/src/library_commands.hh, taf-kit/src/main.cc: Restore
these files as they were before 2011-07-13.

David Moreira authored Sep 09, 2011 and Alexandre Duret-Lutz committed Sep 09, 2011

* include/vaucanson/algorithms/domain.hxx,
* include/vaucanson/algorithms/image.hxx: Update, Fix
FIXME.
* include/vaucanson/algorithms/universal.hh,
* include/vaucanson/algorithms/universal.hxx: Create universal
algorithms.
* include/Makefile.am: Include
include/vaucanson/algorithms/universal.hh
and include/vaucanson/algorithms/universal.hxx to the vaucanson
dist tarball.
* lib/generate_libvcsn.rb: universal algorithms is for automata.
* data/.gitignore: Ignore new binary.
* taf-kit/src/cmd_b.cc, taf-kit/src/cmd_r.cc: Add universal command
to boolean and real automata.

* configure.ac: Bump version to 1.3.9a.
* doc/manual/taf-kit-manual.tex: Likewise.

* data/automata/char-fmp-b/ORR.cc: Add one
rule rewriting in automata data.