1. 27 Jul, 2006 14 commits
    • Roland Levillain's avatar
      Add missing link options to the TAF-kit. · acd897d8
      Roland Levillain authored
      	* taf-kit/src/Makefile.am (vcsn_z_LDADD, vcsn_tdc_LDADD): New.
      acd897d8
    • Akim Demaille's avatar
      Add comments. · 986a8fca
      Akim Demaille authored
      986a8fca
    • Akim Demaille's avatar
      Also disable some TAF-Kit tests. · 073695d7
      Akim Demaille authored
      	* build-aux/check.mk: Use % rules.
      	* taf-kit/tests/vcsn-b.test,
      	* taf-kit/tests/vcsn-z.test: Disable verbs that are not implemented.
      	* taf-kit/src/common_commands.hh: Define transpose for sake of
      	zautomata.
      073695d7
    • Akim Demaille's avatar
      Disable transpose for tdc. · 8d0d4018
      Akim Demaille authored
      	This addresses #84 for 1.0.
      	* taf-kit/src/tdc_commands.cc,
      	* taf-kit/src/common_commands.hh,
      	* doc/manual/taf-kit.tex: Comment them out.
      8d0d4018
    • Akim Demaille's avatar
      Disable normalize and standardize related functions. · 1783e637
      Akim Demaille authored
      	This addresses ticket #83 for 1.0.
      	* taf-kit/src/b_commands.cc,
      	* taf-kit/src/common_automaton_commands.hh,
      	* taf-kit/src/z_commands.cc,
      	* doc/manual/taf-kit.tex: Comment out these functions.
      1783e637
    • Akim Demaille's avatar
      Add a theoretical appendix. · 269fcdb7
      Akim Demaille authored
      	* doc/manual/theory.tex: New.
      	From http://vaucanson.lrde.org/trac.cgi/wiki/TheoreticalNotes.
      	* doc/manual/vaucanson-user-manual.tex,
      	* doc/manual/Makefile.am: Use it.
      269fcdb7
    • Akim Demaille's avatar
      2006-07-27 Akim Demaille <akim@epita.fr> · db223b81
      Akim Demaille authored
      	Integrate bits of documentation from Jacques.
      	* doc/manual/introduction.tex, doc/manual/xml.tex: New.
      	* doc/manual/Makefile.am, doc/manual/vaucanson-user-manual.tex:
      	Use them.
      	* doc/manual/vaucanson-user-manual.tex (\newcal): New.
      	(\Ac, \Bc, \Cc, \Tc, \Z): New.
      	Use them where possible.
      	* doc/manual/extex.pl: Avoid using undefined values.
      db223b81
    • Akim Demaille's avatar
      2006-07-27 Akim Demaille <akim@epita.fr> · 8b083a86
      Akim Demaille authored
      	Generate an appendix of shipped automata.
      	* doc/manual/generate-automata.sh: New.
      	* doc/manual/automata.tex: New, generated, but kept in the
      	repository to track changes.
      	* doc/manual/Makefile.am: Create the latter from the former.
      	(MAINTAINERCLEANFILES, deep-clean): New.
      	* doc/manual/vaucanson-user-manual.tex: More documentation.
      	(\execdisplay): new.
      	* doc/manual/extex.pl: Adjust to use it.
      	(&process_execcaption, &process_dot_request): New.
      8b083a86
    • Akim Demaille's avatar
      check-TESTS: Fix the banner. · 64d806ae
      Akim Demaille authored
      	* build-aux/check.mk: Also, don't confuse FAIL and XFAIL.
      64d806ae
    • Akim Demaille's avatar
      Wider use of the new check-TESTS. · b72466df
      Akim Demaille authored
      	* src/tests/design_pattern/intrinsics.hh: Look for tester.hh at the
      	right place.
      	* src/tests/design_pattern/element-full-test.cc: design_pattern-test.hh
      	is here.
      	* src/tests/test-suites/generate-all.sh: Comment and formatting
      	changes.
      	* src/tests/check/check.mk: Use our own check-TESTS.
      	* src/tests/check/Makefile.am: Include check.mk, not just
      	check-flags.mk.
      	* src/tests/check/tester.cc: Find tester.hh where it is.
      	* build-aux/check.mk: Also work with programs that have no
      	extension.
      b72466df
    • Akim Demaille's avatar
      Fix errors in the tests/ overhaul. · 0977b5b9
      Akim Demaille authored
      	Resurrect the tests in design_pattern.
      	* src/tests/include/tests/design_pattern,
      	* src/tests/include/tests/design_pattern/design_pattern-test.hh,
      	* src/tests/include/tests/design_pattern/intrinsics.hh,
      	* src/tests/include/tests/design_pattern/intrinsics_binops.cc,
      	* src/tests/include/tests/design_pattern/intrinsics_size.cc,
      	* src/tests/include/tests/design_pattern/intrinsics_link.cc,
      	* src/tests/include/tests/design_pattern/intrinsics_convert.cc,
      	* src/tests/include/tests/design_pattern/element-full-test.cc,
      	* src/tests/include/tests/design_pattern/intrinsics_ops.cc,
      	* src/tests/include/tests/design_pattern/intrinsics_extra.cc,
      	* src/tests/include/tests/design_pattern/intrinsics_assign.cc,
      	* src/tests/include/tests/design_pattern/intrinsics_default.cc,
      	* src/tests/include/tests/design_pattern/intrinsics_orphanage.cc:
      	Move to...
      	* src/tests/design_pattern,
      	* src/tests/design_pattern/design_pattern-test.hh,
      	* src/tests/design_pattern/intrinsics.hh,
      	* src/tests/design_pattern/intrinsics_binops.cc,
      	* src/tests/design_pattern/intrinsics_size.cc,
      	* src/tests/design_pattern/intrinsics_link.cc,
      	* src/tests/design_pattern/intrinsics_convert.cc,
      	* src/tests/design_pattern/element-full-test.cc,
      	* src/tests/design_pattern/intrinsics_ops.cc,
      	* src/tests/design_pattern/intrinsics_extra.cc,
      	* src/tests/design_pattern/intrinsics_assign.cc,
      	* src/tests/design_pattern/intrinsics_default.cc,
      	* src/tests/design_pattern/intrinsics_orphanage.cc: here.
      	* src/tests/design_pattern/Makefile.am: New.
      
      	Resurrect libcheck.
      	* src/tests/include/tests/check/tester.cc,
      	* src/tests/include/tests/check/unique.cc: Move to...
      	* src/tests/check/tester.cc,
      	* src/tests/check/unique.cc: here.
      	Yes, the tester.hh remains in the include/ hierarchy.
      	* src/tests/check/Makefile.am: New.
      
      	* src/tests/include/Makefile.am: Adjust.
      	* src/tests/design_pattern: New.
      	* src/tests/Makefile.am: Adjust.
      	* src/tests/check/check.mk: Adjust.
      	* configure.ac: Ditto.
      
      	* doc/NEWS.txt: More.
      	* doc/manual/taf-kit.tex: Use \tafkit.
      	Fix indexes.
      0977b5b9
    • Akim Demaille's avatar
      Spare Autotool cycles. · ca56d954
      Akim Demaille authored
      	* src/tests/include/tests/context_headers/fmp_transducers/Makefile.am: Remove.
      	* src/tests/include/tests/context_headers/Makefile.am: Remove.
      	* src/tests/include/tests/context_headers/automata/Makefile.am: Remove.
      	* src/tests/include/tests/context_headers/transducers/Makefile.am: Remove.
      	* src/tests/include/tests/design_pattern/Makefile.am: Remove.
      	* src/tests/include/tests/Makefile.am: Remove.
      	* src/tests/include/tests/automata/implementation_check/Makefile.am: Remove.
      	* src/tests/include/tests/automata/algos/fmp_transducers/normalized_composition_test.hh: .
      	* src/tests/include/tests/automata/algos/fmp_transducers/Makefile.am: Remove.
      	* src/tests/include/tests/automata/algos/series_multiplicity_transducers/Makefile.am: Remove.
      	* src/tests/include/tests/automata/algos/label_aware_graphs/Makefile.am: Remove.
      	* src/tests/include/tests/automata/algos/freemonoid_labeled_graphs/Makefile.am: Remove.
      	* src/tests/include/tests/automata/algos/boolean_rw_transducers/Makefile.am: Remove.
      	* src/tests/include/tests/automata/algos/graphs/Makefile.am: Remove.
      	* src/tests/include/tests/automata/algos/Makefile.am: Remove.
      	* src/tests/include/tests/automata/algos/boolean_automata/Makefile.am: Remove.
      	* src/tests/include/tests/automata/algos/labeled_graphs/Makefile.am: Remove.
      	* src/tests/include/tests/automata/algos/letter_combination_labeled_graphs/Makefile.am: Remove.
      	* src/tests/include/tests/automata/Makefile.am: Remove.
      	* src/tests/include/tests/algebra/alphabets/Makefile.am: Remove.
      	* src/tests/include/tests/algebra/free_monoid/Makefile.am: Remove.
      	* src/tests/include/tests/algebra/free_monoid_product/Makefile.am: Remove.
      	* src/tests/include/tests/algebra/Makefile.am: Remove.
      	* src/tests/include/tests/algebra/series/krat/boolean/Makefile.am: Remove.
      	* src/tests/include/tests/algebra/series/krat/tests/Makefile.am: Remove.
      	* src/tests/include/tests/algebra/series/krat/main/Makefile.am: Remove.
      	* src/tests/include/tests/algebra/series/krat/derivations/partial_derivation/Makefile.am: Remove.
      	* src/tests/include/tests/algebra/series/krat/derivations/derivation/Makefile.am: Remove.
      	* src/tests/include/tests/algebra/series/krat/derivations/cderivation/Makefile.am: Remove.
      	* src/tests/include/tests/algebra/series/krat/derivations/Makefile.am: Remove.
      	* src/tests/include/tests/algebra/series/krat/Makefile.am: Remove.
      	* src/tests/include/tests/algebra/series/Makefile.am: Remove.
      	* src/tests/include/tests/algebra/series/misc/Makefile.am: Remove.
      	* src/tests/include/tests/algebra/series/polynom/Makefile.am: Remove.
      	* src/tests/include/tests/algebra/numerical_semiring/Makefile.am: Remove.
      	* src/tests/include/tests/algebra/semiring/Makefile.am: Remove.
      	* src/tests/include/tests/check/Makefile.am: Remove.
      	* src/tests/include/Makefile.am: Put all the data in here.
      
      	* src/tests/Makefile.am (SUBDIRS): Don't forget include.
      	* data/automata/tdc-rw/Makefile.am: New.
      	Should have been added earlier, sorry.
      	* configure.ac: Adjust.
      ca56d954
    • Akim Demaille's avatar
      Fix the failures of the XML tests. · 815f5e56
      Akim Demaille authored
      	And rewrite the tests a bit.
      	* taf-kit/tests/check.mk: Move to...
      	* build-aux/check.mk: here, as it's quite general.
      	Find the path of the test file before trying to execute it.
      	(Taken from Automake's check-TESTS).
      	* taf-kit/tests/Makefile.am: Adjust.
      
      	* src/tests/xml/tester.sh: No longer loop over contexts, rather
      	be ready to be included by several test programs.
      	* src/tests/xml/xml_automaton_tester.cc (CONTEXT_HEADER)
      	(CONTEXT_NAMESPACE): Remove, replaced by this single...
      	(CONTEXT): new guy.
      
      	* include/vaucanson/config/pconf.hh.in: Don't redefine VCSN_DATA_PATH,
      	if it was defined before, eg., by the command line.  That was making
      	the test fail, since we were not using the locally shipped vaucanson.xsd.
      	* src/tests/xml/Makefile.am: Adjust to all the above changes.
      	And use Make constructs to avoid duplication.
      	Use check.mk to enable parallel checks, and to generate a real
      	test-suite.log.
      	(check_SCRIPTS): New.
      815f5e56
    • Akim Demaille's avatar
      Rename closure as eps_removal. · 7b8b9b32
      Akim Demaille authored
      	* include/vaucanson/algorithms/closure.hh,
      	* include/vaucanson/algorithms/closure.hxx
      	(backward_closure, backward_closure_here, forward_closure,
      	forward_closure_here, closure, closure_here):
      	Rename as...
      	* include/vaucanson/algorithms/eps_removal.hh,
      	* include/vaucanson/algorithms/eps_removal.hxx
      	(backward_eps_removal, backward_eps_removal_here)
      	(forward_eps_removal, forward_eps_removal_here, eps_removal)
      	(eps_removal_here): these.
      
      	* include/Makefile.am,
      	* include/vaucanson/contexts/automaton_functions.thh,
      	* include/vaucanson/contexts/transducer_functions.thh,
      	* include/vaucanson/contexts/fmp_transducer_functions.thh,
      	* include/vaucanson/algorithms/forward_realtime.hxx,
      	* include/vaucanson/algorithms/backward_realtime.hxx,
      	* include/vaucanson/algorithms/backward_realtime.hh,
      	* include/vaucanson/algorithms/forward_realtime.hh,
      	* include/vaucanson/algorithms/normalized_composition.hxx,
      	* taf-kit/tests/vcsn-b.test,
      	* taf-kit/src/tdc_commands.cc,
      	* taf-kit/src/b_commands.cc,
      	* taf-kit/src/common_commands.hh,
      	* taf-kit/src/z_commands.cc: Adjust.
      7b8b9b32
  2. 26 Jul, 2006 12 commits
    • Akim Demaille's avatar
      B1's origin, and spell checking. · d4b7a768
      Akim Demaille authored
      	* doc/manual/taf-kit.tex: Do not use \index in \caption, it doesn't
      	work.
      	Spell checking.
      d4b7a768
    • Michal Cadilhac's avatar
      Force the use of XML in Vaucanson. · f2865e91
      Michal Cadilhac authored
      - build-aux/vcsn-xml.m4: Don't offer the possibility not to use XML.
      
      - include/Makefile.am,
      - include/vaucanson/misc/usual_macros.hh,
      - include/vaucanson/algebra/implementation/series/rat/xml_exp_visitor.hh,
      - include/vaucanson/algebra/implementation/series/rat/exp.hh,
      - include/vaucanson/algebra/implementation/series/rat/exp.hxx,
      - include/vaucanson/tools/xml_dump.hh,
      - include/vaucanson/tools/out_display.hh,
      - include/vaucanson/tools/dumper.hxx,
      - include/vaucanson/tools/xml_display.hh,
      - include/vaucanson/tools/dumper.hh,
      - include/vaucanson/tools/xml_load.hh,
      - include/vaucanson/xml/xml_chooser.hh,
      - include/vaucanson/xml/session.hh,
      - include/vaucanson/xml/node.hh,
      - include/vaucanson/xml/error_handler.hh,
      - include/vaucanson/xml/xml_converter.hh,
      - include/vaucanson/xml/strings.hh,
      - include/vaucanson/xml/ios.hh,
      - include/vaucanson/xml/tools.hh,
      - include/vaucanson/xml/XML.hh,
      - include/vaucanson/xml/xerces_parser.hh,
      - include/vaucanson/config/system.hh,
      - include/vaucanson/config/pconf.hh.in,
      - include/vaucanson/design_pattern/factory.hh,
      - src/tests/xml/Makefile.am,
      - src/tests/sanity/generate_files.sh,
      - src/tests/Makefile.am,
      - src/demos/function_library/Makefile.am,
      - src/demos/demo.mk,
      - src/demos/transducers/one_rule_rewriting/Makefile.am,
      - src/demos/transducers/Makefile.am,
      - build-aux/vcsn-taf-kit.m4,
      - taf-kit/src/Makefile.am,
      - doc/xml/Makefile.am,
      - doc/Makefile.am: Remove every check on XML.
      
      - build-aux/check_xml.sh: Remove.
      - bootstrap.sh,
      - build-aux/Makefile.am: Update accordingly.
      f2865e91
    • Akim Demaille's avatar
      2006-07-26 Akim Demaille <akim@epita.fr> · c9f39dfa
      Akim Demaille authored
      	* configure.ac: Don't forget automata/tdc.  While we're at
      	it, let deal with automata/tdc-rw.
      	* vaucanson.mk (tdc_automatadir, tdc_rw_automatadir): New.
      	* data/automata/tdc-rw/Makefile.am: New.
      
      	* doc/manual/taf-kit.tex: More about vcsn-tdc, but it fails to
      	evaluate...
      c9f39dfa
    • Michal Cadilhac's avatar
      167a97db
    • Akim Demaille's avatar
      Doc vcsn-tdc. · 3f42860b
      Akim Demaille authored
      	* doc/manual/examples: Remove.
      	* doc/manual/examples/add1-rt.xml,
      	* doc/manual/examples/quot-3-rw.xml: Move and rename to...
      	* data/automata/tdc-rw/quot-3-rw.xml,
      	* data/automata/tdc-rw/add1-rw.xml: here.
      	* doc/manual/taf-kit.tex: More documentation.
      3f42860b
    • Michal Cadilhac's avatar
    • Akim Demaille's avatar
      2006-07-26 Akim Demaille <akim@epita.fr> · 960385fe
      Akim Demaille authored
      	* data/automata/b/Makefile.am: Document b1.
      
      	* data/automata/z/b1.xml: New
      	* data/automata/z/Makefile.am: Adjust.
      	* data/automata/z/c1.cc: Comment.
      	* doc/manual/examples/b1.xml: Remove.
      	* doc/manual/examples/add1_rt.xml,
      	* doc/manual/examples/quot_3_rt.xml: Rename as...
      	* doc/manual/examples/add1-rw.xml,
      	* doc/manual/examples/quot-3-rw.xml: these.
      
      	* doc/manual/extex.pl: Recognize `power' arguments.
      	* doc/manual/taf-kit.tex: Move macros...
      	* doc/manual/vaucanson-user-manual.tex: here.
      	* doc/manual/taf-kit.tex: More automatic generation.
      	Map _ to -.
      	Map rt to rw.
      
      	* include/vaucanson/xml/xml_chooser.hxx (TParmFMP): No longer use it.
      
      	* data/automata/tdc/Makefile.am,
      	* taf-kit/src/Makefile.am,
      	* src/demos/demo.mk,
      	* src/demos/function_library/Makefile.am,
      	* src/demos/transducers/Makefile.am,
      	* src/demos/vgrep/Makefile.am,
      	* src/tests/xml/Makefile.am: Adjust to the location of vaucanson.mk.
      960385fe
    • Michal Cadilhac's avatar
      9528a743
    • Michal Cadilhac's avatar
      902220fc
    • Guillaume Leroi's avatar
      Automata library for vcsn-tdc. · 0137abb7
      Guillaume Leroi authored
      	* data/automata/b/a1.cc,
      	* data/automata/z/c1.cc: Describe from which article or book these 
      	automata come from.
      	* data/automata/Makefile.am: Add tdc to SUBDIRS.
      	* data/automata/tdc: New.
      	* data/automata/tdc/Makefile.in: New.
      	* data/automata/tdc/t1.xml: New.
      	* data/automata/tdc/u1.xml: New.
      	* data/automata/tdc/t1.cc: New.
      	* data/automata/tdc/u1.cc: New.
      	* data/automata/tdc/Makefile.am: New.
      0137abb7
    • Akim Demaille's avatar
      Clean ups. · 80ae175b
      Akim Demaille authored
      	* include/vaucanson/algebra/concept/series_base.hxx: Wrapping.
      
      	* include/vaucanson/xml/xml_chooser.hh (TParmFMP): Remove.
      	(FMPtype): Put the #undef where the #define was.
      	* include/vaucanson/xml/tools.hh,
      	* include/vaucanson/xml/tools.hxx (TRANStype, FMPtype):
      	Spread their definitions appropriately to enforce locality.
      	(AUTtype): Remove, unused.
      	(ensure_monoid_type): Produce a useful error message.
      	Rename variables to make more sense.
      
      	* taf-kit/src/common_automaton_commands.hh (eval): Don't forget the \n.
      
      	* src/vaucanson.mk: Move to...
      	* vaucanson.mk: here.
      	(dloaddir, vcsndldir): New.
      	* Makefile,am, doc/Makefile.am, doc/manual/Makefile.am (install-epita):
      	New.
      	* doc/manual/examples/a1.xml: Remove.
      	* doc/manual/taf-kit.tex: Add a noindent.
      80ae175b
    • Michal Cadilhac's avatar
      ff64cc6c
  3. 25 Jul, 2006 10 commits
    • Akim Demaille's avatar
      Restore incorrectly removed code. · fcbaf0bf
      Akim Demaille authored
      	* src/tests/include/tests/automata/algos/letter_combination_labeled_graphs/product_test.hh:
      	Don't forget to compute the ratexp before using it.
      fcbaf0bf
    • Akim Demaille's avatar
      More indexes. · a0f35496
      Akim Demaille authored
      	* doc/manual/vaucanson-user-manual.tex, doc/manual/taf-kit.tex: Do it.
      a0f35496
    • Akim Demaille's avatar
      vcsn-tdc wrapper. · 56e00eb8
      Akim Demaille authored
      	* configure.ac, taf-kit/tests/Makefile.am: Create and clean it.
      56e00eb8
    • Akim Demaille's avatar
      More doc. · 22e7e0b4
      Akim Demaille authored
      	* doc/manual/vaucanson-user-manual.tex: Generate and use the
      	index.
      	* doc/manual/taf-kit.tex: More index entries.
      	(fnsection): New environment.
      	Use it.
      22e7e0b4
    • Akim Demaille's avatar
      Neutralize false product failures. · a0be1e7e
      Akim Demaille authored
      	* src/tests/include/tests/automata/algos/letter_combination_labeled_graphs/product_test.hh:
      	If the word is not accepted by the product automaton, look
      	for another word.
      a0be1e7e
    • Akim Demaille's avatar
      Make precise error messages. · 9c050d24
      Akim Demaille authored
      	I'm still fighting with the test suite.  It appears that, now that
      	we can use TAF-Kit to work the counter-examples, it seems that the
      	failures of the products are rather failures to extract a word
      	accepted by the automaton.  Since we test whether a word accepted
      	by the product is accepted by both operands, if the word is
      	not accepted by the product, the test reports garbage.
      	I don't know yet how to address this failure.
      	* src/tests/include/tests/automata/algos/letter_combination_labeled_graphs/product_test.hh:
      	Report when a word from the support is not accepted.
      9c050d24
    • Akim Demaille's avatar
      Renane SAVE_AUTOMATON_DOT as SAVE_AUTOMATON_XML. · 4c6dee15
      Akim Demaille authored
      	The test suite framework saves the failing automata in... dot.
      	Which makes it really easy to toy with these automata.
      	* include/vaucanson/misc/usual_macros.hh (SAVE_AUTOMATON_DOT)
      	(SAVE_AUTOMATON_DOT_SIMPLE): Move and rename to.
      	* include/vaucanson/tools/xml_dump.hh(SAVE_AUTOMATON_XML)
      	(SAVE_AUTOMATON_XML_SIMPLE): these.
      	And obviously change the code.
      	Wrap in do/while.
      	* src/tests/include/tests/automata/implementation_check/rdelta_test.hh,
      	* src/tests/include/tests/automata/algos/label_aware_graphs/glushkov_test.hh,
      	* src/tests/include/tests/automata/algos/label_aware_graphs/sum_test.hh,
      	* src/tests/include/tests/automata/algos/label_aware_graphs/closure_test.hh,
      	* src/tests/include/tests/automata/algos/freemonoid_labeled_graphs/generalized_test.hh,
      	* src/tests/include/tests/automata/algos/graphs/reachable_test.hh,
      	* src/tests/include/tests/automata/algos/graphs/extract_test.hh,
      	* src/tests/include/tests/automata/algos/boolean_automata/minimization_test.hh,
      	* src/tests/include/tests/automata/algos/boolean_automata/complete_test.hh,
      	* src/tests/include/tests/automata/algos/labeled_graphs/elimination_heuristic_test.hh,
      	* src/tests/include/tests/automata/algos/labeled_graphs/thompson_test.hh,
      	* src/tests/include/tests/automata/algos/labeled_graphs/elimination_dmheuristic_test.hh,
      	* src/tests/include/tests/automata/algos/labeled_graphs/elimination_random_test.hh,
      	* src/tests/include/tests/automata/algos/labeled_graphs/elimination_test.hh,
      	* src/tests/include/tests/automata/algos/labeled_graphs/normalize_test.hh,
      	* src/tests/include/tests/automata/algos/letter_combination_labeled_graphs/deterministic_test.hh,
      	* src/tests/include/tests/automata/algos/letter_combination_labeled_graphs/compute_test.hh,
      	* src/tests/include/tests/automata/algos/letter_combination_labeled_graphs/product_regression_test.hh,
      	* src/tests/include/tests/automata/algos/letter_combination_labeled_graphs/product_test.hh:
      	(dump_dot.hh): No longer include it, rather include...
      	(dump_xml.hh): this one.
      
      	* src/tests/include/tests/check/tester.hh: Adjust.
      4c6dee15
    • Akim Demaille's avatar
      Remove a Makefile.in. · 9f33348a
      Akim Demaille authored
      	* src/tests/include/tests/check/Makefile.in: Remove.
      9f33348a
    • Akim Demaille's avatar
      Improve the usability of the generated test-suite. · 81d9a9ef
      Akim Demaille authored
      	But really, it's a mess.
      	To make it easier to track, stop using relative paths in the test
      	suite, so move them all to another header hierarchy starting with
      	"tests/".
      	Adjust the generation of the test suite.
      	Save cycle by avoid re-generating files that did not change.
      	Cannot make a proper ChangeLog entry for all the small changes
      	that were needed.
      	More files should probably go into include/tests.
      	* build-aux/move-if-change: Send messages to stderr.
      
      	* configure.ac: Adjust.
      	* src/tests/Makefile.am: Adjust.
      
      	Move test-suite headers into tests/include/tests.
      	* src/tests/algebra/Makefile.am,
      	* src/tests/algebra/alphabets,
      	* src/tests/algebra/alphabets/Makefile.am,
      	* src/tests/algebra/alphabets/alphabet_test.hh,
      	* src/tests/algebra/alphabets/alphabet_torture_test.hh,
      	* src/tests/algebra/free_monoid,
      	* src/tests/algebra/free_monoid/Makefile.am,
      	* src/tests/algebra/free_monoid/constructor_without_arguments2_failcomp.hh,
      	* src/tests/algebra/free_monoid/constructor_without_arguments_failcomp.hh,
      	* src/tests/algebra/free_monoid/free_monoid_test.hh,
      	* src/tests/algebra/free_monoid_product,
      	* src/tests/algebra/free_monoid_product/Makefile.am,
      	* src/tests/algebra/free_monoid_product/free_monoid_product_test.hh,
      	* src/tests/algebra/numerical_semiring,
      	* src/tests/algebra/numerical_semiring/Makefile.am,
      	* src/tests/algebra/numerical_semiring/numerical_semiring_test.hh,
      	* src/tests/algebra/semiring,
      	* src/tests/algebra/semiring/Makefile.am,
      	* src/tests/algebra/semiring/semiring_test.hh,
      	* src/tests/algebra/series,
      	* src/tests/algebra/series/Makefile.am,
      	* src/tests/algebra/series/krat,
      	* src/tests/algebra/series/krat/Makefile.am,
      	* src/tests/algebra/series/krat/boolean,
      	* src/tests/algebra/series/krat/boolean/Makefile.am,
      	* src/tests/algebra/series/krat/boolean/krat_exp_cderivation_linear_test.hh,
      	* src/tests/algebra/series/krat/derivations,
      	* src/tests/algebra/series/krat/derivations/Makefile.am,
      	* src/tests/algebra/series/krat/derivations/cderivation,
      	* src/tests/algebra/series/krat/derivations/cderivation/Makefile.am,
      	* src/tests/algebra/series/krat/derivations/cderivation/krat_exp_cderivation_identity_test.hh,
      	* src/tests/algebra/series/krat/derivations/cderivation/krat_exp_cderivation_letter_test.hh,
      	* src/tests/algebra/series/krat/derivations/cderivation/krat_exp_cderivation_product_test.hh,
      	* src/tests/algebra/series/krat/derivations/cderivation/krat_exp_cderivation_star_test.hh,
      	* src/tests/algebra/series/krat/derivations/cderivation/krat_exp_cderivation_sum_test.hh,
      	* src/tests/algebra/series/krat/derivations/cderivation/krat_exp_cderivation_zero_test.hh,
      	* src/tests/algebra/series/krat/derivations/derivation,
      	* src/tests/algebra/series/krat/derivations/derivation/Makefile.am,
      	* src/tests/algebra/series/krat/derivations/derivation/krat_exp_derivation_identity_test.hh,
      	* src/tests/algebra/series/krat/derivations/derivation/krat_exp_derivation_letter_test.hh,
      	* src/tests/algebra/series/krat/derivations/derivation/krat_exp_derivation_product_test.hh,
      	* src/tests/algebra/series/krat/derivations/derivation/krat_exp_derivation_star_test.hh,
      	* src/tests/algebra/series/krat/derivations/derivation/krat_exp_derivation_sum_test.hh,
      	* src/tests/algebra/series/krat/derivations/derivation/krat_exp_derivation_zero_test.hh,
      	* src/tests/algebra/series/krat/derivations/derivations_common.hh,
      	* src/tests/algebra/series/krat/derivations/partial_derivation,
      	* src/tests/algebra/series/krat/derivations/partial_derivation/Makefile.am,
      	* src/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_common.hh,
      	* src/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_identity_test.hh,
      	* src/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_letter_test.hh,
      	* src/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_product_test.hh,
      	* src/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_star_test.hh,
      	* src/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_sum_test.hh,
      	* src/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_zero_test.hh,
      	* src/tests/algebra/series/krat/main,
      	* src/tests/algebra/series/krat/main/Makefile.am,
      	* src/tests/algebra/series/krat/main/krat_exp_aci_canonical_test.hh,
      	* src/tests/algebra/series/krat/main/krat_exp_constant_term_test.hh,
      	* src/tests/algebra/series/krat/main/krat_exp_expand_test.hh,
      	* src/tests/algebra/series/krat/main/krat_exp_flatten_test.hh,
      	* src/tests/algebra/series/krat/main/krat_exp_linearize_structure_test.hh,
      	* src/tests/algebra/series/krat/main/krat_exp_linearize_test.hh,
      	* src/tests/algebra/series/krat/main/krat_exp_parse_test.hh,
      	* src/tests/algebra/series/krat/main/krat_exp_realtime_test.hh,
      	* src/tests/algebra/series/krat/tests,
      	* src/tests/algebra/series/krat/tests/Makefile.am,
      	* src/tests/algebra/series/krat/tests/generate_random_krat.cc,
      	* src/tests/algebra/series/krat/tests/random_krat_exp_b_ab,
      	* src/tests/algebra/series/krat/tests/random_krat_exp_b_weird,
      	* src/tests/algebra/series/krat/tests/random_krat_exp_f_ab,
      	* src/tests/algebra/series/krat/tests/random_krat_exp_f_weird,
      	* src/tests/algebra/series/krat/tests/random_krat_exp_i_ab,
      	* src/tests/algebra/series/krat/tests/random_krat_exp_i_weird,
      	* src/tests/algebra/series/misc,
      	* src/tests/algebra/series/misc/Makefile.am,
      	* src/tests/algebra/series/misc/series_test.hh,
      	* src/tests/algebra/series/polynom,
      	* src/tests/algebra/series/polynom/Makefile.am,
      	* src/tests/algebra/series/polynom/series_polynom_test.hh,
      	* src/tests/automata,
      	* src/tests/automata/Makefile.am,
      	* src/tests/automata/algos,
      	* src/tests/automata/algos/Makefile.am,
      	* src/tests/automata/algos/README,
      	* src/tests/automata/algos/boolean_automata,
      	* src/tests/automata/algos/boolean_automata/Makefile.am,
      	* src/tests/automata/algos/boolean_automata/aci_canonical_test.hh,
      	* src/tests/automata/algos/boolean_automata/berry_sethi_test.hh,
      	* src/tests/automata/algos/boolean_automata/brzozowski_test.hh,
      	* src/tests/automata/algos/boolean_automata/complete_test.hh,
      	* src/tests/automata/algos/boolean_automata/minimization_test.hh,
      	* src/tests/automata/algos/boolean_rw_transducers,
      	* src/tests/automata/algos/boolean_rw_transducers/Makefile.am,
      	* src/tests/automata/algos/boolean_rw_transducers/invert_test.hh,
      	* src/tests/automata/algos/fmp_transducers,
      	* src/tests/automata/algos/fmp_transducers/Makefile.am,
      	* src/tests/automata/algos/fmp_transducers/evaluation_fmp_test.hh,
      	* src/tests/automata/algos/fmp_transducers/normalized_composition_test.hh,
      	* src/tests/automata/algos/fmp_transducers/sub_normalize_test.hh,
      	* src/tests/automata/algos/fmp_transducers/subnormalized_composition_test.hh,
      	* src/tests/automata/algos/freemonoid_labeled_graphs,
      	* src/tests/automata/algos/freemonoid_labeled_graphs/Makefile.am,
      	* src/tests/automata/algos/freemonoid_labeled_graphs/generalized_test.hh,
      	* src/tests/automata/algos/freemonoid_labeled_graphs/krat_exp_realtime_conflict_test.hh,
      	* src/tests/automata/algos/freemonoid_labeled_graphs/realtime_test.hh,
      	* src/tests/automata/algos/graphs,
      	* src/tests/automata/algos/graphs/Makefile.am,
      	* src/tests/automata/algos/graphs/accessible_test.hh,
      	* src/tests/automata/algos/graphs/extract_test.hh,
      	* src/tests/automata/algos/graphs/reachable_test.hh,
      	* src/tests/automata/algos/graphs/sub_automaton_test.hh,
      	* src/tests/automata/algos/graphs/trim_test.hh,
      	* src/tests/automata/algos/label_aware_graphs,
      	* src/tests/automata/algos/label_aware_graphs/Makefile.am,
      	* src/tests/automata/algos/label_aware_graphs/closure_test.hh,
      	* src/tests/automata/algos/label_aware_graphs/concat_test.hh,
      	* src/tests/automata/algos/label_aware_graphs/cut_up_test.hh,
      	* src/tests/automata/algos/label_aware_graphs/glushkov_test.hh,
      	* src/tests/automata/algos/label_aware_graphs/in_concat_test.hh,
      	* src/tests/automata/algos/label_aware_graphs/standard_of_regression_test.hh,
      	* src/tests/automata/algos/label_aware_graphs/sum_test.hh,
      	* src/tests/automata/algos/label_aware_graphs/transpose_test.hh,
      	* src/tests/automata/algos/labeled_graphs,
      	* src/tests/automata/algos/labeled_graphs/Makefile.am,
      	* src/tests/automata/algos/labeled_graphs/are_isomorphic_test.hh,
      	* src/tests/automata/algos/labeled_graphs/elimination_dmheuristic_test.hh,
      	* src/tests/automata/algos/labeled_graphs/elimination_heuristic_test.hh,
      	* src/tests/automata/algos/labeled_graphs/elimination_random_test.hh,
      	* src/tests/automata/algos/labeled_graphs/elimination_test.hh,
      	* src/tests/automata/algos/labeled_graphs/normalize_test.hh,
      	* src/tests/automata/algos/labeled_graphs/thompson_test.hh,
      	* src/tests/automata/algos/letter_combination_labeled_graphs,
      	* src/tests/automata/algos/letter_combination_labeled_graphs/Makefile.am,
      	* src/tests/automata/algos/letter_combination_labeled_graphs/compute_test.hh,
      	* src/tests/automata/algos/letter_combination_labeled_graphs/derived_term_automaton_test.hh,
      	* src/tests/automata/algos/letter_combination_labeled_graphs/deterministic_test.hh,
      	* src/tests/automata/algos/letter_combination_labeled_graphs/product_regression_test.hh,
      	* src/tests/automata/algos/letter_combination_labeled_graphs/product_test.hh,
      	* src/tests/automata/algos/series_multiplicity_transducers,
      	* src/tests/automata/algos/series_multiplicity_transducers/Makefile.am,
      	* src/tests/automata/algos/series_multiplicity_transducers/extension_test.hh,
      	* src/tests/automata/algos/series_multiplicity_transducers/realtime_trans_test.hh,
      	* src/tests/automata/implementation_check,
      	* src/tests/automata/implementation_check/Makefile.am,
      	* src/tests/automata/implementation_check/add_state_test.hh,
      	* src/tests/automata/implementation_check/add_transition_test.hh,
      	* src/tests/automata/implementation_check/coherence_state_transition_test.hh,
      	* src/tests/automata/implementation_check/geometry_equal_operator_test.hh,
      	* src/tests/automata/implementation_check/global_consistency_test.hh,
      	* src/tests/automata/implementation_check/init_final_test.hh,
      	* src/tests/automata/implementation_check/rdelta_test.hh,
      	* src/tests/check/Makefile.am,
      	* src/tests/check/tester.cc,
      	* src/tests/check/tester.hh,
      	* src/tests/check/unique.cc,
      	* src/tests/context_headers,
      	* src/tests/context_headers/Makefile.am,
      	* src/tests/context_headers/automata,
      	* src/tests/context_headers/automata/Makefile.am,
      	* src/tests/context_headers/automata/global_consistency_test.hh,
      	* src/tests/context_headers/fmp_transducers,
      	* src/tests/context_headers/fmp_transducers/Makefile.am,
      	* src/tests/context_headers/fmp_transducers/global_consistency_test.hh,
      	* src/tests/context_headers/transducers,
      	* src/tests/context_headers/transducers/Makefile.am,
      	* src/tests/context_headers/transducers/global_consistency_test.hh,
      	* src/tests/design_pattern,
      	* src/tests/design_pattern/Makefile.am,
      	* src/tests/design_pattern/design_pattern-test.hh,
      	* src/tests/design_pattern/element-full-test.cc,
      	* src/tests/design_pattern/intrinsics.hh,
      	* src/tests/design_pattern/intrinsics_assign.cc,
      	* src/tests/design_pattern/intrinsics_binops.cc,
      	* src/tests/design_pattern/intrinsics_convert.cc,
      	* src/tests/design_pattern/intrinsics_default.cc,
      	* src/tests/design_pattern/intrinsics_extra.cc,
      	* src/tests/design_pattern/intrinsics_link.cc,
      	* src/tests/design_pattern/intrinsics_ops.cc,
      	* src/tests/design_pattern/intrinsics_orphanage.cc,
      	* src/tests/design_pattern/intrinsics_size.cc:
      	Move to...
      	* src/tests/include/tests/algebra/alphabets/alphabet_test.hh,
      	* src/tests/include/tests/algebra/alphabets/alphabet_torture_test.hh,
      	* src/tests/include/tests/algebra/free_monoid/constructor_without_arguments2_failcomp.hh,
      	* src/tests/include/tests/algebra/free_monoid/constructor_without_arguments_failcomp.hh,
      	* src/tests/include/tests/algebra/free_monoid/free_monoid_test.hh,
      	* src/tests/include/tests/algebra/numerical_semiring/numerical_semiring_test.hh,
      	* src/tests/include/tests/algebra/semiring/semiring_test.hh,
      	* src/tests/include/tests/algebra/series/krat/derivations/derivations_common.hh,
      	* src/tests/include/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_identity_test.hh,
      	* src/tests/include/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_letter_test.hh,
      	* src/tests/include/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_product_test.hh,
      	* src/tests/include/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_star_test.hh,
      	* src/tests/include/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_sum_test.hh,
      	* src/tests/include/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_zero_test.hh,
      	* src/tests/include/tests/algebra/series/krat/main/krat_exp_flatten_test.hh,
      	* src/tests/include/tests/algebra/series/krat/main/krat_exp_linearize_test.hh,
      	* src/tests/include/tests/algebra/series/polynom/series_polynom_test.hh,
      	* src/tests/include/tests/algebra: New.
      	* src/tests/include/tests/automata/algos/boolean_automata/complete_test.hh,
      	* src/tests/include/tests/automata/algos/boolean_automata/minimization_test.hh,
      	* src/tests/include/tests/automata/algos/boolean_rw_transducers/invert_test.hh,
      	* src/tests/include/tests/automata/algos/freemonoid_labeled_graphs/generalized_test.hh,
      	* src/tests/include/tests/automata/algos/graphs/accessible_test.hh,
      	* src/tests/include/tests/automata/algos/graphs/extract_test.hh,
      	* src/tests/include/tests/automata/algos/graphs/reachable_test.hh,
      	* src/tests/include/tests/automata/algos/label_aware_graphs/closure_test.hh,
      	* src/tests/include/tests/automata/algos/label_aware_graphs/concat_test.hh,
      	* src/tests/include/tests/automata/algos/label_aware_graphs/in_concat_test.hh,
      	* src/tests/include/tests/automata/algos/label_aware_graphs/sum_test.hh,
      	* src/tests/include/tests/automata/algos/labeled_graphs/normalize_test.hh,
      	* src/tests/include/tests/automata/algos/letter_combination_labeled_graphs/deterministic_test.hh,
      	* src/tests/include/tests/automata/algos/letter_combination_labeled_graphs/product_test.hh,
      	* src/tests/include/tests/automata/algos/series_multiplicity_transducers/extension_test.hh,
      	* src/tests/include/tests/automata/implementation_check/add_state_test.hh,
      	* src/tests/include/tests/automata/implementation_check/add_transition_test.hh,
      	* src/tests/include/tests/automata/implementation_check/coherence_state_transition_test.hh,
      	* src/tests/include/tests/automata/implementation_check/geometry_equal_operator_test.hh,
      	* src/tests/include/tests/automata/implementation_check/init_final_test.hh:
      	* src/tests/include/tests/automata: New.
      	* src/tests/include/tests/check/Makefile.am: New.
      	* src/tests/include/tests/check/Makefile.in: New.
      	* src/tests/include/tests/check/tester.cc: New.
      	* src/tests/include/tests/check/tester.hh: New.
      	* src/tests/include/tests/check/unique.cc: New.
      	* src/tests/include/tests/check: New.
      	* src/tests/include/tests/context_headers: New.
      	* src/tests/include/tests/design_pattern/Makefile.am,
      	* src/tests/include/tests/design_pattern/element-full-test.cc,
      	* src/tests/include/tests/design_pattern: New.
      	* src/tests/include/tests: New.
      	Here.
      
      
      	* src/tests/bin/generate-test-suite.sh: No longer use relative paths.
      	* src/tests/check/check-flags.mk: Adjust.
      	* src/tests/include/Makefile.am: New.
      	* src/tests/include/tests/Makefile.am: New.
      	* src/tests/include: New.
      	* src/tests/misc/Makefile.am: Adjust.
      	* src/tests/misc/assert_test.cc: Adjust.
      	* src/tests/misc/limits.cc: Adjust.
      	* src/tests/misc/random.cc: Adjust.
      	* src/tests/test-suites/algebra_series_krat_cderivation.defs: Adjust.
      	* src/tests/test-suites/algebra_series_krat_derivation.defs: Ditto.
      	* src/tests/test-suites/algebra_series_krat_partial_derivation.defs:
      	Ditto.
      	* src/tests/test-suites/generate-all.sh: Ditto.
      81d9a9ef
    • Akim Demaille's avatar
      Includes. · c3930644
      Akim Demaille authored
      	* doc/manual/developer.tex (Includes): New.
      c3930644
  4. 24 Jul, 2006 4 commits