3 commits

Author	SHA1	Message	Date
Alexandre Duret-Lutz	b98c47246c	[buddy] Adjust parser construction to support Automake 1.11 and 1.12. ... * examples/bddcalc/parser.yxx: Rename as ... * examples/bddcalc/parser.y: ... this. * examples/bddcalc/parser_.cxx: New file that includes parser.c. * examples/bddcalc/Makefile.am: Adjust. * examples/bddcalc/parser.hxx: Delete this unused file.	2012-06-19 17:03:34 +02:00
Alexandre Duret-Lutz	aa4a582f1b	Merge BuDDy 2.3. ... * examples/calculator/, examples/internal/: Were renamed as ... * examples/bddcalc/, examples/bddtest/: ... these. * configure.ac: Adjust version and output Makefiles. * examples/Makefile.am (SUBDIRS): Adjust subdir renaming. * examples/cmilner/milner.c, examples/fdd/statespace.cxx: Were renamed as ... * examples/cmilner/cmilner.c, examples/fdd/fdd.cxx: ... these. * examples/cmilner/Makefile.am, examples/fdd/Makefile.am: Adjust accordingly. * src/Makefile.am (AM_CPPFLAGS): Define VERSION.	2004-06-28 15:22:11 +00:00
Alexandre Duret-Lutz	805b6fb70b	Initial revision	2004-06-28 14:19:59 +00:00