[polybori] 02/11: Merge tag 'upstream/0.8.4.3'
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 commit to branch master
in repository polybori.
commit 95e3ee3b2a12eb30fceb292dac19e76b640dba33
Merge: 6e88466 dc20910
Author: Tobias Hansen <thansen at localhost.localdomain>
Date: Tue Feb 23 00:06:10 2016 +0000
Merge tag 'upstream/0.8.4.3'
Upstream version 0.8.4.3
.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 +
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 -
383 files changed, 54684 insertions(+), 156593 deletions(-)
--
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