• Alexandre Duret-Lutz's avatar
    Merge BuDDy 2.3. · aa4a582f
    Alexandre Duret-Lutz authored
    * 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.
    aa4a582f
kernel.h 7.81 KB