1. 23 Jul, 2004 1 commit
  2. 12 Jul, 2004 1 commit
  3. 28 Jun, 2004 1 commit
    • 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
  4. 07 Jan, 2004 1 commit
  5. 14 Nov, 2003 1 commit
  6. 06 Aug, 2003 3 commits
  7. 17 Jul, 2003 1 commit
    • Alexandre Duret-Lutz's avatar
      * rsc/bdd.h (bdd_existcomp, bdd_forallcomp, · 4bf6c52b
      Alexandre Duret-Lutz authored
      bdd_uniquecomp, bdd_appexcomp, bdd_appallcomp,
      bdd_appunicomp): Declare for C and C++.
      * src/bddop.c (CACHEID_EXISTC, CACHEID_FORALLC,
      CACHEID_UNIQUEC, CACHEID_APPEXC, CACHEID_APPALC,
      CACHEID_APPUNCC): New macros.
      (quatvarsetcomp): New variables.
      (varset2vartable): Take a second argument to indicate negation,
      set quatvarsetcomp.
      (INVARSET): Honor quatvarsetcomp.
      (quantify): New function, extracted from bdd_exist, bdd_forall,
      and bdd_appunicomp.
      (bdd_exist, bdd_forall, bdd_appunicomp): Use quantify.
      (bdd_existcomp, bdd_forallcomp, bdd_appunicompcomp): New functions.
      (appquantify): New function, extracted from bdd_appex, bdd_appall,
      and bdd_appuni.
      (bdd_appex, bdd_appall, bdd_appuni): Use appquantify.
      (bdd_appexcomp, bdd_appallcomp, bdd_appunicomp): New functions.
      
      * src/bddop.c (bdd_support): Return bddtrue when the support
      is empty, because variable sets are conjunctions.
      4bf6c52b
  8. 22 May, 2003 4 commits
  9. 20 May, 2003 2 commits
  10. 19 May, 2003 1 commit
  11. 12 May, 2003 1 commit
  12. 07 May, 2003 1 commit
  13. 05 May, 2003 2 commits
    • Alexandre Duret-Lutz's avatar
      * configure.ac: Output config.h. · 89cc96b8
      Alexandre Duret-Lutz authored
      * src/kernel.h: Include it.
      * src/Makefile.am (AM_CPPFLAGS): New variable.
      89cc96b8
    • Alexandre Duret-Lutz's avatar
      * configure.ac, Makefile.am, src/Makefile.am, doc/Makefile.am, · 605dce2a
      Alexandre Duret-Lutz authored
      examples/Makefile.am, examples/Makefile.def,
      examples/adder/Makefile.am, examples/calculator/Makefile.am,
      examples/cmilner/Makefile.am, examples/fdd/Makefile.am,
      examples/internal/Makefile.am, examples/milner/Makefile.am,
      examples/money/Makefile.am, examples/queen/Makefile.am,
      examples/solitar/Makefile.am, m4/debug.m4, m4/gccwarns.m4,
      ChangeLog, INSTALL: New files.
      * config, makefile, src/makefile, doc/makefile,
      examples/adder/makefile, examples/calculator/makefile
      examples/cmilner/makefile, examples/fdd/makefile,
      examples/internal/makefile, examples/milner/makefile,
      examples/money/makefile, examples/queen/makefile,
      examples/solitare/makefile : Delete.
      * examples/adder/adder.cxx, examples/fdd/statespace.cxx,
      examples/internal/bddtest.cxx, examples/milner/milner.cxx,
      examples/money/money.cxx, examples/queen/queen.cxx,
      examples/solitare/solitare.cxx: Include iostream.
      * examples/calculator/parser.y: Rename as ...
      * examples/calculator/parser.yxx: ... this.  Remove spurious
      comas in %token, %right, and %left arguments.
      * examples/calculator/parser.h: Rename as ...
      * examples/calculator/parser_.h: ... this, because the bison
      rule with output parser.h (not tokens.h) from parser.y.
      * examples/calculator/lexer.l: Rename as ...
      * examples/calculator/lexer.lxx: ... this.  Include parser.h
      instead of tokens.h.
      * examples/calculator/slist.h
      (voidSList::voisSListElem, SList::ite): Fix friend usage.
      * src/kernel.h (DEFAULT_CLOCK): Default to 60 if not already
      defined.
      * README: Update build instruction, and file listing.
      605dce2a