[polybori] branch master updated (6bf2ad4 -> a37fb8c)
Tobias Hansen
thansen at moszumanska.debian.org
Tue Feb 23 01:33:50 UTC 2016
This is an automated email from the git hooks/post-receive script.
thansen pushed a change to branch master
in repository polybori.
from 6bf2ad4 Let -dev packages depend also on libgd-dev, libpng12-dev and libm4ri-dev.
new 6e88466 Rename source package to brial.
adds dc20910 Imported Upstream version 0.8.4.3
new 95e3ee3 Merge tag 'upstream/0.8.4.3'
new aa1af32 Delete most of old rules file.
new bcd03e8 Deactivate two old patches.
new 8fa4c52 Remove build-depends scons, add dh-autoreconf.
new 0c10796 Call dh --with python2 correctly.
new 01348f7 Change .install files for renamed libraries.
new 01c2645 Remove packages polybori and polybori-gui.
new 0bdd2d5 Remove package polybori-doc.
new 4a7a7c8 Rename library packages and fix dh_strip override.
new a37fb8c Fix some stuff.
The 11 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails. The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.
Summary of changes:
.hgignore | 24 -
ChangeLog | 13 +
Cudd/Makefile | 322 -
Cudd/README | 177 -
Cudd/RELEASE.NOTES | 131 -
Cudd/cudd/Makefile | 124 -
Cudd/cudd/Makefile.am | 22 +
Cudd/cudd/Makefile.in | 698 +
Cudd/cudd/cuddAddAbs.c | 579 -
Cudd/cudd/cuddAddApply.c | 941 --
Cudd/cudd/cuddAddFind.c | 316 -
Cudd/cudd/cuddAddInv.c | 201 -
Cudd/cudd/cuddAddIte.c | 639 -
Cudd/cudd/cuddAddNeg.c | 290 -
Cudd/cudd/cuddAddWalsh.c | 391 -
Cudd/cudd/cuddAndAbs.c | 373 -
Cudd/cudd/cuddAnneal.c | 814 -
Cudd/cudd/cuddApa.c | 979 --
Cudd/cudd/cuddApprox.c | 2204 ---
Cudd/cudd/cuddBddAbs.c | 760 -
Cudd/cudd/cuddBddCorr.c | 515 -
Cudd/cudd/cuddBddIte.c | 1430 --
Cudd/cudd/cuddBridge.c | 1016 --
Cudd/cudd/cuddCheck.c | 885 --
Cudd/cudd/cuddClip.c | 558 -
Cudd/cudd/cuddCof.c | 327 -
Cudd/cudd/cuddCompose.c | 1749 --
Cudd/cudd/cuddDecomp.c | 2177 ---
Cudd/cudd/cuddEssent.c | 1467 --
Cudd/cudd/cuddExact.c | 1020 --
Cudd/cudd/cuddExport.c | 1389 --
Cudd/cudd/cuddGenCof.c | 2178 ---
Cudd/cudd/cuddGenetic.c | 960 --
Cudd/cudd/cuddGroup.c | 2188 ---
Cudd/cudd/cuddHarwell.c | 568 -
Cudd/cudd/cuddInteract.c | 432 -
Cudd/cudd/cuddLevelQ.c | 583 -
Cudd/cudd/cuddLinear.c | 1365 --
Cudd/cudd/cuddLiteral.c | 264 -
Cudd/cudd/cuddMatMult.c | 707 -
Cudd/cudd/cuddPriority.c | 2027 ---
Cudd/cudd/cuddRead.c | 517 -
Cudd/cudd/cuddReorder.c | 2137 ---
Cudd/cudd/cuddSat.c | 1774 ---
Cudd/cudd/cuddSign.c | 318 -
Cudd/cudd/cuddSolve.c | 366 -
Cudd/cudd/cuddSplit.c | 686 -
Cudd/cudd/cuddSubsetHB.c | 1331 --
Cudd/cudd/cuddSubsetSP.c | 1660 --
Cudd/cudd/cuddSymmetry.c | 1707 --
Cudd/cudd/cuddUtil.c | 4032 -----
Cudd/cudd/cuddWindow.c | 1023 --
Cudd/cudd/cuddZddCount.c | 357 -
Cudd/cudd/cuddZddGroup.c | 1340 --
Cudd/cudd/cuddZddIsop.c | 912 --
Cudd/cudd/cuddZddLin.c | 971 --
Cudd/cudd/cuddZddMisc.c | 278 -
Cudd/cudd/cuddZddPort.c | 381 -
Cudd/cudd/cuddZddReord.c | 1664 --
Cudd/cudd/cuddZddSymm.c | 1711 --
Cudd/cudd/cuddZddUtil.c | 1205 --
Cudd/cudd/doc/cudd.doc | 6776 --------
Cudd/cudd/doc/cuddAllAbs.html | 3114 ----
Cudd/cudd/doc/cuddAllByFile.html | 13 -
Cudd/cudd/doc/cuddAllByFunc.html | 13 -
Cudd/cudd/doc/cuddAllDet.html | 15754 ------------------
Cudd/cudd/doc/cuddAllFile.html | 4876 ------
Cudd/cudd/doc/cuddDesc.html | 33 -
Cudd/cudd/doc/cuddExt.html | 14 -
Cudd/cudd/doc/cuddExtAbs.html | 1415 --
Cudd/cudd/doc/cuddExtDet.html | 4450 ------
Cudd/cudd/doc/cuddIntro.css | 30 -
Cudd/cudd/doc/cuddTitle.html | 18 -
Cudd/cudd/doc/footnode.html | 109 -
Cudd/cudd/doc/icons/blueball.png | Bin 333 -> 0 bytes
Cudd/cudd/doc/icons/ch_beg_r.png | Bin 165 -> 0 bytes
Cudd/cudd/doc/icons/ch_begin.png | Bin 174 -> 0 bytes
Cudd/cudd/doc/icons/ch_delet.png | Bin 288 -> 0 bytes
Cudd/cudd/doc/icons/ch_end.png | Bin 171 -> 0 bytes
Cudd/cudd/doc/icons/ch_end_r.png | Bin 155 -> 0 bytes
Cudd/cudd/doc/icons/contents.png | Bin 278 -> 0 bytes
Cudd/cudd/doc/icons/crossref.png | Bin 147 -> 0 bytes
Cudd/cudd/doc/icons/footnote.png | Bin 190 -> 0 bytes
Cudd/cudd/doc/icons/greenball.png | Bin 333 -> 0 bytes
Cudd/cudd/doc/icons/image.png | Bin 244 -> 0 bytes
Cudd/cudd/doc/icons/index.png | Bin 246 -> 0 bytes
Cudd/cudd/doc/icons/next.png | Bin 245 -> 0 bytes
Cudd/cudd/doc/icons/next_g.png | Bin 272 -> 0 bytes
Cudd/cudd/doc/icons/nx_grp.png | Bin 314 -> 0 bytes
Cudd/cudd/doc/icons/nx_grp_g.png | Bin 386 -> 0 bytes
Cudd/cudd/doc/icons/orangeball.png | Bin 333 -> 0 bytes
Cudd/cudd/doc/icons/pinkball.png | Bin 332 -> 0 bytes
Cudd/cudd/doc/icons/prev.png | Bin 279 -> 0 bytes
Cudd/cudd/doc/icons/prev_g.png | Bin 327 -> 0 bytes
Cudd/cudd/doc/icons/purpleball.png | Bin 332 -> 0 bytes
Cudd/cudd/doc/icons/pv_grp.png | Bin 352 -> 0 bytes
Cudd/cudd/doc/icons/pv_grp_g.png | Bin 430 -> 0 bytes
Cudd/cudd/doc/icons/redball.png | Bin 332 -> 0 bytes
Cudd/cudd/doc/icons/up.png | Bin 211 -> 0 bytes
Cudd/cudd/doc/icons/up_g.png | Bin 231 -> 0 bytes
Cudd/cudd/doc/icons/whiteball.png | Bin 229 -> 0 bytes
Cudd/cudd/doc/icons/yellowball.png | Bin 333 -> 0 bytes
Cudd/cudd/doc/img1.png | Bin 201 -> 0 bytes
Cudd/cudd/doc/img10.png | Bin 211 -> 0 bytes
Cudd/cudd/doc/img11.png | Bin 476 -> 0 bytes
Cudd/cudd/doc/img12.png | Bin 555 -> 0 bytes
Cudd/cudd/doc/img13.png | Bin 560 -> 0 bytes
Cudd/cudd/doc/img14.png | Bin 675 -> 0 bytes
Cudd/cudd/doc/img15.png | Bin 200 -> 0 bytes
Cudd/cudd/doc/img16.png | Bin 223 -> 0 bytes
Cudd/cudd/doc/img17.png | Bin 246 -> 0 bytes
Cudd/cudd/doc/img18.png | Bin 298 -> 0 bytes
Cudd/cudd/doc/img19.png | Bin 409 -> 0 bytes
Cudd/cudd/doc/img2.png | Bin 197 -> 0 bytes
Cudd/cudd/doc/img20.png | Bin 238 -> 0 bytes
Cudd/cudd/doc/img21.png | Bin 614 -> 0 bytes
Cudd/cudd/doc/img22.png | Bin 12605 -> 0 bytes
Cudd/cudd/doc/img3.png | Bin 401 -> 0 bytes
Cudd/cudd/doc/img4.png | Bin 204 -> 0 bytes
Cudd/cudd/doc/img5.png | Bin 315 -> 0 bytes
Cudd/cudd/doc/img6.png | Bin 185 -> 0 bytes
Cudd/cudd/doc/img7.png | Bin 262 -> 0 bytes
Cudd/cudd/doc/img8.png | Bin 220 -> 0 bytes
Cudd/cudd/doc/img9.png | Bin 215 -> 0 bytes
Cudd/cudd/doc/index.html | 219 -
Cudd/cudd/doc/node1.html | 174 -
Cudd/cudd/doc/node2.html | 175 -
Cudd/cudd/doc/node3.html | 1637 --
Cudd/cudd/doc/node4.html | 1165 --
Cudd/cudd/doc/node5.html | 130 -
Cudd/cudd/doc/node6.html | 132 -
Cudd/cudd/doc/node7.html | 195 -
Cudd/cudd/doc/node8.html | 848 -
Cudd/cudd/r7x8.1.mat | 53 -
Cudd/cudd/testcudd.c | 1178 --
Cudd/epd/Makefile | 64 -
Cudd/epd/epd.c | 1344 --
Cudd/epd/epd.h | 200 -
Cudd/mtr/Makefile | 96 -
Cudd/mtr/Makefile.sis | 83 -
Cudd/mtr/doc/mtr.doc | 252 -
Cudd/mtr/doc/mtrAllAbs.html | 72 -
Cudd/mtr/doc/mtrAllDet.html | 317 -
Cudd/mtr/doc/mtrExtAbs.html | 72 -
Cudd/mtr/doc/mtrExtDet.html | 324 -
Cudd/mtr/mtr.h | 187 -
Cudd/mtr/mtrBasic.c | 450 -
Cudd/mtr/mtrGroup.c | 877 -
Cudd/mtr/mtrInt.h | 92 -
Cudd/mtr/test.groups | 5 -
Cudd/mtr/testmtr.c | 270 -
Cudd/nanotrav/C17.blif | 16 -
Cudd/nanotrav/C880.blif | 770 -
Cudd/nanotrav/Makefile | 98 -
Cudd/nanotrav/README | 47 -
Cudd/nanotrav/bnet.c | 2252 ---
Cudd/nanotrav/bnet.h | 187 -
Cudd/nanotrav/chkMterm.c | 235 -
Cudd/nanotrav/doc/bnetAllAbs.html | 45 -
Cudd/nanotrav/doc/bnetAllDet.html | 173 -
Cudd/nanotrav/doc/bnetExtAbs.html | 45 -
Cudd/nanotrav/doc/bnetExtDet.html | 173 -
Cudd/nanotrav/doc/ntrAllAbs.html | 114 -
Cudd/nanotrav/doc/ntrAllDet.html | 513 -
Cudd/nanotrav/doc/ntrExtAbs.html | 111 -
Cudd/nanotrav/doc/ntrExtDet.html | 500 -
Cudd/nanotrav/main.c | 1394 --
Cudd/nanotrav/mult32a.blif | 745 -
Cudd/nanotrav/nanotrav.1 | 379 -
Cudd/nanotrav/ntr.c | 2988 ----
Cudd/nanotrav/ntr.h | 283 -
Cudd/nanotrav/ntrBddTest.c | 2315 ---
Cudd/nanotrav/ntrHeap.c | 390 -
Cudd/nanotrav/ntrMflow.c | 1581 --
Cudd/nanotrav/ntrShort.c | 578 -
Cudd/nanotrav/ntrZddTest.c | 468 -
Cudd/nanotrav/rcn25.blif | 335 -
Cudd/nanotrav/s27.blif | 30 -
Cudd/nanotrav/tst.sh | 9 -
Cudd/nanotrav/ucbqsort.c | 228 -
Cudd/obj/.Makefile.swp | Bin 12288 -> 0 bytes
Cudd/obj/Makefile | 110 -
Cudd/obj/cuddObj.cc | 5700 -------
Cudd/obj/cuddObj.hh | 770 -
Cudd/obj/testobj.cc | 607 -
Cudd/setup.sh | 29 -
Cudd/shutdown.sh | 2 -
Makefile.am | 15 +
Makefile.in | 952 ++
PyPolyBoRi/Poly_wrapper.cc | 230 -
PyPolyBoRi/Poly_wrapper.h | 30 -
PyPolyBoRi/dd_wrapper.cc | 108 -
PyPolyBoRi/dd_wrapper.h | 10 -
PyPolyBoRi/example.py | 70 -
PyPolyBoRi/fglm_wrapper.cc | 24 -
PyPolyBoRi/fglm_wrapper.h | 9 -
PyPolyBoRi/ipythonrc-polybori | 43 -
PyPolyBoRi/main_wrapper.cc | 258 -
PyPolyBoRi/main_wrapper.h | 11 -
PyPolyBoRi/misc_wrapper.cc | 54 -
PyPolyBoRi/misc_wrapper.h | 11 -
PyPolyBoRi/monomial_wrapper.cc | 166 -
PyPolyBoRi/monomial_wrapper.h | 11 -
PyPolyBoRi/navigator_wrap.cc | 48 -
PyPolyBoRi/navigator_wrap.h | 10 -
PyPolyBoRi/ntl_wrapper.cc | 34 -
PyPolyBoRi/ntl_wrapper.h | 11 -
PyPolyBoRi/out_helper.h | 17 -
PyPolyBoRi/pairs.cc | 117 -
PyPolyBoRi/pairs.h | 10 -
PyPolyBoRi/parse.py | 128 -
PyPolyBoRi/pyparsing.py | 2206 ---
PyPolyBoRi/pypb_module.cc | 61 -
PyPolyBoRi/set_wrapper.cc | 123 -
PyPolyBoRi/set_wrapper.h | 10 -
PyPolyBoRi/slimgb_wrapper.cc | 43 -
PyPolyBoRi/slimgb_wrapper.h | 11 -
PyPolyBoRi/split.py | 44 -
PyPolyBoRi/strategy_wrapper.cc | 320 -
PyPolyBoRi/strategy_wrapper.h | 10 -
PyPolyBoRi/test_util.cc | 73 -
PyPolyBoRi/test_util.h | 9 -
PyPolyBoRi/toprofile.py | 44 -
PyPolyBoRi/variable_block.cc | 54 -
PyPolyBoRi/variable_block.h | 13 -
README | 154 +-
SConstruct | 2166 ---
Singular/README | 41 -
Singular/pb.cc | 270 -
Singular/pb.h | 72 -
Singular/pb.mod | 61 -
Singular/pb_if.cc | 1384 --
Singular/pbwrapper.h | 157 -
Singular/psico.py | 4 -
Singular/test_file.sing | 21 -
Singular/test_pb_if.Singular | 20 -
aclocal.m4 | 1668 ++
ar-lib | 270 +
common.mk | 8 +
compile | 347 +
config.guess | 1421 ++
config.sub | 1807 +++
configure | 20179 ++++++++++++++++++++++++
configure.ac | 100 +
debian/changelog | 8 +
debian/control | 105 +-
debian/libpolybori-0.8-3.install | 1 -
debian/libpolybori-dev.install | 17 +-
debian/libpolybori-groebner-0.8-3.install | 1 -
debian/libpolybori-groebner-dev.install | 3 +-
debian/libpolybori-groebner0.install | 1 +
debian/libpolybori0.install | 1 +
debian/patches/series | 2 -
debian/polybori-doc.doc-base | 12 -
debian/polybori-doc.install | 2 -
debian/polybori-doc.lintian-overrides | 2 -
debian/polybori-gui.install | 3 -
debian/polybori-gui.manpages | 1 -
debian/polybori.install | 2 -
debian/polybori.manpages | 1 -
debian/rules | 71 +-
depcomp | 791 +
disttar.py | 194 -
doc/doxygen.conf | 1251 --
doc/genpythondoc.py | 42 -
doc/images/logo.png | Bin 18395 -> 0 bytes
doc/images/overview.png | Bin 86198 -> 0 bytes
doc/index.html.in | 154 -
doc/man/PolyGUI.1 | 63 -
doc/man/ipbori.1 | 79 -
doc/tutorial/PolyGui-Options.png | Bin 10478 -> 0 bytes
doc/tutorial/PolyGui.png | Bin 22585 -> 0 bytes
doc/tutorial/graded.py | 33 -
doc/tutorial/tutorial.tex | 152 -
doc/tutorial/tutorial_content.tex | 1409 --
doc/tutorial/versionnumber.in | 1 -
doxygen.py | 207 -
groebner/Makefile.am | 1 +
groebner/Makefile.in | 640 +
groebner/doc/doxygen.conf | 1101 --
groebner/include/Makefile.am | 105 +
groebner/include/Makefile.in | 689 +
groebner/include/polybori/groebner/.h | 0
groebner/src/Makefile.am | 32 +
groebner/src/Makefile.in | 876 +
gui/PolyGUI | 684 -
gui/PolyGUI.xpm | 83 -
gui/cnf2ideal.py | 306 -
gui/polybori.png | Bin 18395 -> 0 bytes
install-sh | 501 +
ipbori/ipbori | 126 -
libpolybori/Makefile.am | 1 +
libpolybori/Makefile.in | 640 +
libpolybori/auxiliary/Skeleton.h | 47 -
libpolybori/auxiliary/SkeletonTest.cc | 43 -
libpolybori/auxiliary/beautify_units.sh | 69 -
libpolybori/auxiliary/check_mem.sh | 37 -
libpolybori/auxiliary/get_sat_table.sh | 12 -
libpolybori/auxiliary/release.sh | 146 -
libpolybori/auxiliary/stepbystep.install | 173 -
libpolybori/auxiliary/timeout.sh | 40 -
libpolybori/doc/Makefile | 2 -
libpolybori/doc/doxygen.conf | 1101 --
libpolybori/include/Makefile.am | 87 +
libpolybori/include/Makefile.in | 671 +
libpolybori/include/polybori/config.h | 92 +
libpolybori/include/polybori/config.h.in | 91 +
libpolybori/include/polybori/embed.h | 378 -
libpolybori/src/Makefile.am | 23 +
libpolybori/src/Makefile.in | 658 +
ltmain.sh | 11147 +++++++++++++
m4/ax_m4ri_flags.m4 | 44 +
m4/libtool.m4 | 8369 ++++++++++
m4/ltoptions.m4 | 437 +
m4/ltsugar.m4 | 124 +
m4/ltversion.m4 | 23 +
m4/lt~obsolete.m4 | 99 +
missing | 215 +
pkgs/debian/cdbs/scons-vars.mk | 1 -
pkgs/debian/cdbs/scons.mk | 1 -
pkgs/debian/changelog.in | 61 -
pkgs/debian/compat | 1 -
pkgs/debian/control.in | 57 -
pkgs/debian/copyright | 30 -
pkgs/debian/libpolybori-dev.install | 3 -
pkgs/debian/libpolybori0.install | 2 -
pkgs/debian/polybori.install | 3 -
pkgs/debian/python-polybori.install | 4 -
pkgs/debian/readme | 6 -
pkgs/debian/rules | 48 -
pkgs/rpm/PolyBoRi.rpmlintrc | 2 -
pkgs/rpm/PolyBoRi.spec.in | 331 -
py-compile | 170 +
pyroot/Makefile.am | 19 +
pyroot/Makefile.in | 564 +
pyroot/{polybori => }/PyPolyBoRi.py | 4 +-
pyroot/{polybori => }/__init__.py | 14 +-
pyroot/{polybori => }/blocks.py | 4 +-
pyroot/{polybori => }/cnf.py | 20 +-
pyroot/{polybori => }/easy_polynomials.py | 8 +-
pyroot/{polybori => }/fglm.py | 12 +-
pyroot/{polybori => }/gbcore.py | 18 +-
pyroot/{polybori => }/gbrefs.py | 6 +-
pyroot/{polybori => }/heuristics.py | 6 +-
pyroot/{polybori => }/interpolate.py | 4 +-
pyroot/{polybori => }/interred.py | 2 +-
pyroot/{polybori => }/ll.py | 14 +-
pyroot/{polybori => }/nf.py | 8 +-
pyroot/{polybori => }/parallel.py | 12 +-
pyroot/polybori/addition.py | 144 -
pyroot/polybori/check_claims.py | 204 -
pyroot/polybori/cluster.py | 120 -
pyroot/polybori/coding.py | 85 -
pyroot/polybori/context.py | 101 -
pyroot/polybori/frontend.py | 86 -
pyroot/polybori/general_boolean_polynomial.py | 615 -
pyroot/polybori/intersect.py | 46 -
pyroot/polybori/intpolys.py | 81 -
pyroot/polybori/memusage.py | 65 -
pyroot/polybori/ncf.py | 41 -
pyroot/polybori/parsegat.py | 519 -
pyroot/polybori/partial.py | 49 -
pyroot/polybori/plot.py | 253 -
pyroot/polybori/simplebb.py | 72 -
pyroot/{polybori => }/randompoly.py | 8 +-
pyroot/{polybori => }/rank.py | 0
pyroot/{polybori => }/specialsets.py | 2 +-
pyroot/{polybori => }/statistics.py | 2 +-
testsuite/execsuite | 123 -
testsuite/src/BlockDegLexOrderTest.cc | 422 -
testsuite/src/BlockDegRevLexAscOrderTest.cc | 435 -
testsuite/src/BooleConstantTest.cc | 71 -
testsuite/src/BooleEnvTest.cc | 175 -
testsuite/src/BooleExponentTest.cc | 864 -
testsuite/src/BooleMonomialTest.cc | 606 -
testsuite/src/BoolePolyRingTest.cc | 425 -
testsuite/src/BoolePolynomialTest.cc | 1134 --
testsuite/src/BooleSetTest.cc | 771 -
testsuite/src/BooleVariableTest.cc | 156 -
testsuite/src/CCuddDDFacadeTest.cc | 629 -
testsuite/src/CFactoryBaseTest.cc | 74 -
testsuite/src/CStringLiteralTest.cc | 72 -
testsuite/src/DegLexOrderTest.cc | 255 -
testsuite/src/DegRevLexAscOrderTest.cc | 227 -
testsuite/src/FGLMStrategyTest.cc | 117 -
testsuite/src/GroebnerStrategyTest.cc | 53 -
testsuite/src/LexOrderTest.cc | 197 -
testsuite/src/MonomialFactoryTest.cc | 99 -
testsuite/src/PBoRiErrorTest.cc | 83 -
testsuite/src/PolynomialFactoryTest.cc | 124 -
testsuite/src/PseudoLongProductTest.cc | 101 -
testsuite/src/SetFactoryTest.cc | 91 -
testsuite/src/VariableFactoryTest.cc | 76 -
testsuite/src/embedTest.cc | 131 -
testsuite/src/spolyTest.cc | 55 -
testsuite/src/term_accumulateTest.cc | 139 -
testsuite/src/unittests.cc | 19 -
testsuite/src/unittests_orderings.cc | 19 -
testsuite/src/weak_pointersTest.cc | 149 -
versionnumber | 1 -
400 files changed, 54725 insertions(+), 156785 deletions(-)
delete mode 100644 .hgignore
delete mode 100644 Cudd/Makefile
delete mode 100644 Cudd/README
delete mode 100644 Cudd/RELEASE.NOTES
delete mode 100644 Cudd/cudd/Makefile
create mode 100644 Cudd/cudd/Makefile.am
create mode 100644 Cudd/cudd/Makefile.in
delete mode 100644 Cudd/cudd/cuddAddAbs.c
delete mode 100644 Cudd/cudd/cuddAddApply.c
delete mode 100644 Cudd/cudd/cuddAddFind.c
delete mode 100644 Cudd/cudd/cuddAddInv.c
delete mode 100644 Cudd/cudd/cuddAddIte.c
delete mode 100644 Cudd/cudd/cuddAddNeg.c
delete mode 100644 Cudd/cudd/cuddAddWalsh.c
delete mode 100644 Cudd/cudd/cuddAndAbs.c
delete mode 100644 Cudd/cudd/cuddAnneal.c
delete mode 100644 Cudd/cudd/cuddApa.c
delete mode 100644 Cudd/cudd/cuddApprox.c
delete mode 100644 Cudd/cudd/cuddBddAbs.c
delete mode 100644 Cudd/cudd/cuddBddCorr.c
delete mode 100644 Cudd/cudd/cuddBddIte.c
delete mode 100644 Cudd/cudd/cuddBridge.c
delete mode 100644 Cudd/cudd/cuddCheck.c
delete mode 100644 Cudd/cudd/cuddClip.c
delete mode 100644 Cudd/cudd/cuddCof.c
delete mode 100644 Cudd/cudd/cuddCompose.c
delete mode 100644 Cudd/cudd/cuddDecomp.c
delete mode 100644 Cudd/cudd/cuddEssent.c
delete mode 100644 Cudd/cudd/cuddExact.c
delete mode 100644 Cudd/cudd/cuddExport.c
delete mode 100644 Cudd/cudd/cuddGenCof.c
delete mode 100644 Cudd/cudd/cuddGenetic.c
delete mode 100644 Cudd/cudd/cuddGroup.c
delete mode 100644 Cudd/cudd/cuddHarwell.c
delete mode 100644 Cudd/cudd/cuddInteract.c
delete mode 100644 Cudd/cudd/cuddLevelQ.c
delete mode 100644 Cudd/cudd/cuddLinear.c
delete mode 100644 Cudd/cudd/cuddLiteral.c
delete mode 100644 Cudd/cudd/cuddMatMult.c
delete mode 100644 Cudd/cudd/cuddPriority.c
delete mode 100644 Cudd/cudd/cuddRead.c
delete mode 100644 Cudd/cudd/cuddReorder.c
delete mode 100644 Cudd/cudd/cuddSat.c
delete mode 100644 Cudd/cudd/cuddSign.c
delete mode 100644 Cudd/cudd/cuddSolve.c
delete mode 100644 Cudd/cudd/cuddSplit.c
delete mode 100644 Cudd/cudd/cuddSubsetHB.c
delete mode 100644 Cudd/cudd/cuddSubsetSP.c
delete mode 100644 Cudd/cudd/cuddSymmetry.c
delete mode 100644 Cudd/cudd/cuddUtil.c
delete mode 100644 Cudd/cudd/cuddWindow.c
delete mode 100644 Cudd/cudd/cuddZddCount.c
delete mode 100644 Cudd/cudd/cuddZddGroup.c
delete mode 100644 Cudd/cudd/cuddZddIsop.c
delete mode 100644 Cudd/cudd/cuddZddLin.c
delete mode 100644 Cudd/cudd/cuddZddMisc.c
delete mode 100644 Cudd/cudd/cuddZddPort.c
delete mode 100644 Cudd/cudd/cuddZddReord.c
delete mode 100644 Cudd/cudd/cuddZddSymm.c
delete mode 100644 Cudd/cudd/cuddZddUtil.c
delete mode 100644 Cudd/cudd/doc/cudd.doc
delete mode 100644 Cudd/cudd/doc/cuddAllAbs.html
delete mode 100644 Cudd/cudd/doc/cuddAllByFile.html
delete mode 100644 Cudd/cudd/doc/cuddAllByFunc.html
delete mode 100644 Cudd/cudd/doc/cuddAllDet.html
delete mode 100644 Cudd/cudd/doc/cuddAllFile.html
delete mode 100644 Cudd/cudd/doc/cuddDesc.html
delete mode 100644 Cudd/cudd/doc/cuddExt.html
delete mode 100644 Cudd/cudd/doc/cuddExtAbs.html
delete mode 100644 Cudd/cudd/doc/cuddExtDet.html
delete mode 100644 Cudd/cudd/doc/cuddIntro.css
delete mode 100644 Cudd/cudd/doc/cuddTitle.html
delete mode 100644 Cudd/cudd/doc/footnode.html
delete mode 100644 Cudd/cudd/doc/icons/blueball.png
delete mode 100644 Cudd/cudd/doc/icons/ch_beg_r.png
delete mode 100644 Cudd/cudd/doc/icons/ch_begin.png
delete mode 100644 Cudd/cudd/doc/icons/ch_delet.png
delete mode 100644 Cudd/cudd/doc/icons/ch_end.png
delete mode 100644 Cudd/cudd/doc/icons/ch_end_r.png
delete mode 100644 Cudd/cudd/doc/icons/contents.png
delete mode 100644 Cudd/cudd/doc/icons/crossref.png
delete mode 100644 Cudd/cudd/doc/icons/footnote.png
delete mode 100644 Cudd/cudd/doc/icons/greenball.png
delete mode 100644 Cudd/cudd/doc/icons/image.png
delete mode 100644 Cudd/cudd/doc/icons/index.png
delete mode 100644 Cudd/cudd/doc/icons/next.png
delete mode 100644 Cudd/cudd/doc/icons/next_g.png
delete mode 100644 Cudd/cudd/doc/icons/nx_grp.png
delete mode 100644 Cudd/cudd/doc/icons/nx_grp_g.png
delete mode 100644 Cudd/cudd/doc/icons/orangeball.png
delete mode 100644 Cudd/cudd/doc/icons/pinkball.png
delete mode 100644 Cudd/cudd/doc/icons/prev.png
delete mode 100644 Cudd/cudd/doc/icons/prev_g.png
delete mode 100644 Cudd/cudd/doc/icons/purpleball.png
delete mode 100644 Cudd/cudd/doc/icons/pv_grp.png
delete mode 100644 Cudd/cudd/doc/icons/pv_grp_g.png
delete mode 100644 Cudd/cudd/doc/icons/redball.png
delete mode 100644 Cudd/cudd/doc/icons/up.png
delete mode 100644 Cudd/cudd/doc/icons/up_g.png
delete mode 100644 Cudd/cudd/doc/icons/whiteball.png
delete mode 100644 Cudd/cudd/doc/icons/yellowball.png
delete mode 100644 Cudd/cudd/doc/img1.png
delete mode 100644 Cudd/cudd/doc/img10.png
delete mode 100644 Cudd/cudd/doc/img11.png
delete mode 100644 Cudd/cudd/doc/img12.png
delete mode 100644 Cudd/cudd/doc/img13.png
delete mode 100644 Cudd/cudd/doc/img14.png
delete mode 100644 Cudd/cudd/doc/img15.png
delete mode 100644 Cudd/cudd/doc/img16.png
delete mode 100644 Cudd/cudd/doc/img17.png
delete mode 100644 Cudd/cudd/doc/img18.png
delete mode 100644 Cudd/cudd/doc/img19.png
delete mode 100644 Cudd/cudd/doc/img2.png
delete mode 100644 Cudd/cudd/doc/img20.png
delete mode 100644 Cudd/cudd/doc/img21.png
delete mode 100644 Cudd/cudd/doc/img22.png
delete mode 100644 Cudd/cudd/doc/img3.png
delete mode 100644 Cudd/cudd/doc/img4.png
delete mode 100644 Cudd/cudd/doc/img5.png
delete mode 100644 Cudd/cudd/doc/img6.png
delete mode 100644 Cudd/cudd/doc/img7.png
delete mode 100644 Cudd/cudd/doc/img8.png
delete mode 100644 Cudd/cudd/doc/img9.png
delete mode 100644 Cudd/cudd/doc/index.html
delete mode 100644 Cudd/cudd/doc/node1.html
delete mode 100644 Cudd/cudd/doc/node2.html
delete mode 100644 Cudd/cudd/doc/node3.html
delete mode 100644 Cudd/cudd/doc/node4.html
delete mode 100644 Cudd/cudd/doc/node5.html
delete mode 100644 Cudd/cudd/doc/node6.html
delete mode 100644 Cudd/cudd/doc/node7.html
delete mode 100644 Cudd/cudd/doc/node8.html
delete mode 100644 Cudd/cudd/r7x8.1.mat
delete mode 100644 Cudd/cudd/testcudd.c
delete mode 100644 Cudd/epd/Makefile
delete mode 100644 Cudd/epd/epd.c
delete mode 100644 Cudd/epd/epd.h
delete mode 100644 Cudd/mtr/Makefile
delete mode 100644 Cudd/mtr/Makefile.sis
delete mode 100644 Cudd/mtr/doc/mtr.doc
delete mode 100644 Cudd/mtr/doc/mtrAllAbs.html
delete mode 100644 Cudd/mtr/doc/mtrAllDet.html
delete mode 100644 Cudd/mtr/doc/mtrExtAbs.html
delete mode 100644 Cudd/mtr/doc/mtrExtDet.html
delete mode 100644 Cudd/mtr/mtr.h
delete mode 100644 Cudd/mtr/mtrBasic.c
delete mode 100644 Cudd/mtr/mtrGroup.c
delete mode 100644 Cudd/mtr/mtrInt.h
delete mode 100644 Cudd/mtr/test.groups
delete mode 100644 Cudd/mtr/testmtr.c
delete mode 100644 Cudd/nanotrav/C17.blif
delete mode 100644 Cudd/nanotrav/C880.blif
delete mode 100644 Cudd/nanotrav/Makefile
delete mode 100644 Cudd/nanotrav/README
delete mode 100644 Cudd/nanotrav/bnet.c
delete mode 100644 Cudd/nanotrav/bnet.h
delete mode 100644 Cudd/nanotrav/chkMterm.c
delete mode 100644 Cudd/nanotrav/doc/bnetAllAbs.html
delete mode 100644 Cudd/nanotrav/doc/bnetAllDet.html
delete mode 100644 Cudd/nanotrav/doc/bnetExtAbs.html
delete mode 100644 Cudd/nanotrav/doc/bnetExtDet.html
delete mode 100644 Cudd/nanotrav/doc/ntrAllAbs.html
delete mode 100644 Cudd/nanotrav/doc/ntrAllDet.html
delete mode 100644 Cudd/nanotrav/doc/ntrExtAbs.html
delete mode 100644 Cudd/nanotrav/doc/ntrExtDet.html
delete mode 100644 Cudd/nanotrav/main.c
delete mode 100644 Cudd/nanotrav/mult32a.blif
delete mode 100644 Cudd/nanotrav/nanotrav.1
delete mode 100644 Cudd/nanotrav/ntr.c
delete mode 100644 Cudd/nanotrav/ntr.h
delete mode 100644 Cudd/nanotrav/ntrBddTest.c
delete mode 100644 Cudd/nanotrav/ntrHeap.c
delete mode 100644 Cudd/nanotrav/ntrMflow.c
delete mode 100644 Cudd/nanotrav/ntrShort.c
delete mode 100644 Cudd/nanotrav/ntrZddTest.c
delete mode 100644 Cudd/nanotrav/rcn25.blif
delete mode 100644 Cudd/nanotrav/s27.blif
delete mode 100755 Cudd/nanotrav/tst.sh
delete mode 100644 Cudd/nanotrav/ucbqsort.c
delete mode 100644 Cudd/obj/.Makefile.swp
delete mode 100644 Cudd/obj/Makefile
delete mode 100644 Cudd/obj/cuddObj.cc
delete mode 100644 Cudd/obj/cuddObj.hh
delete mode 100644 Cudd/obj/testobj.cc
delete mode 100755 Cudd/setup.sh
delete mode 100755 Cudd/shutdown.sh
create mode 100644 Makefile.am
create mode 100644 Makefile.in
delete mode 100644 PyPolyBoRi/Poly_wrapper.cc
delete mode 100644 PyPolyBoRi/Poly_wrapper.h
delete mode 100644 PyPolyBoRi/dd_wrapper.cc
delete mode 100644 PyPolyBoRi/dd_wrapper.h
delete mode 100644 PyPolyBoRi/example.py
delete mode 100644 PyPolyBoRi/fglm_wrapper.cc
delete mode 100644 PyPolyBoRi/fglm_wrapper.h
delete mode 100644 PyPolyBoRi/ipythonrc-polybori
delete mode 100644 PyPolyBoRi/main_wrapper.cc
delete mode 100644 PyPolyBoRi/main_wrapper.h
delete mode 100644 PyPolyBoRi/misc_wrapper.cc
delete mode 100644 PyPolyBoRi/misc_wrapper.h
delete mode 100644 PyPolyBoRi/monomial_wrapper.cc
delete mode 100644 PyPolyBoRi/monomial_wrapper.h
delete mode 100644 PyPolyBoRi/navigator_wrap.cc
delete mode 100644 PyPolyBoRi/navigator_wrap.h
delete mode 100644 PyPolyBoRi/ntl_wrapper.cc
delete mode 100644 PyPolyBoRi/ntl_wrapper.h
delete mode 100644 PyPolyBoRi/out_helper.h
delete mode 100644 PyPolyBoRi/pairs.cc
delete mode 100644 PyPolyBoRi/pairs.h
delete mode 100644 PyPolyBoRi/parse.py
delete mode 100644 PyPolyBoRi/pyparsing.py
delete mode 100644 PyPolyBoRi/pypb_module.cc
delete mode 100644 PyPolyBoRi/set_wrapper.cc
delete mode 100644 PyPolyBoRi/set_wrapper.h
delete mode 100644 PyPolyBoRi/slimgb_wrapper.cc
delete mode 100644 PyPolyBoRi/slimgb_wrapper.h
delete mode 100644 PyPolyBoRi/split.py
delete mode 100644 PyPolyBoRi/strategy_wrapper.cc
delete mode 100644 PyPolyBoRi/strategy_wrapper.h
delete mode 100644 PyPolyBoRi/test_util.cc
delete mode 100644 PyPolyBoRi/test_util.h
delete mode 100644 PyPolyBoRi/toprofile.py
delete mode 100644 PyPolyBoRi/variable_block.cc
delete mode 100644 PyPolyBoRi/variable_block.h
delete mode 100644 SConstruct
delete mode 100644 Singular/README
delete mode 100644 Singular/pb.cc
delete mode 100644 Singular/pb.h
delete mode 100644 Singular/pb.mod
delete mode 100644 Singular/pb_if.cc
delete mode 100644 Singular/pbwrapper.h
delete mode 100644 Singular/psico.py
delete mode 100644 Singular/test_file.sing
delete mode 100644 Singular/test_pb_if.Singular
create mode 100644 aclocal.m4
create mode 100755 ar-lib
create mode 100644 common.mk
create mode 100755 compile
create mode 100755 config.guess
create mode 100755 config.sub
create mode 100755 configure
create mode 100644 configure.ac
delete mode 100644 debian/libpolybori-0.8-3.install
delete mode 100644 debian/libpolybori-groebner-0.8-3.install
create mode 100644 debian/libpolybori-groebner0.install
create mode 100644 debian/libpolybori0.install
delete mode 100644 debian/polybori-doc.doc-base
delete mode 100644 debian/polybori-doc.install
delete mode 100644 debian/polybori-doc.lintian-overrides
delete mode 100644 debian/polybori-gui.install
delete mode 100644 debian/polybori-gui.manpages
delete mode 100644 debian/polybori.install
delete mode 100644 debian/polybori.manpages
create mode 100755 depcomp
delete mode 100644 disttar.py
delete mode 100644 doc/doxygen.conf
delete mode 100644 doc/genpythondoc.py
delete mode 100644 doc/images/logo.png
delete mode 100644 doc/images/overview.png
delete mode 100644 doc/index.html.in
delete mode 100644 doc/man/PolyGUI.1
delete mode 100644 doc/man/ipbori.1
delete mode 100644 doc/tutorial/PolyGui-Options.png
delete mode 100644 doc/tutorial/PolyGui.png
delete mode 100644 doc/tutorial/graded.py
delete mode 100644 doc/tutorial/tutorial.tex
delete mode 100644 doc/tutorial/tutorial_content.tex
delete mode 100644 doc/tutorial/versionnumber.in
delete mode 100644 doxygen.py
create mode 100644 groebner/Makefile.am
create mode 100644 groebner/Makefile.in
delete mode 100644 groebner/doc/doxygen.conf
create mode 100644 groebner/include/Makefile.am
create mode 100644 groebner/include/Makefile.in
delete mode 100644 groebner/include/polybori/groebner/.h
create mode 100644 groebner/src/Makefile.am
create mode 100644 groebner/src/Makefile.in
delete mode 100755 gui/PolyGUI
delete mode 100644 gui/PolyGUI.xpm
delete mode 100644 gui/cnf2ideal.py
delete mode 100644 gui/polybori.png
create mode 100755 install-sh
delete mode 100755 ipbori/ipbori
create mode 100644 libpolybori/Makefile.am
create mode 100644 libpolybori/Makefile.in
delete mode 100644 libpolybori/auxiliary/Skeleton.h
delete mode 100644 libpolybori/auxiliary/SkeletonTest.cc
delete mode 100755 libpolybori/auxiliary/beautify_units.sh
delete mode 100755 libpolybori/auxiliary/check_mem.sh
delete mode 100755 libpolybori/auxiliary/get_sat_table.sh
delete mode 100755 libpolybori/auxiliary/release.sh
delete mode 100644 libpolybori/auxiliary/stepbystep.install
delete mode 100755 libpolybori/auxiliary/timeout.sh
delete mode 100644 libpolybori/doc/Makefile
delete mode 100644 libpolybori/doc/doxygen.conf
create mode 100644 libpolybori/include/Makefile.am
create mode 100644 libpolybori/include/Makefile.in
create mode 100644 libpolybori/include/polybori/config.h
create mode 100644 libpolybori/include/polybori/config.h.in
delete mode 100644 libpolybori/include/polybori/embed.h
create mode 100644 libpolybori/src/Makefile.am
create mode 100644 libpolybori/src/Makefile.in
create mode 100644 ltmain.sh
create mode 100644 m4/ax_m4ri_flags.m4
create mode 100644 m4/libtool.m4
create mode 100644 m4/ltoptions.m4
create mode 100644 m4/ltsugar.m4
create mode 100644 m4/ltversion.m4
create mode 100644 m4/lt~obsolete.m4
create mode 100755 missing
delete mode 100644 pkgs/debian/cdbs/scons-vars.mk
delete mode 100644 pkgs/debian/cdbs/scons.mk
delete mode 100644 pkgs/debian/changelog.in
delete mode 100644 pkgs/debian/compat
delete mode 100755 pkgs/debian/control.in
delete mode 100644 pkgs/debian/copyright
delete mode 100644 pkgs/debian/libpolybori-dev.install
delete mode 100644 pkgs/debian/libpolybori0.install
delete mode 100644 pkgs/debian/polybori.install
delete mode 100644 pkgs/debian/python-polybori.install
delete mode 100644 pkgs/debian/readme
delete mode 100755 pkgs/debian/rules
delete mode 100644 pkgs/rpm/PolyBoRi.rpmlintrc
delete mode 100644 pkgs/rpm/PolyBoRi.spec.in
create mode 100755 py-compile
create mode 100644 pyroot/Makefile.am
create mode 100644 pyroot/Makefile.in
rename pyroot/{polybori => }/PyPolyBoRi.py (99%)
rename pyroot/{polybori => }/__init__.py (85%)
rename pyroot/{polybori => }/blocks.py (99%)
rename pyroot/{polybori => }/cnf.py (95%)
rename pyroot/{polybori => }/easy_polynomials.py (87%)
rename pyroot/{polybori => }/fglm.py (87%)
rename pyroot/{polybori => }/gbcore.py (97%)
rename pyroot/{polybori => }/gbrefs.py (93%)
rename pyroot/{polybori => }/heuristics.py (81%)
rename pyroot/{polybori => }/interpolate.py (97%)
rename pyroot/{polybori => }/interred.py (91%)
rename pyroot/{polybori => }/ll.py (97%)
rename pyroot/{polybori => }/nf.py (99%)
rename pyroot/{polybori => }/parallel.py (96%)
delete mode 100644 pyroot/polybori/addition.py
delete mode 100644 pyroot/polybori/check_claims.py
delete mode 100644 pyroot/polybori/cluster.py
delete mode 100644 pyroot/polybori/coding.py
delete mode 100644 pyroot/polybori/context.py
delete mode 100644 pyroot/polybori/frontend.py
delete mode 100644 pyroot/polybori/general_boolean_polynomial.py
delete mode 100644 pyroot/polybori/intersect.py
delete mode 100644 pyroot/polybori/intpolys.py
delete mode 100644 pyroot/polybori/memusage.py
delete mode 100644 pyroot/polybori/ncf.py
delete mode 100644 pyroot/polybori/parsegat.py
delete mode 100644 pyroot/polybori/partial.py
delete mode 100644 pyroot/polybori/plot.py
delete mode 100644 pyroot/polybori/simplebb.py
rename pyroot/{polybori => }/randompoly.py (94%)
rename pyroot/{polybori => }/rank.py (100%)
rename pyroot/{polybori => }/specialsets.py (98%)
rename pyroot/{polybori => }/statistics.py (89%)
delete mode 100755 testsuite/execsuite
delete mode 100644 testsuite/src/BlockDegLexOrderTest.cc
delete mode 100644 testsuite/src/BlockDegRevLexAscOrderTest.cc
delete mode 100644 testsuite/src/BooleConstantTest.cc
delete mode 100644 testsuite/src/BooleEnvTest.cc
delete mode 100644 testsuite/src/BooleExponentTest.cc
delete mode 100644 testsuite/src/BooleMonomialTest.cc
delete mode 100644 testsuite/src/BoolePolyRingTest.cc
delete mode 100644 testsuite/src/BoolePolynomialTest.cc
delete mode 100644 testsuite/src/BooleSetTest.cc
delete mode 100644 testsuite/src/BooleVariableTest.cc
delete mode 100644 testsuite/src/CCuddDDFacadeTest.cc
delete mode 100644 testsuite/src/CFactoryBaseTest.cc
delete mode 100644 testsuite/src/CStringLiteralTest.cc
delete mode 100644 testsuite/src/DegLexOrderTest.cc
delete mode 100644 testsuite/src/DegRevLexAscOrderTest.cc
delete mode 100644 testsuite/src/FGLMStrategyTest.cc
delete mode 100644 testsuite/src/GroebnerStrategyTest.cc
delete mode 100644 testsuite/src/LexOrderTest.cc
delete mode 100644 testsuite/src/MonomialFactoryTest.cc
delete mode 100644 testsuite/src/PBoRiErrorTest.cc
delete mode 100644 testsuite/src/PolynomialFactoryTest.cc
delete mode 100644 testsuite/src/PseudoLongProductTest.cc
delete mode 100644 testsuite/src/SetFactoryTest.cc
delete mode 100644 testsuite/src/VariableFactoryTest.cc
delete mode 100644 testsuite/src/embedTest.cc
delete mode 100644 testsuite/src/spolyTest.cc
delete mode 100644 testsuite/src/term_accumulateTest.cc
delete mode 100644 testsuite/src/unittests.cc
delete mode 100644 testsuite/src/unittests_orderings.cc
delete mode 100644 testsuite/src/weak_pointersTest.cc
delete mode 100644 versionnumber
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/polybori.git
More information about the debian-science-commits
mailing list