[polybori] branch master updated (3afa1c9 -> 8dd3ba9)
Tobias Hansen
thansen at moszumanska.debian.org
Sat Nov 4 01:30:36 UTC 2017
This is an automated email from the git hooks/post-receive script.
thansen pushed a change to branch master
in repository polybori.
from 3afa1c9 Release 0.8.7-2 to Debian unstable.
adds 3f3f7f4 New upstream version 1.2.0
new 090b98f Merge tag 'upstream/1.2.0'
new fe9e78b Changelog entry for brial 1.2.0-1.
new 04e4dac Remove testsuite-boost-1.62.patch (applied upstream).
new 87a4d2e Breaks: sagemath (<< 8.1~)
new d4b2d72 Changes for SONAME change 0 -> 3.
new 896448c Change Build-Depends: libgd2-xpm-dev to libgd-dev.
new bfd168a Bump Standards-Version to 4.1.1.
new 334e284 Build also python module.
new b080bd3 Remove manually created dbg packages.
new 390f515 Remove remnants from polybori -> brial renaming.
new 265e50e Change package priority to optional.
new 8d5636d Update debian/copyright.
new 8dd3ba9 Remove old debian/todo and debian/custom.py.
The 13 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:
.gitignore | 1 +
.travis.yml | 112 +
ChangeLog | 463 -
Cudd/Makefile | 322 -
Cudd/cudd/Makefile | 124 -
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/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 -
LICENSE | 29 +-
Makefile.am | 12 +-
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 | 26 +-
README.md | 15 +
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 -
common.mk | 2 +-
configure.ac | 43 +-
{Cudd => cudd}/LICENSE | 0
{Cudd/cudd => cudd}/Makefile.am | 0
{Cudd => cudd}/README | 0
cudd/README-BRiAl | 5 +
{Cudd => cudd}/RELEASE.NOTES | 0
{Cudd/cudd => cudd}/cudd.h | 0
{Cudd/cudd => cudd}/cuddAPI.c | 0
{Cudd/cudd => cudd}/cuddAddAbs.c | 0
{Cudd/cudd => cudd}/cuddAddApply.c | 0
{Cudd/cudd => cudd}/cuddAddFind.c | 0
{Cudd/cudd => cudd}/cuddAddInv.c | 0
{Cudd/cudd => cudd}/cuddAddIte.c | 0
{Cudd/cudd => cudd}/cuddAddNeg.c | 0
{Cudd/cudd => cudd}/cuddAddWalsh.c | 0
{Cudd/cudd => cudd}/cuddAndAbs.c | 0
{Cudd/cudd => cudd}/cuddAnneal.c | 0
{Cudd/cudd => cudd}/cuddApa.c | 0
{Cudd/cudd => cudd}/cuddApprox.c | 0
{Cudd/cudd => cudd}/cuddBddAbs.c | 0
{Cudd/cudd => cudd}/cuddBddCorr.c | 0
{Cudd/cudd => cudd}/cuddBddIte.c | 0
{Cudd/cudd => cudd}/cuddBridge.c | 0
{Cudd/cudd => cudd}/cuddCache.c | 0
{Cudd/cudd => cudd}/cuddCheck.c | 0
{Cudd/cudd => cudd}/cuddClip.c | 0
{Cudd/cudd => cudd}/cuddCof.c | 0
{Cudd/cudd => cudd}/cuddCompose.c | 0
{Cudd/cudd => cudd}/cuddDecomp.c | 0
{Cudd/cudd => cudd}/cuddEssent.c | 0
{Cudd/cudd => cudd}/cuddExact.c | 0
{Cudd/cudd => cudd}/cuddExport.c | 0
{Cudd/cudd => cudd}/cuddGenCof.c | 0
{Cudd/cudd => cudd}/cuddGenetic.c | 0
{Cudd/cudd => cudd}/cuddGroup.c | 0
{Cudd/cudd => cudd}/cuddHarwell.c | 0
{Cudd/cudd => cudd}/cuddInit.c | 0
{Cudd/cudd => cudd}/cuddInt.h | 0
{Cudd/cudd => cudd}/cuddInteract.c | 0
{Cudd/cudd => cudd}/cuddLCache.c | 0
{Cudd/cudd => cudd}/cuddLevelQ.c | 0
{Cudd/cudd => cudd}/cuddLinear.c | 0
{Cudd/cudd => cudd}/cuddLiteral.c | 0
{Cudd/cudd => cudd}/cuddMatMult.c | 0
{Cudd/cudd => cudd}/cuddPriority.c | 0
{Cudd/cudd => cudd}/cuddRead.c | 0
{Cudd/cudd => cudd}/cuddRef.c | 0
{Cudd/cudd => cudd}/cuddReorder.c | 0
{Cudd/cudd => cudd}/cuddSat.c | 0
{Cudd/cudd => cudd}/cuddSign.c | 0
{Cudd/cudd => cudd}/cuddSolve.c | 0
{Cudd/cudd => cudd}/cuddSplit.c | 0
{Cudd/cudd => cudd}/cuddSubsetHB.c | 0
{Cudd/cudd => cudd}/cuddSubsetSP.c | 0
{Cudd/cudd => cudd}/cuddSymmetry.c | 0
{Cudd/cudd => cudd}/cuddTable.c | 0
{Cudd/cudd => cudd}/cuddUtil.c | 0
{Cudd/cudd => cudd}/cuddWindow.c | 0
{Cudd/cudd => cudd}/cuddZddCount.c | 0
{Cudd/cudd => cudd}/cuddZddFuncs.c | 0
{Cudd/cudd => cudd}/cuddZddGroup.c | 0
{Cudd/cudd => cudd}/cuddZddIsop.c | 0
{Cudd/cudd => cudd}/cuddZddLin.c | 0
{Cudd/cudd => cudd}/cuddZddMisc.c | 0
{Cudd/cudd => cudd}/cuddZddPort.c | 0
{Cudd/cudd => cudd}/cuddZddReord.c | 0
{Cudd/cudd => cudd}/cuddZddSetop.c | 0
{Cudd/cudd => cudd}/cuddZddSymm.c | 0
{Cudd/cudd => cudd}/cuddZddUtil.c | 0
{Cudd/cudd => cudd}/r7x8.1.mat | 0
{Cudd/cudd => cudd}/testcudd.c | 0
{Cudd/cudd => cudd}/util.h | 0
debian/changelog | 13 +
debian/control | 76 +-
debian/copyright | 26 +-
debian/custom.py | 18 -
...roebner0.install => libbrial-groebner3.install} | 0
debian/{libbrial0.install => libbrial3.install} | 0
debian/patches/series | 1 -
debian/patches/testsuite-boost-1.62.patch | 218 -
debian/rules | 26 +-
debian/todo | 176 -
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/doc/doxygen.conf | 1101 --
.../include/polybori/groebner/CountCriterion.h | 2 +-
.../include/polybori/groebner/GroebnerStrategy.h | 4 +-
groebner/include/polybori/groebner/LexBucket.h | 2 +-
groebner/include/polybori/groebner/PairLS.h | 4 +-
.../include/polybori/groebner/ReductionStrategy.h | 3 -
groebner/include/polybori/groebner/cache_manager.h | 4 +-
groebner/include/polybori/groebner/groebner_defs.h | 1 -
.../polybori/groebner/linear_algebra_step.h | 11 +-
.../include/polybori/groebner/minimal_elements.h | 61 +-
groebner/include/polybori/groebner/pairs.h | 2 +-
groebner/src/GroebnerStrategy.cc | 16 +-
groebner/src/Makefile.am | 2 +-
groebner/src/nf.cc | 2 +-
gui/PolyGUI | 684 -
gui/PolyGUI.xpm | 83 -
gui/cnf2ideal.py | 306 -
gui/polybori.png | Bin 18395 -> 0 bytes
ipbori/ipbori | 126 -
libbrial/auxiliary/Skeleton.h | 47 -
libbrial/auxiliary/SkeletonTest.cc | 43 -
libbrial/auxiliary/beautify_units.sh | 69 -
libbrial/auxiliary/check_mem.sh | 37 -
libbrial/auxiliary/get_sat_table.sh | 12 -
libbrial/auxiliary/release.sh | 146 -
libbrial/auxiliary/stepbystep.install | 173 -
libbrial/auxiliary/timeout.sh | 40 -
libbrial/doc/Makefile | 2 -
libbrial/doc/doxygen.conf | 1101 --
libbrial/include/polybori/BooleConstant.h | 2 +-
libbrial/include/polybori/common/CWeakPtr.h | 2 +-
libbrial/include/polybori/common/CWeakPtrFacade.h | 4 +-
libbrial/include/polybori/cudd/cudd.h | 2 +-
libbrial/include/polybori/cudd/cuddInt.h | 2 +-
libbrial/include/polybori/diagram/CDDOperations.h | 5 -
libbrial/include/polybori/embed.h | 378 -
libbrial/include/polybori/iterators/COrderedIter.h | 6 +-
libbrial/include/polybori/iterators/CTermStack.h | 15 +-
libbrial/include/polybori/orderings/pbori_order.h | 4 +-
libbrial/include/polybori/ring/CCuddCore.h | 4 +-
.../include/polybori/routines/pbori_algo_int.h | 1 -
libbrial/include/polybori/routines/pbori_func.h | 73 +-
.../polybori/routines/pbori_routines_misc.h | 1 -
.../polybori/routines/pbori_routines_order.h | 4 +-
libbrial/src/BooleExponent.cc | 10 +-
m4/ax_boost_base.m4 | 287 +
m4/ax_boost_unit_test_framework.m4 | 137 +
m4/ax_cxx_compile_stdcxx.m4 | 556 +
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 -
pyroot/Makefile.am | 19 -
pyroot/PyPolyBoRi.py | 403 -
sage-brial/README.md | 3 +
sage-brial/brial/PyPolyBoRi.py | 119 +
{pyroot => sage-brial/brial}/__init__.py | 0
{pyroot => sage-brial/brial}/addition.py | 0
{pyroot => sage-brial/brial}/blocks.py | 0
{pyroot => sage-brial/brial}/check_claims.py | 0
{pyroot => sage-brial/brial}/cluster.py | 0
{pyroot => sage-brial/brial}/cnf.py | 0
{pyroot => sage-brial/brial}/coding.py | 0
{pyroot => sage-brial/brial}/context.py | 0
{pyroot => sage-brial/brial}/easy_polynomials.py | 0
{pyroot => sage-brial/brial}/fglm.py | 0
{pyroot => sage-brial/brial}/frontend.py | 0
{pyroot => sage-brial/brial}/gbcore.py | 0
{pyroot => sage-brial/brial}/gbrefs.py | 0
.../brial}/general_boolean_polynomial.py | 0
{pyroot => sage-brial/brial}/heuristics.py | 0
{pyroot => sage-brial/brial}/interpolate.py | 0
{pyroot => sage-brial/brial}/interred.py | 0
{pyroot => sage-brial/brial}/intersect.py | 0
{pyroot => sage-brial/brial}/intpolys.py | 0
{pyroot => sage-brial/brial}/ll.py | 0
{pyroot => sage-brial/brial}/memusage.py | 0
{pyroot => sage-brial/brial}/ncf.py | 0
{pyroot => sage-brial/brial}/nf.py | 0
{pyroot => sage-brial/brial}/parallel.py | 0
{pyroot => sage-brial/brial}/parsegat.py | 0
{pyroot => sage-brial/brial}/partial.py | 0
{pyroot => sage-brial/brial}/plot.py | 0
{pyroot => sage-brial/brial}/randompoly.py | 0
{pyroot => sage-brial/brial}/rank.py | 0
{pyroot => sage-brial/brial}/simplebb.py | 0
{pyroot => sage-brial/brial}/specialsets.py | 0
{pyroot => sage-brial/brial}/statistics.py | 0
sage-brial/setup.py | 12 +
{testsuite/src => tests}/BlockDegLexOrderTest.cc | 0
.../src => tests}/BlockDegRevLexAscOrderTest.cc | 0
{testsuite/src => tests}/BooleConstantTest.cc | 0
{testsuite/src => tests}/BooleEnvTest.cc | 0
{testsuite/src => tests}/BooleExponentTest.cc | 0
{testsuite/src => tests}/BooleMonomialTest.cc | 0
{testsuite/src => tests}/BoolePolyRingTest.cc | 2 +-
{testsuite/src => tests}/BoolePolynomialTest.cc | 140 +-
{testsuite/src => tests}/BooleSetTest.cc | 0
{testsuite/src => tests}/BooleVariableTest.cc | 0
{testsuite/src => tests}/CCuddDDFacadeTest.cc | 0
{testsuite/src => tests}/CFactoryBaseTest.cc | 0
{testsuite/src => tests}/CStringLiteralTest.cc | 0
{testsuite/src => tests}/DegLexOrderTest.cc | 0
{testsuite/src => tests}/DegRevLexAscOrderTest.cc | 0
{testsuite/src => tests}/FGLMStrategyTest.cc | 0
{testsuite/src => tests}/GroebnerStrategyTest.cc | 0
{testsuite/src => tests}/LexOrderTest.cc | 0
tests/Makefile.am | 51 +
{testsuite/src => tests}/MonomialFactoryTest.cc | 0
{testsuite/src => tests}/PBoRiErrorTest.cc | 0
{testsuite/src => tests}/PolynomialFactoryTest.cc | 0
{testsuite/src => tests}/PseudoLongProductTest.cc | 0
{testsuite/src => tests}/SetFactoryTest.cc | 0
{testsuite/src => tests}/VariableFactoryTest.cc | 0
{testsuite/src => tests}/spolyTest.cc | 0
{testsuite/src => tests}/term_accumulateTest.cc | 0
{testsuite/src => tests}/unittests.cc | 0
{testsuite/src => tests}/weak_pointersTest.cc | 0
testsuite/execsuite | 123 -
testsuite/src/embedTest.cc | 131 -
testsuite/src/unittests_orderings.cc | 19 -
versionnumber | 1 -
408 files changed, 1596 insertions(+), 87523 deletions(-)
create mode 100644 .travis.yml
delete mode 100644 ChangeLog
delete mode 100644 Cudd/Makefile
delete mode 100644 Cudd/cudd/Makefile
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/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
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
mode change 100644 => 120000 README
create mode 100644 README.md
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
rename {Cudd => cudd}/LICENSE (100%)
rename {Cudd/cudd => cudd}/Makefile.am (100%)
rename {Cudd => cudd}/README (100%)
create mode 100644 cudd/README-BRiAl
rename {Cudd => cudd}/RELEASE.NOTES (100%)
rename {Cudd/cudd => cudd}/cudd.h (100%)
rename {Cudd/cudd => cudd}/cuddAPI.c (100%)
rename {Cudd/cudd => cudd}/cuddAddAbs.c (100%)
rename {Cudd/cudd => cudd}/cuddAddApply.c (100%)
rename {Cudd/cudd => cudd}/cuddAddFind.c (100%)
rename {Cudd/cudd => cudd}/cuddAddInv.c (100%)
rename {Cudd/cudd => cudd}/cuddAddIte.c (100%)
rename {Cudd/cudd => cudd}/cuddAddNeg.c (100%)
rename {Cudd/cudd => cudd}/cuddAddWalsh.c (100%)
rename {Cudd/cudd => cudd}/cuddAndAbs.c (100%)
rename {Cudd/cudd => cudd}/cuddAnneal.c (100%)
rename {Cudd/cudd => cudd}/cuddApa.c (100%)
rename {Cudd/cudd => cudd}/cuddApprox.c (100%)
rename {Cudd/cudd => cudd}/cuddBddAbs.c (100%)
rename {Cudd/cudd => cudd}/cuddBddCorr.c (100%)
rename {Cudd/cudd => cudd}/cuddBddIte.c (100%)
rename {Cudd/cudd => cudd}/cuddBridge.c (100%)
rename {Cudd/cudd => cudd}/cuddCache.c (100%)
rename {Cudd/cudd => cudd}/cuddCheck.c (100%)
rename {Cudd/cudd => cudd}/cuddClip.c (100%)
rename {Cudd/cudd => cudd}/cuddCof.c (100%)
rename {Cudd/cudd => cudd}/cuddCompose.c (100%)
rename {Cudd/cudd => cudd}/cuddDecomp.c (100%)
rename {Cudd/cudd => cudd}/cuddEssent.c (100%)
rename {Cudd/cudd => cudd}/cuddExact.c (100%)
rename {Cudd/cudd => cudd}/cuddExport.c (100%)
rename {Cudd/cudd => cudd}/cuddGenCof.c (100%)
rename {Cudd/cudd => cudd}/cuddGenetic.c (100%)
rename {Cudd/cudd => cudd}/cuddGroup.c (100%)
rename {Cudd/cudd => cudd}/cuddHarwell.c (100%)
rename {Cudd/cudd => cudd}/cuddInit.c (100%)
rename {Cudd/cudd => cudd}/cuddInt.h (100%)
rename {Cudd/cudd => cudd}/cuddInteract.c (100%)
rename {Cudd/cudd => cudd}/cuddLCache.c (100%)
rename {Cudd/cudd => cudd}/cuddLevelQ.c (100%)
rename {Cudd/cudd => cudd}/cuddLinear.c (100%)
rename {Cudd/cudd => cudd}/cuddLiteral.c (100%)
rename {Cudd/cudd => cudd}/cuddMatMult.c (100%)
rename {Cudd/cudd => cudd}/cuddPriority.c (100%)
rename {Cudd/cudd => cudd}/cuddRead.c (100%)
rename {Cudd/cudd => cudd}/cuddRef.c (100%)
rename {Cudd/cudd => cudd}/cuddReorder.c (100%)
rename {Cudd/cudd => cudd}/cuddSat.c (100%)
rename {Cudd/cudd => cudd}/cuddSign.c (100%)
rename {Cudd/cudd => cudd}/cuddSolve.c (100%)
rename {Cudd/cudd => cudd}/cuddSplit.c (100%)
rename {Cudd/cudd => cudd}/cuddSubsetHB.c (100%)
rename {Cudd/cudd => cudd}/cuddSubsetSP.c (100%)
rename {Cudd/cudd => cudd}/cuddSymmetry.c (100%)
rename {Cudd/cudd => cudd}/cuddTable.c (100%)
rename {Cudd/cudd => cudd}/cuddUtil.c (100%)
rename {Cudd/cudd => cudd}/cuddWindow.c (100%)
rename {Cudd/cudd => cudd}/cuddZddCount.c (100%)
rename {Cudd/cudd => cudd}/cuddZddFuncs.c (100%)
rename {Cudd/cudd => cudd}/cuddZddGroup.c (100%)
rename {Cudd/cudd => cudd}/cuddZddIsop.c (100%)
rename {Cudd/cudd => cudd}/cuddZddLin.c (100%)
rename {Cudd/cudd => cudd}/cuddZddMisc.c (100%)
rename {Cudd/cudd => cudd}/cuddZddPort.c (100%)
rename {Cudd/cudd => cudd}/cuddZddReord.c (100%)
rename {Cudd/cudd => cudd}/cuddZddSetop.c (100%)
rename {Cudd/cudd => cudd}/cuddZddSymm.c (100%)
rename {Cudd/cudd => cudd}/cuddZddUtil.c (100%)
rename {Cudd/cudd => cudd}/r7x8.1.mat (100%)
rename {Cudd/cudd => cudd}/testcudd.c (100%)
rename {Cudd/cudd => cudd}/util.h (100%)
delete mode 100644 debian/custom.py
rename debian/{libbrial-groebner0.install => libbrial-groebner3.install} (100%)
rename debian/{libbrial0.install => libbrial3.install} (100%)
delete mode 100644 debian/patches/testsuite-boost-1.62.patch
delete mode 100644 debian/todo
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
delete mode 100644 groebner/doc/doxygen.conf
delete mode 100755 gui/PolyGUI
delete mode 100644 gui/PolyGUI.xpm
delete mode 100644 gui/cnf2ideal.py
delete mode 100644 gui/polybori.png
delete mode 100755 ipbori/ipbori
delete mode 100644 libbrial/auxiliary/Skeleton.h
delete mode 100644 libbrial/auxiliary/SkeletonTest.cc
delete mode 100755 libbrial/auxiliary/beautify_units.sh
delete mode 100755 libbrial/auxiliary/check_mem.sh
delete mode 100755 libbrial/auxiliary/get_sat_table.sh
delete mode 100755 libbrial/auxiliary/release.sh
delete mode 100644 libbrial/auxiliary/stepbystep.install
delete mode 100755 libbrial/auxiliary/timeout.sh
delete mode 100644 libbrial/doc/Makefile
delete mode 100644 libbrial/doc/doxygen.conf
delete mode 100644 libbrial/include/polybori/embed.h
create mode 100644 m4/ax_boost_base.m4
create mode 100644 m4/ax_boost_unit_test_framework.m4
create mode 100644 m4/ax_cxx_compile_stdcxx.m4
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
delete mode 100644 pyroot/Makefile.am
delete mode 100644 pyroot/PyPolyBoRi.py
create mode 100644 sage-brial/README.md
create mode 100644 sage-brial/brial/PyPolyBoRi.py
rename {pyroot => sage-brial/brial}/__init__.py (100%)
rename {pyroot => sage-brial/brial}/addition.py (100%)
rename {pyroot => sage-brial/brial}/blocks.py (100%)
rename {pyroot => sage-brial/brial}/check_claims.py (100%)
rename {pyroot => sage-brial/brial}/cluster.py (100%)
rename {pyroot => sage-brial/brial}/cnf.py (100%)
rename {pyroot => sage-brial/brial}/coding.py (100%)
rename {pyroot => sage-brial/brial}/context.py (100%)
rename {pyroot => sage-brial/brial}/easy_polynomials.py (100%)
rename {pyroot => sage-brial/brial}/fglm.py (100%)
rename {pyroot => sage-brial/brial}/frontend.py (100%)
rename {pyroot => sage-brial/brial}/gbcore.py (100%)
rename {pyroot => sage-brial/brial}/gbrefs.py (100%)
rename {pyroot => sage-brial/brial}/general_boolean_polynomial.py (100%)
rename {pyroot => sage-brial/brial}/heuristics.py (100%)
rename {pyroot => sage-brial/brial}/interpolate.py (100%)
rename {pyroot => sage-brial/brial}/interred.py (100%)
rename {pyroot => sage-brial/brial}/intersect.py (100%)
rename {pyroot => sage-brial/brial}/intpolys.py (100%)
rename {pyroot => sage-brial/brial}/ll.py (100%)
rename {pyroot => sage-brial/brial}/memusage.py (100%)
rename {pyroot => sage-brial/brial}/ncf.py (100%)
rename {pyroot => sage-brial/brial}/nf.py (100%)
rename {pyroot => sage-brial/brial}/parallel.py (100%)
rename {pyroot => sage-brial/brial}/parsegat.py (100%)
rename {pyroot => sage-brial/brial}/partial.py (100%)
rename {pyroot => sage-brial/brial}/plot.py (100%)
rename {pyroot => sage-brial/brial}/randompoly.py (100%)
rename {pyroot => sage-brial/brial}/rank.py (100%)
rename {pyroot => sage-brial/brial}/simplebb.py (100%)
rename {pyroot => sage-brial/brial}/specialsets.py (100%)
rename {pyroot => sage-brial/brial}/statistics.py (100%)
create mode 100644 sage-brial/setup.py
rename {testsuite/src => tests}/BlockDegLexOrderTest.cc (100%)
rename {testsuite/src => tests}/BlockDegRevLexAscOrderTest.cc (100%)
rename {testsuite/src => tests}/BooleConstantTest.cc (100%)
rename {testsuite/src => tests}/BooleEnvTest.cc (100%)
rename {testsuite/src => tests}/BooleExponentTest.cc (100%)
rename {testsuite/src => tests}/BooleMonomialTest.cc (100%)
rename {testsuite/src => tests}/BoolePolyRingTest.cc (99%)
rename {testsuite/src => tests}/BoolePolynomialTest.cc (87%)
rename {testsuite/src => tests}/BooleSetTest.cc (100%)
rename {testsuite/src => tests}/BooleVariableTest.cc (100%)
rename {testsuite/src => tests}/CCuddDDFacadeTest.cc (100%)
rename {testsuite/src => tests}/CFactoryBaseTest.cc (100%)
rename {testsuite/src => tests}/CStringLiteralTest.cc (100%)
rename {testsuite/src => tests}/DegLexOrderTest.cc (100%)
rename {testsuite/src => tests}/DegRevLexAscOrderTest.cc (100%)
rename {testsuite/src => tests}/FGLMStrategyTest.cc (100%)
rename {testsuite/src => tests}/GroebnerStrategyTest.cc (100%)
rename {testsuite/src => tests}/LexOrderTest.cc (100%)
create mode 100644 tests/Makefile.am
rename {testsuite/src => tests}/MonomialFactoryTest.cc (100%)
rename {testsuite/src => tests}/PBoRiErrorTest.cc (100%)
rename {testsuite/src => tests}/PolynomialFactoryTest.cc (100%)
rename {testsuite/src => tests}/PseudoLongProductTest.cc (100%)
rename {testsuite/src => tests}/SetFactoryTest.cc (100%)
rename {testsuite/src => tests}/VariableFactoryTest.cc (100%)
rename {testsuite/src => tests}/spolyTest.cc (100%)
rename {testsuite/src => tests}/term_accumulateTest.cc (100%)
rename {testsuite/src => tests}/unittests.cc (100%)
rename {testsuite/src => tests}/weak_pointersTest.cc (100%)
delete mode 100755 testsuite/execsuite
delete mode 100644 testsuite/src/embedTest.cc
delete mode 100644 testsuite/src/unittests_orderings.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