emergency commit
authorUtz-Uwe Haus <haus@uuhaus.de>
Fri, 23 Oct 2009 21:06:41 +0000 (23:06 +0200)
committerUtz-Uwe Haus <haus@uuhaus.de>
Fri, 23 Oct 2009 21:06:41 +0000 (23:06 +0200)
commit8da727899e73ebe082787f305efb2bbea8c365d1
tree01664a2fda104e4f65c754244895791b6dfc451f
emergency commit
333 files changed:
.gitignore [new file with mode: 0644]
asdf-component-shared-unix-library.asd [new file with mode: 0644]
cudd-cffi.i [new file with mode: 0644]
cudd.asd [new file with mode: 0644]
cuddsat.lisp [new file with mode: 0644]
distr/LICENSE [new file with mode: 0644]
distr/Makefile [new file with mode: 0644]
distr/README [new file with mode: 0644]
distr/RELEASE.NOTES [new file with mode: 0644]
distr/cudd/Makefile [new file with mode: 0644]
distr/cudd/cudd.h [new file with mode: 0644]
distr/cudd/cuddAPI.c [new file with mode: 0644]
distr/cudd/cuddAddAbs.c [new file with mode: 0644]
distr/cudd/cuddAddApply.c [new file with mode: 0644]
distr/cudd/cuddAddFind.c [new file with mode: 0644]
distr/cudd/cuddAddInv.c [new file with mode: 0644]
distr/cudd/cuddAddIte.c [new file with mode: 0644]
distr/cudd/cuddAddNeg.c [new file with mode: 0644]
distr/cudd/cuddAddWalsh.c [new file with mode: 0644]
distr/cudd/cuddAndAbs.c [new file with mode: 0644]
distr/cudd/cuddAnneal.c [new file with mode: 0644]
distr/cudd/cuddApa.c [new file with mode: 0644]
distr/cudd/cuddApprox.c [new file with mode: 0644]
distr/cudd/cuddBddAbs.c [new file with mode: 0644]
distr/cudd/cuddBddCorr.c [new file with mode: 0644]
distr/cudd/cuddBddIte.c [new file with mode: 0644]
distr/cudd/cuddBridge.c [new file with mode: 0644]
distr/cudd/cuddCache.c [new file with mode: 0644]
distr/cudd/cuddCheck.c [new file with mode: 0644]
distr/cudd/cuddClip.c [new file with mode: 0644]
distr/cudd/cuddCof.c [new file with mode: 0644]
distr/cudd/cuddCompose.c [new file with mode: 0644]
distr/cudd/cuddDecomp.c [new file with mode: 0644]
distr/cudd/cuddEssent.c [new file with mode: 0644]
distr/cudd/cuddExact.c [new file with mode: 0644]
distr/cudd/cuddExport.c [new file with mode: 0644]
distr/cudd/cuddGenCof.c [new file with mode: 0644]
distr/cudd/cuddGenetic.c [new file with mode: 0644]
distr/cudd/cuddGroup.c [new file with mode: 0644]
distr/cudd/cuddHarwell.c [new file with mode: 0644]
distr/cudd/cuddInit.c [new file with mode: 0644]
distr/cudd/cuddInt.h [new file with mode: 0644]
distr/cudd/cuddInteract.c [new file with mode: 0644]
distr/cudd/cuddLCache.c [new file with mode: 0644]
distr/cudd/cuddLevelQ.c [new file with mode: 0644]
distr/cudd/cuddLinear.c [new file with mode: 0644]
distr/cudd/cuddLiteral.c [new file with mode: 0644]
distr/cudd/cuddMatMult.c [new file with mode: 0644]
distr/cudd/cuddPriority.c [new file with mode: 0644]
distr/cudd/cuddRead.c [new file with mode: 0644]
distr/cudd/cuddRef.c [new file with mode: 0644]
distr/cudd/cuddReorder.c [new file with mode: 0644]
distr/cudd/cuddSat.c [new file with mode: 0644]
distr/cudd/cuddSign.c [new file with mode: 0644]
distr/cudd/cuddSolve.c [new file with mode: 0644]
distr/cudd/cuddSplit.c [new file with mode: 0644]
distr/cudd/cuddSubsetHB.c [new file with mode: 0644]
distr/cudd/cuddSubsetSP.c [new file with mode: 0644]
distr/cudd/cuddSymmetry.c [new file with mode: 0644]
distr/cudd/cuddTable.c [new file with mode: 0644]
distr/cudd/cuddUtil.c [new file with mode: 0644]
distr/cudd/cuddWindow.c [new file with mode: 0644]
distr/cudd/cuddZddCount.c [new file with mode: 0644]
distr/cudd/cuddZddFuncs.c [new file with mode: 0644]
distr/cudd/cuddZddGroup.c [new file with mode: 0644]
distr/cudd/cuddZddIsop.c [new file with mode: 0644]
distr/cudd/cuddZddLin.c [new file with mode: 0644]
distr/cudd/cuddZddMisc.c [new file with mode: 0644]
distr/cudd/cuddZddPort.c [new file with mode: 0644]
distr/cudd/cuddZddReord.c [new file with mode: 0644]
distr/cudd/cuddZddSetop.c [new file with mode: 0644]
distr/cudd/cuddZddSymm.c [new file with mode: 0644]
distr/cudd/cuddZddUtil.c [new file with mode: 0644]
distr/cudd/doc/cudd.doc [new file with mode: 0644]
distr/cudd/doc/cudd.ps [new file with mode: 0644]
distr/cudd/doc/cuddAllAbs.html [new file with mode: 0644]
distr/cudd/doc/cuddAllByFile.html [new file with mode: 0644]
distr/cudd/doc/cuddAllByFunc.html [new file with mode: 0644]
distr/cudd/doc/cuddAllDet.html [new file with mode: 0644]
distr/cudd/doc/cuddAllFile.html [new file with mode: 0644]
distr/cudd/doc/cuddDesc.html [new file with mode: 0644]
distr/cudd/doc/cuddExt.html [new file with mode: 0644]
distr/cudd/doc/cuddExtAbs.html [new file with mode: 0644]
distr/cudd/doc/cuddExtDet.html [new file with mode: 0644]
distr/cudd/doc/cuddIntro.css [new file with mode: 0644]
distr/cudd/doc/cuddIntro.html [new file with mode: 0644]
distr/cudd/doc/cuddTitle.html [new file with mode: 0644]
distr/cudd/doc/footnode.html [new file with mode: 0644]
distr/cudd/doc/icons/blueball.png [new file with mode: 0644]
distr/cudd/doc/icons/ch_beg_r.png [new file with mode: 0644]
distr/cudd/doc/icons/ch_begin.png [new file with mode: 0644]
distr/cudd/doc/icons/ch_del_r.png [new file with mode: 0644]
distr/cudd/doc/icons/ch_delet.png [new file with mode: 0644]
distr/cudd/doc/icons/ch_end.png [new file with mode: 0644]
distr/cudd/doc/icons/ch_end_r.png [new file with mode: 0644]
distr/cudd/doc/icons/contents.png [new file with mode: 0644]
distr/cudd/doc/icons/crossref.png [new file with mode: 0644]
distr/cudd/doc/icons/footnote.png [new file with mode: 0644]
distr/cudd/doc/icons/greenball.png [new file with mode: 0644]
distr/cudd/doc/icons/image.png [new file with mode: 0644]
distr/cudd/doc/icons/index.png [new file with mode: 0644]
distr/cudd/doc/icons/next.png [new file with mode: 0644]
distr/cudd/doc/icons/next_g.png [new file with mode: 0644]
distr/cudd/doc/icons/nx_grp.png [new file with mode: 0644]
distr/cudd/doc/icons/nx_grp_g.png [new file with mode: 0644]
distr/cudd/doc/icons/orangeball.png [new file with mode: 0644]
distr/cudd/doc/icons/pinkball.png [new file with mode: 0644]
distr/cudd/doc/icons/prev.png [new file with mode: 0644]
distr/cudd/doc/icons/prev_g.png [new file with mode: 0644]
distr/cudd/doc/icons/purpleball.png [new file with mode: 0644]
distr/cudd/doc/icons/pv_grp.png [new file with mode: 0644]
distr/cudd/doc/icons/pv_grp_g.png [new file with mode: 0644]
distr/cudd/doc/icons/redball.png [new file with mode: 0644]
distr/cudd/doc/icons/up.png [new file with mode: 0644]
distr/cudd/doc/icons/up_g.png [new file with mode: 0644]
distr/cudd/doc/icons/whiteball.png [new file with mode: 0644]
distr/cudd/doc/icons/yellowball.png [new file with mode: 0644]
distr/cudd/doc/img1.png [new file with mode: 0644]
distr/cudd/doc/img10.png [new file with mode: 0644]
distr/cudd/doc/img11.png [new file with mode: 0644]
distr/cudd/doc/img12.png [new file with mode: 0644]
distr/cudd/doc/img13.png [new file with mode: 0644]
distr/cudd/doc/img14.png [new file with mode: 0644]
distr/cudd/doc/img15.png [new file with mode: 0644]
distr/cudd/doc/img16.png [new file with mode: 0644]
distr/cudd/doc/img17.png [new file with mode: 0644]
distr/cudd/doc/img18.png [new file with mode: 0644]
distr/cudd/doc/img19.png [new file with mode: 0644]
distr/cudd/doc/img2.png [new file with mode: 0644]
distr/cudd/doc/img20.png [new file with mode: 0644]
distr/cudd/doc/img21.png [new file with mode: 0644]
distr/cudd/doc/img22.png [new file with mode: 0644]
distr/cudd/doc/img3.png [new file with mode: 0644]
distr/cudd/doc/img4.png [new file with mode: 0644]
distr/cudd/doc/img5.png [new file with mode: 0644]
distr/cudd/doc/img6.png [new file with mode: 0644]
distr/cudd/doc/img7.png [new file with mode: 0644]
distr/cudd/doc/img8.png [new file with mode: 0644]
distr/cudd/doc/img9.png [new file with mode: 0644]
distr/cudd/doc/index.html [new file with mode: 0644]
distr/cudd/doc/node1.html [new file with mode: 0644]
distr/cudd/doc/node2.html [new file with mode: 0644]
distr/cudd/doc/node3.html [new file with mode: 0644]
distr/cudd/doc/node4.html [new file with mode: 0644]
distr/cudd/doc/node5.html [new file with mode: 0644]
distr/cudd/doc/node6.html [new file with mode: 0644]
distr/cudd/doc/node7.html [new file with mode: 0644]
distr/cudd/doc/node8.html [new file with mode: 0644]
distr/cudd/r7x8.1.mat [new file with mode: 0644]
distr/cudd/r7x8.1.out [new file with mode: 0644]
distr/cudd/testcudd.c [new file with mode: 0644]
distr/dddmp/Makefile [new file with mode: 0644]
distr/dddmp/README.dddmp [new file with mode: 0644]
distr/dddmp/README.testdddmp [new file with mode: 0644]
distr/dddmp/RELEASE_NOTES [new file with mode: 0644]
distr/dddmp/dddmp.h [new file with mode: 0644]
distr/dddmp/dddmpBinary.c [new file with mode: 0644]
distr/dddmp/dddmpConvert.c [new file with mode: 0644]
distr/dddmp/dddmpDbg.c [new file with mode: 0644]
distr/dddmp/dddmpDdNodeBdd.c [new file with mode: 0644]
distr/dddmp/dddmpDdNodeCnf.c [new file with mode: 0644]
distr/dddmp/dddmpInt.h [new file with mode: 0644]
distr/dddmp/dddmpLoad.c [new file with mode: 0644]
distr/dddmp/dddmpLoadCnf.c [new file with mode: 0644]
distr/dddmp/dddmpNodeAdd.c [new file with mode: 0644]
distr/dddmp/dddmpNodeBdd.c [new file with mode: 0644]
distr/dddmp/dddmpNodeCnf.c [new file with mode: 0644]
distr/dddmp/dddmpStoreAdd.c [new file with mode: 0644]
distr/dddmp/dddmpStoreBdd.c [new file with mode: 0644]
distr/dddmp/dddmpStoreCnf.c [new file with mode: 0644]
distr/dddmp/dddmpStoreMisc.c [new file with mode: 0644]
distr/dddmp/dddmpUtil.c [new file with mode: 0644]
distr/dddmp/doc/cmdIndex.html [new file with mode: 0644]
distr/dddmp/doc/commands.html [new file with mode: 0644]
distr/dddmp/doc/credit.html [new file with mode: 0644]
distr/dddmp/doc/dddmp-2.0-A4.ps [new file with mode: 0644]
distr/dddmp/doc/dddmp-2.0-Letter.ps [new file with mode: 0644]
distr/dddmp/doc/dddmpAllAbs.html [new file with mode: 0644]
distr/dddmp/doc/dddmpAllByFile.html [new file with mode: 0644]
distr/dddmp/doc/dddmpAllByFunc.html [new file with mode: 0644]
distr/dddmp/doc/dddmpAllDet.html [new file with mode: 0644]
distr/dddmp/doc/dddmpAllFile.html [new file with mode: 0644]
distr/dddmp/doc/dddmpDesc.html [new file with mode: 0644]
distr/dddmp/doc/dddmpDoc.txt [new file with mode: 0644]
distr/dddmp/doc/dddmpExt.html [new file with mode: 0644]
distr/dddmp/doc/dddmpExtAbs.html [new file with mode: 0644]
distr/dddmp/doc/dddmpExtDet.html [new file with mode: 0644]
distr/dddmp/doc/dddmpTitle.html [new file with mode: 0644]
distr/dddmp/doc/packages.html [new file with mode: 0644]
distr/dddmp/doc/pkgIndex.html [new file with mode: 0644]
distr/dddmp/exp/0.add [new file with mode: 0644]
distr/dddmp/exp/0.bdd [new file with mode: 0644]
distr/dddmp/exp/0or1.bdd [new file with mode: 0644]
distr/dddmp/exp/1.add [new file with mode: 0644]
distr/dddmp/exp/1.bdd [new file with mode: 0644]
distr/dddmp/exp/2.bdd [new file with mode: 0644]
distr/dddmp/exp/2and3.bdd [new file with mode: 0644]
distr/dddmp/exp/3.bdd [new file with mode: 0644]
distr/dddmp/exp/4.bdd [new file with mode: 0644]
distr/dddmp/exp/4.bdd.bis1 [new file with mode: 0644]
distr/dddmp/exp/4.bdd.bis2 [new file with mode: 0644]
distr/dddmp/exp/4.bdd.bis3 [new file with mode: 0644]
distr/dddmp/exp/4.bdd.bis4 [new file with mode: 0644]
distr/dddmp/exp/4.cnf [new file with mode: 0644]
distr/dddmp/exp/4.cnf.bis [new file with mode: 0644]
distr/dddmp/exp/4.max1 [new file with mode: 0644]
distr/dddmp/exp/4.max2 [new file with mode: 0644]
distr/dddmp/exp/4bis.bdd [new file with mode: 0644]
distr/dddmp/exp/4xor5.bdd [new file with mode: 0644]
distr/dddmp/exp/5.bdd [new file with mode: 0644]
distr/dddmp/exp/composeids.txt [new file with mode: 0644]
distr/dddmp/exp/one.bdd [new file with mode: 0644]
distr/dddmp/exp/runAllTest.out [new file with mode: 0644]
distr/dddmp/exp/runAllTest.script [new file with mode: 0755]
distr/dddmp/exp/s27RP1.bdd [new file with mode: 0644]
distr/dddmp/exp/s27deltaDddmp1.bdd [new file with mode: 0644]
distr/dddmp/exp/s27deltaDddmp1.bdd.bis [new file with mode: 0644]
distr/dddmp/exp/s27deltaDddmp2.bdd [new file with mode: 0644]
distr/dddmp/exp/test1.out [new file with mode: 0644]
distr/dddmp/exp/test1.script [new file with mode: 0755]
distr/dddmp/exp/test2.out [new file with mode: 0644]
distr/dddmp/exp/test2.script [new file with mode: 0755]
distr/dddmp/exp/test3.out [new file with mode: 0644]
distr/dddmp/exp/test3.script [new file with mode: 0755]
distr/dddmp/exp/test4.out [new file with mode: 0644]
distr/dddmp/exp/test4.script [new file with mode: 0755]
distr/dddmp/exp/test5.out [new file with mode: 0644]
distr/dddmp/exp/test5.script [new file with mode: 0755]
distr/dddmp/exp/test6.out [new file with mode: 0644]
distr/dddmp/exp/test6.script [new file with mode: 0755]
distr/dddmp/exp/test7.out [new file with mode: 0644]
distr/dddmp/exp/test7.script [new file with mode: 0755]
distr/dddmp/exp/varauxids.ord [new file with mode: 0644]
distr/dddmp/exp/varnames.ord [new file with mode: 0644]
distr/dddmp/exp/zero.bdd [new file with mode: 0644]
distr/dddmp/testdddmp.c [new file with mode: 0644]
distr/epd/Makefile [new file with mode: 0644]
distr/epd/epd.c [new file with mode: 0644]
distr/epd/epd.h [new file with mode: 0644]
distr/mnemosyne/Makefile [new file with mode: 0644]
distr/mnemosyne/README [new file with mode: 0644]
distr/mnemosyne/mnemalyse.c [new file with mode: 0644]
distr/mnemosyne/mnemconf.h [new file with mode: 0644]
distr/mnemosyne/mnemosyne.c [new file with mode: 0644]
distr/mnemosyne/mnemosyne.h [new file with mode: 0644]
distr/mnemosyne/mtest.c [new file with mode: 0644]
distr/mtr/Makefile [new file with mode: 0644]
distr/mtr/Makefile.sis [new file with mode: 0644]
distr/mtr/doc/mtr.doc [new file with mode: 0644]
distr/mtr/doc/mtrAllAbs.html [new file with mode: 0644]
distr/mtr/doc/mtrAllDet.html [new file with mode: 0644]
distr/mtr/doc/mtrExtAbs.html [new file with mode: 0644]
distr/mtr/doc/mtrExtDet.html [new file with mode: 0644]
distr/mtr/mtr.h [new file with mode: 0644]
distr/mtr/mtrBasic.c [new file with mode: 0644]
distr/mtr/mtrGroup.c [new file with mode: 0644]
distr/mtr/mtrInt.h [new file with mode: 0644]
distr/mtr/test.groups [new file with mode: 0644]
distr/mtr/testmtr.c [new file with mode: 0644]
distr/nanotrav/C17.blif [new file with mode: 0644]
distr/nanotrav/C17.out [new file with mode: 0644]
distr/nanotrav/C880.blif [new file with mode: 0644]
distr/nanotrav/C880.out [new file with mode: 0644]
distr/nanotrav/Makefile [new file with mode: 0644]
distr/nanotrav/README [new file with mode: 0644]
distr/nanotrav/bnet.c [new file with mode: 0644]
distr/nanotrav/bnet.h [new file with mode: 0644]
distr/nanotrav/chkMterm.c [new file with mode: 0644]
distr/nanotrav/doc/bnetAllAbs.html [new file with mode: 0644]
distr/nanotrav/doc/bnetAllDet.html [new file with mode: 0644]
distr/nanotrav/doc/bnetExtAbs.html [new file with mode: 0644]
distr/nanotrav/doc/bnetExtDet.html [new file with mode: 0644]
distr/nanotrav/doc/ntrAllAbs.html [new file with mode: 0644]
distr/nanotrav/doc/ntrAllDet.html [new file with mode: 0644]
distr/nanotrav/doc/ntrExtAbs.html [new file with mode: 0644]
distr/nanotrav/doc/ntrExtDet.html [new file with mode: 0644]
distr/nanotrav/main.c [new file with mode: 0644]
distr/nanotrav/mult32a.blif [new file with mode: 0644]
distr/nanotrav/mult32a.out [new file with mode: 0644]
distr/nanotrav/nanotrav.1 [new file with mode: 0644]
distr/nanotrav/ntr.c [new file with mode: 0644]
distr/nanotrav/ntr.h [new file with mode: 0644]
distr/nanotrav/ntrBddTest.c [new file with mode: 0644]
distr/nanotrav/ntrHeap.c [new file with mode: 0644]
distr/nanotrav/ntrMflow.c [new file with mode: 0644]
distr/nanotrav/ntrShort.c [new file with mode: 0644]
distr/nanotrav/ntrZddTest.c [new file with mode: 0644]
distr/nanotrav/rcn25.blif [new file with mode: 0644]
distr/nanotrav/rcn25.out [new file with mode: 0644]
distr/nanotrav/s27.blif [new file with mode: 0644]
distr/nanotrav/s27.out [new file with mode: 0644]
distr/nanotrav/tst.sh [new file with mode: 0755]
distr/nanotrav/ucbqsort.c [new file with mode: 0644]
distr/obj/Makefile [new file with mode: 0644]
distr/obj/cuddObj.cc [new file with mode: 0644]
distr/obj/cuddObj.hh [new file with mode: 0644]
distr/obj/test.out [new file with mode: 0644]
distr/obj/testobj.cc [new file with mode: 0644]
distr/setup.sh [new file with mode: 0755]
distr/shutdown.sh [new file with mode: 0755]
distr/sis/Makefile.sis [new file with mode: 0644]
distr/sis/cuddBdd.h [new file with mode: 0644]
distr/sis/cuddBddPort.c [new file with mode: 0644]
distr/sis/cuddPwPt.c [new file with mode: 0644]
distr/sis/st.c [new file with mode: 0644]
distr/sis/st.h [new file with mode: 0644]
distr/st/Makefile [new file with mode: 0644]
distr/st/doc/stAllAbs.html [new file with mode: 0644]
distr/st/doc/stAllDet.html [new file with mode: 0644]
distr/st/doc/stExtAbs.html [new file with mode: 0644]
distr/st/doc/stExtDet.html [new file with mode: 0644]
distr/st/st.c [new file with mode: 0644]
distr/st/st.h [new file with mode: 0644]
distr/util/Makefile [new file with mode: 0644]
distr/util/cpu_stats.c [new file with mode: 0644]
distr/util/cpu_time.c [new file with mode: 0644]
distr/util/datalimit.c [new file with mode: 0644]
distr/util/getopt.c [new file with mode: 0644]
distr/util/pathsearch.c [new file with mode: 0644]
distr/util/pipefork.c [new file with mode: 0644]
distr/util/prtime.c [new file with mode: 0644]
distr/util/ptime.c [new file with mode: 0644]
distr/util/restart.c [new file with mode: 0644]
distr/util/safe_mem.c [new file with mode: 0644]
distr/util/saveimage.c [new file with mode: 0644]
distr/util/state.c [new file with mode: 0644]
distr/util/strsav.c [new file with mode: 0644]
distr/util/stub.c [new file with mode: 0644]
distr/util/test-res.c [new file with mode: 0644]
distr/util/test-sav.c [new file with mode: 0644]
distr/util/texpand.c [new file with mode: 0644]
distr/util/tmpfile.c [new file with mode: 0644]
distr/util/util.h [new file with mode: 0644]