[polybori] 01/13: Merge tag 'upstream/1.2.0'
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 commit to branch master
in repository polybori.
commit 090b98fe72b358562bce6371b5c6c86a795bceef
Merge: 3afa1c9 3f3f7f4
Author: Tobias Hansen <thansen at debian.org>
Date: Tue Oct 24 20:31:17 2017 +0100
Merge tag 'upstream/1.2.0'
Upstream version 1.2.0
.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
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 -
398 files changed, 1551 insertions(+), 87014 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