1. 04 Sep, 2009 2 commits
    • Alexandre Duret-Lutz's avatar
      Fix run-time computation of automata path. · 03ccf59c
      Alexandre Duret-Lutz authored
      * taf-kit/src/library_commands.hh (get_automata_path): Search for
      vcsn- in program_name, do not assume it is at the beginning.  This
      was causing trouble when Taf-Kit was run as './vcsn-char-b' for
      instance, because it would then remove the first five characters
      and look for a directory named '/n-char-b'.
      03ccf59c
    • Alexandre Duret-Lutz's avatar
      Fix configure-time computation of VCSN_DATA_PATH. · 1707fd0a
      Alexandre Duret-Lutz authored
      * configure.ac (VCSN_DATA_PATH): Fix underquoted code in $prefix
      computation.  This was causing the wrong value of VCSN_DATA_PATH
      to be defined on my test installation on FreeBSD.
      1707fd0a
  2. 08 Jul, 2009 1 commit
    • Alex Hamelin's avatar
      Release 1.3.1. · bd8e261d
      Alex Hamelin authored
      * doc/README.txt: Add information about CBS, Remove
      information about VaucanSWIG.
      * doc/NEWS.txt: Update for 1.3.1.
      * doc/manual/taf-kit-manual.tex: Likewise.
      * configure.ac: Bump version to 1.3.1.
      bd8e261d
  3. 06 Jul, 2009 1 commit
  4. 02 Jul, 2009 1 commit
  5. 01 Jul, 2009 1 commit
    • Alexandre Duret-Lutz's avatar
      Fix standard_of() w.r.t. listg. · fa41eeb8
      Alexandre Duret-Lutz authored
      * include/vaucanson/algorithms/standard_of.hxx
      (Standard_OfVisitor): After concatenating to automata, and before
      erasing the obsolete initial state of the RHS, do not explicitly
      erase the transition leaving that initial state.  This is useless
      because del_state() already does the work.  This was bogus because
      del_transition invalidates the delta_iterator in the listg
      implementation.
      * include/vaucanson/algorithms/standard.hxx: Typos.
      fa41eeb8
  6. 25 Jun, 2009 1 commit
  7. 19 Jun, 2009 7 commits
    • Florent D'Halluin's avatar
      Add benchmark for product. · b29a5402
      Florent D'Halluin authored
      * configure.ac,
      * src/bench/Makefile.am,
      * src/bench/generate_bench.sh: Add new makefiles/directories.
      * src/bench/product/Makefile.bench,
      * src/bench/product/product_aut_b_bool_bench.hh,
      * src/bench/product/product_aut_b_z_bench.hh: New. Implementation.
      b29a5402
    • Florent D'Halluin's avatar
      Benchmarks: rename aut_ab into aut_b. · 71fbd82b
      Florent D'Halluin authored
      * src/bench/common/bench_constructs.hh,
      * src/bench/quotient/quotient_bool_bench.hh,
      * src/bench/quotient/quotient_z_bench.hh: Do that.
      71fbd82b
    • Florent D'Halluin's avatar
      Update accessible benchmark. · f8ccc316
      Florent D'Halluin authored
      * src/bench/accessible/Makefile.bench: Adjust benchmark values.
      * src/bench/accessible/accessible_bench.hh,
      * src/bench/common/bench_constructs.hh: Move automaton creation.
      f8ccc316
    • Florent D'Halluin's avatar
      Benchmarks: add documentation. · 76eaaf17
      Florent D'Halluin authored
      * src/bench/README,
      * src/bench/common/README_AUTOMATA: Update.
      76eaaf17
    • Florent D'Halluin's avatar
      Update benchmarks. · fea69166
      Florent D'Halluin authored
      This is a compound patch that can hardly be divided into separate
      patches.  It includes:
      
      1. OpenFST integration.
      
        If OpenFST is present, OpenFST benchmarks are made for some
        algorithms.
      
      2. Some (incomplete) documentation.
      
        Describe the benchmarking process, input automata, and results.
      
      3. Clean up & name consistency.
      
        Move existing benchmarks into directories with consistent names
        (the benchmarked algorithms), store results in a specific
        directory according to input and other parameters.
      
      Patch details:
      
      1. OpenFST integration:
      
      * configure.ac: Add --with-openfst option.
      * src/bench/common/alpha.syms: Add missing line.
      * src/bench/common/bench.mk: Fix -DVCSN_SRC_DIR flag.
      * src/bench/common/bench_macros.hh: Add convenient macros
      
      * src/bench/determinization/Makefile.bench: Add OpenFST bench.
      * src/bench/determinization/determinization_aut_2n_openfst_bench.hh:
      New (OpenFST benchmark program).
      
      * src/bench/minimization/Makefile.bench: New (add OpenFST bench).
      * src/bench/minimization/minimization_aut_2n_openfst_bench.hh:
      New (OpenFST benchmark program).
      * src/bench/minimization/minimization_aut_debruijn_openfst_bench.hh,
      New (OpenFST benchmark program).
      
      2. Some (incomplete) documentation:
      
      * src/bench/README: New.  General information.
      * src/bench/common/README: New.
      * src/bench/common/README_AUTOMATA: New.
      
      3. Clean up & name consistency:
      
      * configure.ac: Add/remove makefiles.
      * src/bench/Makefile.am: Add/remove directories.
      * src/bench/generate_bench.sh: Add/remove directories.
      
      * src/bench/common/Makefile.am: Clean up.
      * src/bench/common/bench_automaton.hh: Remove (unused).
      * src/bench/common/bench_constructs.hh: Clean up, add automata.
      
      Move accessible to its own directory:
      
      * src/bench/accessible/Makefile.bench: New.
      * src/bench/iterators/accessible_bench.hh:
      Rename into src/bench/accessible/accessible_bench.hh.
      
      Clean up composition:
      
      * src/bench/composition/Makefile.bench,
      * src/bench/composition/normalized_composition_bench.hh: Consistency.
      * src/bench/composition/rw_composition_bench.hh: Rename into
      src/bench/composition/realtime_composition_bench.hh.
      
      Clean up derived-terms:
      
      * src/bench/derived_terms/Makefile.bench,
      * src/bench/derived_terms/derived_terms_bench.hh: Consistency.
      
      Clean up determinization:
      
      * src/bench/determinization/Makefile.bench: Consistency.
      * src/bench/determinization/determinization_bench.hh: Rename into
      src/bench/determinization/determinization_aut_2n_bench.hh.
      * src/bench/determinization/determinization_bench_fsm.cc:
      Remove (unused).
      
      Clean up eps_removal:
      
      * src/bench/eps_removal/Makefile.bench,
      * src/bench/eps_removal/eps_removal_bench.hh: Consistency.
      
      Clean up iterators:
      
      * src/bench/iterators/Makefile.bench,
      * src/bench/iterators/iterator_bench.hh: Consistency.
      
      Clean up quotient:
      
      * src/bench/quotient/Makefile.bench,
      * src/bench/quotient/quotient_bool_bench.hh,
      * src/bench/quotient/quotient_z_bench.hh: Consistency.
      
      Clean up minimization:
      
      * src/bench/minimization/Makefile.bench: New (merge from
      minimization_2n and minimization_debruijn).
      * src/bench/minimization_2n/Makefile.bench: Remove (unused).
      * src/bench/minimization_debruijn/Makefile.bench: Remove (unused).
      
      * src/bench/minimization_2n/minimization_2n_brzozowski_bench.hh:
      Rename into
      src/bench/minimization/minimization_aut_2n_brzozowski_bench.hh.
      * src/bench/minimization_2n/minimization_2n_hopcroft_bench.hh:
      Rename into
      src/bench/minimization/minimization_aut_2n_hopcroft_bench.hh.
      * src/bench/minimization_2n/minimization_2n_moore_bench.hh:
      Rename into
      src/bench/minimization/minimization_aut_2n_moore_bench.hh.
      * src/bench/minimization_debruijn/minimization_debruijn_brzozowski_bench.hh:
      Rename into
      src/bench/minimization/minimization_aut_debruijn_brzozowski_bench.hh.
      * src/bench/minimization_debruijn/minimization_debruijn_hopcroft_bench.hh:
      Rename into
      src/bench/minimization/minimization_aut_debruijn_hopcroft_bench.hh.
      * src/bench/minimization_debruijn/minimization_debruijn_moore_bench.hh:
      Rename into
      src/bench/minimization/minimization_aut_debruijn_moore_bench.hh.
      fea69166
    • Florent D'Halluin's avatar
      Update cbs. · 2be722fd
      Florent D'Halluin authored
      CBS version: f2cc74d682bddc0da7386a5ce1017b591c2c6e47.
      See cbs/Changelog.
      2be722fd
    • Florent D'Halluin's avatar
      Update cbs. · 49b1d5b5
      Florent D'Halluin authored
      CBS version: 17a18a174536d6b05c5364dd5f96f420b5ca75ef.
      See cbs/Changelog.
      49b1d5b5
  8. 11 Jun, 2009 2 commits
  9. 08 Jun, 2009 1 commit
  10. 05 Jun, 2009 23 commits
    • Alexandre Duret-Lutz's avatar
      Update to gnulib 567f85cfcdb0a63cf96730d0858581b013765d59. · 8899e930
      Alexandre Duret-Lutz authored
      * gnulib/Makefile.am, gnulib/argp-fmtstream.c, gnulib/getopt1.c,
      gnulib/gettext.h, gnulib/progname.c, gnulib/stdint.in.h ,
      gnulib/stdio.in.h, gnulib/stdlib.in.h, gnulib/strerror.c ,
      gnulib/unistd.in.h, gnulib/vasnprintf.c, gnulib/wchar.in.h ,
      gnulib/xmalloc.c, m4/alloca.m4, m4/argp.m4 ,
      m4/double-slash-root.m4, m4/errno_h.m4, m4/extensions.m4 ,
      m4/gnulib-cache.m4, m4/gnulib-common.m4, m4/gnulib-comp.m4 ,
      m4/include_next.m4, m4/inline.m4, m4/intmax_t.m4 ,
      m4/inttypes_h.m4, m4/longlong.m4, m4/malloc.m4, m4/mempcpy.m4 ,
      m4/printf.m4, m4/size_max.m4, m4/stdbool.m4, m4/stdint.m4 ,
      m4/stdint_h.m4, m4/stdio_h.m4, m4/stdlib_h.m4, m4/strcase.m4 ,
      m4/strchrnul.m4, m4/strndup.m4, m4/strnlen.m4, m4/unistd_h.m4 ,
      m4/vasnprintf.m4, m4/wchar.m4, m4/wchar_t.m4, m4/wint_t.m4 ,
      m4/xsize.m4: Update.
      m4/00gnulib.m4, m4/multiarch.m4: New files.
      8899e930
    • Alexandre Duret-Lutz's avatar
    • Florent D'Halluin's avatar
      Fix call graph export in taf-kit. · 0c15051c
      Florent D'Halluin authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
      * taf-kit/src/main.cc: Use the correct variable.
      0c15051c
    • Florent D'Halluin's avatar
      Adjust bench to complete in a reasonable time. · 7211dee8
      Florent D'Halluin authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
      * src/bench/minimization_2n/Makefile.bench: Do not bench
      minimization_brzozowski past n=12 (already 8min on seattle).
      
      * src/bench/eps_removal/Makefile.bench: Bench up to 200.
      7211dee8
    • Florent D'Halluin's avatar
      Fix composition bench. · 31b17fcd
      Florent D'Halluin authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
      * src/bench/composition/normalized_composition_bench.hh,
      * src/bench/composition/rw_composition_bench.hh:
      Add missing CBS parameter (n).
      31b17fcd
    • Florent D'Halluin's avatar
      Fix quotient bench automaton. · 90a97dde
      Florent D'Halluin authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
      The previous automaton made no sense to Jacques and looked like
      there has been a fishy copy/paste.
      
      It now is:
      
      A -a-> A
      A -b-> A
      A -b-> B
      B -a-> B
      B -b-> B
      
      * src/bench/quotient/quotient_bool_bench.hh: Do that.
      90a97dde
    • Florent D'Halluin's avatar
      Enable callgraph in benchmark dot output. · afe3f9a7
      Florent D'Halluin authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
      * src/bench/common/bench_macros.hh: Fix macro.
      afe3f9a7
    • Florent D'Halluin's avatar
      Update cbs. · 85580b19
      Florent D'Halluin authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
      CBS version: aef3055d95b926d6242ebbce64a128df044cbba2.
      See cbs/Changelog.
      85580b19
    • Florent D'Halluin's avatar
      Optimize quotient on boolean automata. · 6491e74a
      Florent D'Halluin authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
      (As mentioned during the meeting on April 10th)
      
      * include/vaucanson/algorithms/minimization_hopcroft.hxx: Do that.
      6491e74a
    • Florent D'Halluin's avatar
      Fix quotient bench automaton. · c49072f8
      Florent D'Halluin authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
      The previous automaton made no sense to Jacques and looked like
      there has been a fishy copy/paste.
      
      It now is:
      
      A -a-> A
      A -b-> A
      A -b-> B
      B -a-> B
      B -b-> B
      
      * src/bench/quotient/quotient_bool_bench.hh: Do that.
      c49072f8
    • Florent D'Halluin's avatar
      Enable callgraph in benchmark dot output. · fd04db43
      Florent D'Halluin authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
      * src/bench/common/bench_macros.hh: Fix macro.
      fd04db43
    • Florent D'Halluin's avatar
      Update cbs. · fed5912d
      Florent D'Halluin authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
      CBS version: aef3055d95b926d6242ebbce64a128df044cbba2.
      See cbs/Changelog.
      fed5912d
    • Florent D'Halluin's avatar
      Fix make check. · 8227214d
      Florent D'Halluin authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
      Use CBS in demos, disable CBS in tests (for faster
      compilation/link), disable CBS in vaucanswig.
      
      * src/demos/algorithms/Makefile.am,
      * src/demos/one_rule_rewriting/Makefile.am,
      * src/demos/vgrep/Makefile.am:
      Add cbs include dir, link with libbench.la.
      
      * src/tests/xml/Makefile.am,
      * src/tests/check/check-flags.mk,
      * src/tests/sanity/Makefile.am:
      Add cbs include dir. Disable bench (-DBENCH_DISABLED).
      
      * vaucanswig/expand.sh,
      * vaucanswig/meta/Makefile.am:
      Add cbs include dir. Disable bench (-DBENCH_DISABLED).
      8227214d
    • Florent D'Halluin's avatar
      Equip bench with CBS · e2ae22f3
      Florent D'Halluin authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
      3 Steps:
      
      1) Use CBS files.
      2) Remove obsolete tools.
      3) Equip all benches.
      
      1) Use CBS files:
      
      * src/bench/common/bench_macros.hh: New.
      Include cbs/bench/bench.hh, define handy macros.
      * src/bench/common/Makefile.am: Add file.
      * src/bench/generate_bench.sh: Include common/bench_macros.hh in
      generated Makefiles.
      
      2) Remove obsolete tools:
      
      * include/vaucanson/tools/bencher.hh,
      * include/vaucanson/tools/bencher.hxx: Deleted.
      Served the same purpose as the cbs timer, with less flexibility.
      * include/vaucanson/Makefile.am: Remove files.
      
      3) Equip all benches:
      
      Replace macros VCSN_BENCH_XXX with the CBS equivalent.
      Add parameters and results when applicable (all the info
      previously printed on cout/cerr are now parameters and results).
      
      3 files are generated for each bench.  There are between 5 and 10
      benches per file below.  See common/bench_macros.hh to change that.
      
      * src/bench/composition/normalized_composition_bench.hh,
      * src/bench/composition/rw_composition_bench.hh,
      * src/bench/derived_terms/derived_terms_bench.hh,
      * src/bench/determinization/determinization_bench.hh,
      * src/bench/eps_removal/eps_removal_bench.hh,
      * src/bench/iterators/accessible_bench.hh,
      * src/bench/iterators/iterator_bench.hh,
      * src/bench/minimization_2n/minimization_2n_brzozowski_bench.h,
      * src/bench/minimization_2n/minimization_2n_hopcroft_bench.hh,
      * src/bench/minimization_2n/minimization_2n_moore_bench.hh,
      * src/bench/minimization_debruijn/minimization_debruijn_brzozo,
      * src/bench/minimization_debruijn/minimization_debruijn_hopcro,
      * src/bench/minimization_debruijn/minimization_debruijn_moore_,
      * src/bench/quotient/quotient_bool_bench.hh,
      * src/bench/quotient/quotient_z_bench.hh: Do that.
      e2ae22f3
    • Florent D'Halluin's avatar
      Replace timer and global_timer with cbs. · dd25051c
      Florent D'Halluin authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
      Note: bencher and global_bencher remain.
      
      4 steps:
      1) Remove the timer system.
      2) Fix taf-kit.
      3) Disable bench in data/automata.
      4) Use cbs in algorithms/*.hxx and tools/*.hxx.
      
      Most modifications were only macro renaming.
      
      Tests:
      /!\ make check should be done on this patch.
      Taf-kit was quickly tested.
      make bench was quickly tested as well.
      
      Files patched:
      
      1) Remove the timer system:
      
      * include/vaucanson/misc/global_bencher.hh: New.
      Gather bencher-related macros.  Bench using the timer from cbs.
      * include/vaucanson/misc/global_timer.hh: Removed.
      Remove timer-related macros, put the rest in global_bencher.hh.
      * include/vaucanson/misc/usual_macros.hh: Include the proper files.
      * include/Makefile.am: Add/remove files.
      * include/vaucanson/misc/global_timer.hh,
      * include/vaucanson/misc/timer.cc,
      * include/vaucanson/misc/timer.hh,
      * include/vaucanson/misc/timer.hxx,
      * include/vaucanson/misc/timer_internal_gathering.cc,
      * include/vaucanson/misc/timer_internal_gathering....
      dd25051c
    • Florent D'Halluin's avatar
      Link taf-kit, libs and benches with $(benchlib). · 9f8f9993
      Florent D'Halluin authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
      * vaucanson.mk: Define benchlib.
      * lib/generate_libvcsn.rb,
      * taf-kit/src/Makefile.am,
      * src/bench/generate_bench.sh: Use it.
      9f8f9993
    • Florent D'Halluin's avatar
      Update cbs. · d0501094
      Florent D'Halluin authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
      CBS version: e97a404a44e5b5d19d4a869aa1f43524386c5b09.
      See cbs/Changelog.
      d0501094
    • Florent D'Halluin's avatar
      Add cbs (libbench). · a9f7f2e1
      Florent D'Halluin authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
      * cbs: Add directory.
      * configure.ac: Add AC_CONFIG_SUBDIRS for cbs.
      * Makefile.am: Add cbs subdir.
      a9f7f2e1
    • Alexandre Duret-Lutz's avatar
      09fc0560
    • Alexandre Duret-Lutz's avatar
      BOOST_CPPFLAGS were ignored while compiling lib/. · 9563f878
      Alexandre Duret-Lutz authored
      * lib/src/libcommon.mk: Do not overwrite AM_CPPFLAGS with a list
      of include directories that is less complete than the one in
      vaucanson.mk, use...
      (libvcsn_common_la_CPPFLAGS, libvcsn_common_ex_la_CPPFLAGS):
      ... these variable to augmant AM_CPPFLAGS instead.
      9563f878
    • Alexandre Duret-Lutz's avatar
      Make listg the default graph implementation, since we now know · fe4bc86d
      Alexandre Duret-Lutz authored
      that bmig is slower.
      
      * configure.ac (ac_default_graph_impl): Make listg the default.
      * doc/README.txt: Adjust documentation of --default-graph-impl.
      fe4bc86d
    • Alexandre Duret-Lutz's avatar
      Add the pair-to-fmp command to TAF-Kit. · fa0869d6
      Alexandre Duret-Lutz authored
      * taf-kit/src/Makefile.am (vcsn_char_fmp_b_LDADD,
      vcsn_char_fmp_z_LDADD, vcsn_int_fmp_b_LDADD,
      vcsn_int_fmp_z_LDADD): Add the corresponding pair automaton
      library.
      * taf-kit/src/fmp_commands.cc (pair_to_fmp): New command.
      * taf-kit/src/getters.hxx (get_pair_aut): New function.
      * taf-kit/src/pipe_getters.hh, taf-kit/src/pipe_getters.hxx
      (pair_automaton_getter): New class.
      * taf-kit/tests/vcsn-char-fmp-b.test,
      taf-kit/tests/vcsn-int-fmp-z.test: Add more tests for ltl-to-pair
      and pair-to-fmp.
      fa0869d6
    • Alexandre Duret-Lutz's avatar
      Make pair_to_fmp() available in FMP contexts. · ba19db3e
      Alexandre Duret-Lutz authored
      * include/vaucanson/contexts/fmp_transducer_functions.thh:
      include pair_to_fmp.hh.
      ba19db3e