1. 05 Jun, 2009 1 commit
  2. 14 May, 2009 1 commit
    • Alexandre Duret-Lutz's avatar
      Introduce libvcsn-common-ex.la in addition to libvcsn-common.la · 4ddbd80e
      Alexandre Duret-Lutz authored
      to decide whether exceptions should be used in preconditions.
      
      This fixes errors in taf-kit's test-suite when compiled with GCC
      4.4.  The code was making the bogus assumption that the inline
      function trap() was not inlined in the context libraries (compiled
      without exceptions) and could therefore be overwritten as a weak
      symbol in TAF-Kit (to use exceptions).
      
      * include/vaucanson/misc/contract.hh (vcsn::misc::contract::trap):
      Leave only a declaration and move the definition...
      * src/misc/contract.cc: ... in this new file.
      * lib/src/libcommon.mk: Adjust for contract.cc and build two
      libraries: libvcsn-common.la (with abort()) and
      libvcsn-common-ex.la (with exceptions).
      * data/automata/char-b/Makefile.am,
      data/automata/char-fmp-b/Makefile.am,
      data/automata/char-z/Makefile.am, taf-kit/src/Makefile.am,
      vaucanswig/meta/Makefile.am, src/tests/sanity/Makefile.am,
      src/tests/xml/Makefile.am: Link with libvcsn-common.la or
      libvcsn-common-ex.la.
      * taf-kit/src/common.hh (EXCEPTION_TRAPS): Remove #define.
      * src/bench/common/bench.mk (AM_CPPFLAGS): Remove useless
      -DEXCEPTION_TRAPS.
      * vaucanswig/expand.sh: Likewise.
      * src/tests/check/Makefile.am: Build libcheck.la instead
      of libcheck.a, so we can depend on libvcsn-common-ex.la
      * src/tests/check/check.mk: Use libcheck.la and
      libvcsn-common-ex.la.
      * src/tests/test-suites/test-suite.mk: Don't define
      EXCEPTION_TRAPS and don't add libvcsn-common-ex.la to LDADD
      (check.mk already does it).
      4ddbd80e
  3. 13 May, 2009 1 commit
    • Alexandre Duret-Lutz's avatar
      Rename libkrat_exp.la as libvcsn_common.la, and move lib/krat_exp/ · d8c81c6a
      Alexandre Duret-Lutz authored
      to lib/src/krat_exp/, so that we can later integrate more code
      into libvcsn_common.la.
      
      * bootstrap: Don't run bison, the Makefile will do it.
      * lib/krat_exp/krat_exp_bison.yy: Move ...
      * lib/src/krat_exp/krat_exp_bison.yy: ... here.
      * lib/krat_exp/libkrat_exp.mk: Rename as ...
      * lib/src/libcommon.mk: ... this, and adjust to the new names.
      * src/demos/algorithms/Makefile.am,
      src/demos/one_rule_rewriting/Makefile.am,
      src/demos/vgrep/Makefile.am, src/tests/xml/Makefile.am,
      taf-kit/src/Makefile.am, lib/Makefile.am: Change all references to
      libkrat_exp.la into libvcsn-common.la.
      d8c81c6a
  4. 06 May, 2009 1 commit
    • Alexandre Duret-Lutz's avatar
      Rename d2.xml as d1.xml. · 82dba881
      Alexandre Duret-Lutz authored
      * data/automata/char-z/d2.cc: Rename as...
      * data/automata/char-z/d1.cc: ... this.
      * data/automata/char-z/Makefile.am: Adjust to build d1 and create
      d1.xml
      * taf-kit/tests/vcsn-char-z.test: Adjust to use d1.xml.
      * doc/manual/taf-kit-manual.tex: Rename d2.xml as d1.xml.
      82dba881
  5. 30 Apr, 2009 3 commits
    • Alexandre Duret-Lutz's avatar
      Introduce d2.xml. · 08178f26
      Alexandre Duret-Lutz authored
      * data/automata/char-z/d2.cc: New file.
      * data/automata/char-z/Makefile.am: Build d2.xml.
      * taf-kit/tests/vcsn-char-z.test: Test d2.xml.
      * doc/manual/taf-kit-manual.tex (d2.xml): New section.
      08178f26
    • Alexandre Duret-Lutz's avatar
      Remove dev3base10.xml: it is not a pertinent example of Z automaton. · 05c9842b
      Alexandre Duret-Lutz authored
      * data/automata/char-z/divkbaseb.cc: Delete.
      * data/automata/char-z/Makefile.am,
      taf-kit/tests/vcsn-char-z.test: Adjust.
      * doc/manual/taf-kit-manual.tex (div3base10.xml): Remove.
      05c9842b
    • Alexandre Duret-Lutz's avatar
      Use alphabet {0,1} for c1.xml. · 63a71658
      Alexandre Duret-Lutz authored
      * data/automata/char-z/c1.cc: Rewrite using alphabet {0,1} instead
      of {a,b}.
      * taf-kit/tests/vcsn-char-z.test: Adjust test.
      * doc/manual/taf-kit-manual.tex (c1.xml): Adjust and document
      the figure.
      63a71658
  6. 08 Apr, 2009 1 commit
  7. 17 Mar, 2009 11 commits
  8. 16 Mar, 2009 1 commit
  9. 13 Mar, 2009 3 commits
  10. 18 Feb, 2009 1 commit
    • Maurice Audin's avatar
      Add two new TAF-Kits, char-zmin and char-zmax, with basic tests. · 4410bba9
      Maurice Audin authored
      	* configure.ac: Add new files and wrappers.
      	* taf-kit/src/Makefile.am: Add two new contexts.
      	* taf-kit/tests/Makefile.am: Add tests for the new contexts.
      	* taf-kit/tests/vcsn-char-zmax.test,
      	* taf-kit/tests/vcsn-char-zmin.test: Add two basic tests (non-determinist automata include).
      4410bba9
  11. 11 Feb, 2009 1 commit
    • Florian Lesaint's avatar
      Add XML support for rational expressions in TAF-Kit. · bcc19800
      Florian Lesaint authored
      	Now, it is possible to execute things like:
      	./vcsn-char-b -o XML --alphabet=ab identity-exp "(a+b)*.a.(a+b)*"
      	./vcsn-char-b -i XML identity-exp exp1.xml
      	./vcsn-char-b -i XML -o XML identity-exp exp1.xml
      
      	* taf-kit/src/common.hh: Split input_type into input_exp_type and 
      	    input_aut_type (Allow XML by default for aut and EXP for regexp).
      	* taf-kit/src/getters.hxx: Add XML input for rat_exp.
      	* taf-kit/src/main.cc: input_exp_type/input_aut_type.
      	* taf-kit/src/pipe.hh: input_exp_type/input_aut_type.
      	* taf-kit/src/pipe.hxx: input_exp_type/input_aut_type.
      	* taf-kit/src/pipe_writers.hxx: Add XML output for rat exp.
      bcc19800
  12. 21 Jan, 2009 9 commits
  13. 30 Dec, 2008 1 commit
  14. 16 Dec, 2008 1 commit
  15. 12 Dec, 2008 1 commit
  16. 03 Dec, 2008 3 commits
    • Alexandre Duret-Lutz's avatar
    • Jerome Galtier's avatar
      TAF-Kit: Add comments about r2553. · 8e1ece14
      Jerome Galtier authored
      	* taf-kit/src/ratexp_commands.hh: Here.
      	* taf-kit/tests/vcsn-char-b.test: New regression test.
      8e1ece14
    • Jerome Galtier's avatar
      TAF-Kit: Fix a bug. · 0075ec2c
      Jerome Galtier authored
      	* taf-kit/src/parser_options.hh (definition): New attribute
      	  `first_space_'.
      	* taf-kit/src/parser_options.hxx (push_space): Do not use a static
      	  flag as more than one parser_options are used for FMP.
      	* taf-kit/tests/automata/char-fmp-b/wd-full.xml: New.
      	* taf-kit/tests/defs.in: New XML file.
      	* taf-kit/tests/vcsn-char-fmp-b.test: New regression test.
      	* taf-kit/tests/Makefile.am: Add new file to the distribution.
      0075ec2c