[polybori] branch master updated (6ac54f4 -> 92e56fd)
Ximin Luo
infinity0 at debian.org
Tue Jul 5 11:34:13 UTC 2016
This is an automated email from the git hooks/post-receive script.
infinity0 pushed a change to branch master
in repository polybori.
from 6ac54f4 Add my two NMUs in changelog
new b7e135e Update watch file
adds b5f8917 Imported Upstream version 0.8.5
new a82fc46 Merge tag 'upstream/0.8.5'
new 07172ec Update d/changelog
new 517f9b9 Update patches
new 1568953 Update names from polybori to brial
new 92e56fd Update metadata about new brial upstream
The 6 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 | 29 +-
.hgignore | 24 +
.hgtags | 99 +
ChangeLog | 7 +-
Cudd/Makefile | 322 +
Cudd/README | 177 +
Cudd/RELEASE.NOTES | 131 +
Cudd/cudd/Makefile | 124 +
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/{cuddInit.c => cuddCof.c} | 328 +-
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 0 -> 333 bytes
Cudd/cudd/doc/icons/ch_beg_r.png | Bin 0 -> 165 bytes
Cudd/cudd/doc/icons/ch_begin.png | Bin 0 -> 174 bytes
Cudd/cudd/doc/icons/ch_delet.png | Bin 0 -> 288 bytes
Cudd/cudd/doc/icons/ch_end.png | Bin 0 -> 171 bytes
Cudd/cudd/doc/icons/ch_end_r.png | Bin 0 -> 155 bytes
Cudd/cudd/doc/icons/contents.png | Bin 0 -> 278 bytes
Cudd/cudd/doc/icons/crossref.png | Bin 0 -> 147 bytes
Cudd/cudd/doc/icons/footnote.png | Bin 0 -> 190 bytes
Cudd/cudd/doc/icons/greenball.png | Bin 0 -> 333 bytes
Cudd/cudd/doc/icons/image.png | Bin 0 -> 244 bytes
Cudd/cudd/doc/icons/index.png | Bin 0 -> 246 bytes
Cudd/cudd/doc/icons/next.png | Bin 0 -> 245 bytes
Cudd/cudd/doc/icons/next_g.png | Bin 0 -> 272 bytes
Cudd/cudd/doc/icons/nx_grp.png | Bin 0 -> 314 bytes
Cudd/cudd/doc/icons/nx_grp_g.png | Bin 0 -> 386 bytes
Cudd/cudd/doc/icons/orangeball.png | Bin 0 -> 333 bytes
Cudd/cudd/doc/icons/pinkball.png | Bin 0 -> 332 bytes
Cudd/cudd/doc/icons/prev.png | Bin 0 -> 279 bytes
Cudd/cudd/doc/icons/prev_g.png | Bin 0 -> 327 bytes
Cudd/cudd/doc/icons/purpleball.png | Bin 0 -> 332 bytes
Cudd/cudd/doc/icons/pv_grp.png | Bin 0 -> 352 bytes
Cudd/cudd/doc/icons/pv_grp_g.png | Bin 0 -> 430 bytes
Cudd/cudd/doc/icons/redball.png | Bin 0 -> 332 bytes
Cudd/cudd/doc/icons/up.png | Bin 0 -> 211 bytes
Cudd/cudd/doc/icons/up_g.png | Bin 0 -> 231 bytes
Cudd/cudd/doc/icons/whiteball.png | Bin 0 -> 229 bytes
Cudd/cudd/doc/icons/yellowball.png | Bin 0 -> 333 bytes
Cudd/cudd/doc/img1.png | Bin 0 -> 201 bytes
Cudd/cudd/doc/img10.png | Bin 0 -> 211 bytes
Cudd/cudd/doc/img11.png | Bin 0 -> 476 bytes
Cudd/cudd/doc/img12.png | Bin 0 -> 555 bytes
Cudd/cudd/doc/img13.png | Bin 0 -> 560 bytes
Cudd/cudd/doc/img14.png | Bin 0 -> 675 bytes
Cudd/cudd/doc/img15.png | Bin 0 -> 200 bytes
Cudd/cudd/doc/img16.png | Bin 0 -> 223 bytes
Cudd/cudd/doc/img17.png | Bin 0 -> 246 bytes
Cudd/cudd/doc/img18.png | Bin 0 -> 298 bytes
Cudd/cudd/doc/img19.png | Bin 0 -> 409 bytes
Cudd/cudd/doc/img2.png | Bin 0 -> 197 bytes
Cudd/cudd/doc/img20.png | Bin 0 -> 238 bytes
Cudd/cudd/doc/img21.png | Bin 0 -> 614 bytes
Cudd/cudd/doc/img22.png | Bin 0 -> 12605 bytes
Cudd/cudd/doc/img3.png | Bin 0 -> 401 bytes
Cudd/cudd/doc/img4.png | Bin 0 -> 204 bytes
Cudd/cudd/doc/img5.png | Bin 0 -> 315 bytes
Cudd/cudd/doc/img6.png | Bin 0 -> 185 bytes
Cudd/cudd/doc/img7.png | Bin 0 -> 262 bytes
Cudd/cudd/doc/img8.png | Bin 0 -> 220 bytes
Cudd/cudd/doc/img9.png | Bin 0 -> 215 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 0 -> 12288 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 | 13 +-
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 +
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 | 4 +-
compile | 347 -
config.guess | 1421 --
config.sub | 1807 --
configure | 20179 -------------------
configure.ac | 10 +-
debian/changelog | 11 +-
debian/control | 93 +-
debian/copyright | 4 +-
...ibpolybori-dev.install => libbrial-dev.install} | 2 +-
debian/libbrial-groebner-dev.install | 2 +
debian/libbrial-groebner0.install | 1 +
debian/libbrial0.install | 1 +
debian/libpolybori-groebner-dev.install | 2 -
debian/libpolybori-groebner0.install | 1 -
debian/libpolybori0.install | 1 -
...tect-CErrorInfo-from-invalid-array-access.patch | 4 +-
...ython-polybori.install => python-brial.install} | 0
debian/rules | 12 +-
debian/watch | 6 +-
depcomp | 791 -
disttar.py | 194 +
doc/doxygen.conf | 1251 ++
doc/genpythondoc.py | 42 +
doc/images/logo.png | Bin 0 -> 18395 bytes
doc/images/overview.png | Bin 0 -> 86198 bytes
doc/index.html.in | 154 +
doc/man/PolyGUI.1 | 63 +
doc/man/ipbori.1 | 79 +
doc/tutorial/PolyGui-Options.png | Bin 0 -> 10478 bytes
doc/tutorial/PolyGui.png | Bin 0 -> 22585 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.in | 640 -
groebner/doc/doxygen.conf | 1101 +
groebner/include/Makefile.in | 689 -
groebner/src/Makefile.am | 12 +-
groebner/src/Makefile.in | 876 -
gui/PolyGUI | 684 +
gui/PolyGUI.xpm | 83 +
gui/cnf2ideal.py | 306 +
gui/polybori.png | Bin 0 -> 18395 bytes
install-sh | 501 -
ipbori/ipbori | 126 +
{libpolybori => libbrial}/Makefile.am | 0
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 +
{libpolybori => libbrial}/include/Makefile.am | 0
{libpolybori => libbrial}/include/polybori.h | 0
.../include/polybori/BlockDegLexOrder.h | 0
.../include/polybori/BlockDegRevLexAscOrder.h | 0
.../include/polybori/BooleConstant.h | 0
.../include/polybori/BooleEnv.h | 0
.../include/polybori/BooleExponent.h | 31 +-
.../include/polybori/BooleMonomial.h | 0
.../include/polybori/BoolePolyRing.h | 0
.../include/polybori/BoolePolynomial.h | 0
.../include/polybori/BooleSet.h | 0
.../include/polybori/BooleSetSequence.h | 0
.../include/polybori/BooleVariable.h | 0
.../include/polybori/DegLexOrder.h | 0
.../include/polybori/DegRevLexAscOrder.h | 0
.../include/polybori/LexOrder.h | 0
.../include/polybori/cache/CCacheManagement.h | 0
.../include/polybori/cache/CDegreeCache.h | 0
.../include/polybori/cache/CacheManager.h | 0
.../include/polybori/common/CCheckedIdx.h | 0
.../include/polybori/common/CExtrusivePtr.h | 0
.../include/polybori/common/CWeakPtr.h | 0
.../include/polybori/common/CWeakPtrFacade.h | 0
.../include/polybori/common/TransformedSequence.h | 0
.../include/polybori/common/tags.h | 0
.../include/polybori/common/traits.h | 0
.../include/polybori/cudd/cudd.h | 0
.../include/polybori/cudd/cuddInt.h | 0
.../include/polybori/cudd/prefix.h | 0
.../include/polybori/cudd/prefix_internal.h | 0
.../include/polybori/diagram/CApplyNodeFacade.h | 0
.../include/polybori/diagram/CCuddDDFacade.h | 0
.../include/polybori/diagram/CDDOperations.h | 0
.../include/polybori/diagram/CNodeCounter.h | 0
libbrial/include/polybori/embed.h | 378 +
.../include/polybori/except/CErrorInfo.h | 0
.../include/polybori/except/PBoRiError.h | 0
.../include/polybori/except/PBoRiGenericError.h | 0
.../include/polybori/factories/CFactoryBase.h | 0
.../include/polybori/factories/MonomialFactory.h | 0
.../include/polybori/factories/PolynomialFactory.h | 0
.../include/polybori/factories/SetFactory.h | 0
.../include/polybori/factories/VariableBlock.h | 0
.../include/polybori/factories/VariableFactory.h | 0
.../include/polybori/iterators/CBidirectTermIter.h | 0
.../include/polybori/iterators/CCuddFirstIter.h | 0
.../include/polybori/iterators/CCuddLastIter.h | 0
.../include/polybori/iterators/CCuddNavigator.h | 0
.../include/polybori/iterators/CExpIter.h | 0
.../include/polybori/iterators/CGenericIter.h | 0
.../include/polybori/iterators/COrderedIter.h | 0
.../include/polybori/iterators/CStackSelector.h | 0
.../include/polybori/iterators/CTermGenerator.h | 0
.../include/polybori/iterators/CTermIter.h | 0
.../include/polybori/iterators/CTermStack.h | 0
.../include/polybori/iterators/CVariableIter.h | 0
.../include/polybori/iterators/PBoRiOutIter.h | 0
.../polybori/iterators/TransformedIterator.h | 0
.../include/polybori/literals/CLiteralCodes.h | 0
.../include/polybori/literals/CStringLiteral.h | 0
.../polybori/orderings/CBlockOrderingFacade.h | 0
.../include/polybori/orderings/COrderingBase.h | 0
.../include/polybori/orderings/COrderingFacade.h | 0
.../include/polybori/orderings/COrderingTags.h | 0
.../include/polybori/orderings/order_tags.h | 0
.../include/polybori/orderings/order_traits.h | 0
.../include/polybori/orderings/pbori_order.h | 0
.../include/polybori/pbori_defs.h | 0
.../include/polybori/polybori.h | 0
.../include/polybori/ring/CCallbackWrapper.h | 0
.../include/polybori/ring/CCuddCore.h | 0
.../include/polybori/ring/CCuddInterface.h | 0
.../include/polybori/ring/CMemberFunctionTraits.h | 0
.../include/polybori/ring/CVariableNames.h | 0
.../include/polybori/ring/WeakRingPtr.h | 0
.../include/polybori/routines/pbori_algo.h | 0
.../include/polybori/routines/pbori_algo_int.h | 0
.../include/polybori/routines/pbori_algorithms.h | 0
.../include/polybori/routines/pbori_func.h | 6 +-
.../include/polybori/routines/pbori_routines.h | 0
.../polybori/routines/pbori_routines_cuddext.h | 0
.../include/polybori/routines/pbori_routines_dd.h | 0
.../polybori/routines/pbori_routines_hash.h | 0
.../polybori/routines/pbori_routines_misc.h | 0
.../polybori/routines/pbori_routines_order.h | 0
{libpolybori => libbrial}/src/BlockDegLexOrder.cc | 0
.../src/BlockDegRevLexAscOrder.cc | 0
{libpolybori => libbrial}/src/BooleEnv.cc | 0
{libpolybori => libbrial}/src/BooleExponent.cc | 0
{libpolybori => libbrial}/src/BooleMonomial.cc | 0
{libpolybori => libbrial}/src/BoolePolyRing.cc | 0
{libpolybori => libbrial}/src/BoolePolynomial.cc | 0
{libpolybori => libbrial}/src/BooleSet.cc | 0
{libpolybori => libbrial}/src/BooleVariable.cc | 0
{libpolybori => libbrial}/src/CCheckedIdx.cc | 0
{libpolybori => libbrial}/src/CCuddFirstIter.cc | 0
{libpolybori => libbrial}/src/CCuddLastIter.cc | 0
{libpolybori => libbrial}/src/CErrorInfo.cc | 0
{libpolybori => libbrial}/src/DegLexOrder.cc | 0
{libpolybori => libbrial}/src/DegRevLexAscOrder.cc | 0
{libpolybori => libbrial}/src/LexOrder.cc | 0
{libpolybori => libbrial}/src/Makefile.am | 4 +-
{libpolybori => libbrial}/src/PBoRiError.cc | 0
{libpolybori => libbrial}/src/pbori_routines.cc | 0
libpolybori/Makefile.in | 640 -
libpolybori/include/Makefile.in | 671 -
libpolybori/include/polybori/config.h | 92 -
libpolybori/include/polybori/config.h.in | 91 -
libpolybori/src/Makefile.in | 658 -
ltmain.sh | 11147 ----------
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.in | 564 -
pyroot/PyPolyBoRi.py | 2 +-
pyroot/addition.py | 144 +
pyroot/blocks.py | 57 +-
pyroot/check_claims.py | 205 +
pyroot/cluster.py | 120 +
pyroot/cnf.py | 10 +-
pyroot/coding.py | 91 +
pyroot/context.py | 101 +
pyroot/fglm.py | 2 +-
pyroot/frontend.py | 88 +
pyroot/gbcore.py | 24 +-
pyroot/gbrefs.py | 7 +-
pyroot/general_boolean_polynomial.py | 616 +
pyroot/interpolate.py | 15 +-
pyroot/intersect.py | 45 +
pyroot/intpolys.py | 87 +
pyroot/ll.py | 11 +-
pyroot/memusage.py | 65 +
pyroot/ncf.py | 41 +
pyroot/nf.py | 120 +-
pyroot/parallel.py | 25 +-
pyroot/parsegat.py | 524 +
pyroot/partial.py | 49 +
pyroot/plot.py | 256 +
pyroot/randompoly.py | 6 +-
pyroot/rank.py | 2 +-
pyroot/simplebb.py | 72 +
pyroot/specialsets.py | 36 +-
pyroot/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 +
489 files changed, 156667 insertions(+), 54540 deletions(-)
create mode 100644 .hgignore
create mode 100644 .hgtags
create mode 100644 Cudd/Makefile
create mode 100644 Cudd/README
create mode 100644 Cudd/RELEASE.NOTES
create mode 100644 Cudd/cudd/Makefile
delete mode 100644 Cudd/cudd/Makefile.in
create mode 100644 Cudd/cudd/cuddAddAbs.c
create mode 100644 Cudd/cudd/cuddAddApply.c
create mode 100644 Cudd/cudd/cuddAddFind.c
create mode 100644 Cudd/cudd/cuddAddInv.c
create mode 100644 Cudd/cudd/cuddAddIte.c
create mode 100644 Cudd/cudd/cuddAddNeg.c
create mode 100644 Cudd/cudd/cuddAddWalsh.c
create mode 100644 Cudd/cudd/cuddAndAbs.c
create mode 100644 Cudd/cudd/cuddAnneal.c
create mode 100644 Cudd/cudd/cuddApa.c
create mode 100644 Cudd/cudd/cuddApprox.c
create mode 100644 Cudd/cudd/cuddBddAbs.c
create mode 100644 Cudd/cudd/cuddBddCorr.c
create mode 100644 Cudd/cudd/cuddBddIte.c
create mode 100644 Cudd/cudd/cuddBridge.c
create mode 100644 Cudd/cudd/cuddCheck.c
create mode 100644 Cudd/cudd/cuddClip.c
copy Cudd/cudd/{cuddInit.c => cuddCof.c} (50%)
create mode 100644 Cudd/cudd/cuddCompose.c
create mode 100644 Cudd/cudd/cuddDecomp.c
create mode 100644 Cudd/cudd/cuddEssent.c
create mode 100644 Cudd/cudd/cuddExact.c
create mode 100644 Cudd/cudd/cuddExport.c
create mode 100644 Cudd/cudd/cuddGenCof.c
create mode 100644 Cudd/cudd/cuddGenetic.c
create mode 100644 Cudd/cudd/cuddGroup.c
create mode 100644 Cudd/cudd/cuddHarwell.c
create mode 100644 Cudd/cudd/cuddInteract.c
create mode 100644 Cudd/cudd/cuddLevelQ.c
create mode 100644 Cudd/cudd/cuddLinear.c
create mode 100644 Cudd/cudd/cuddLiteral.c
create mode 100644 Cudd/cudd/cuddMatMult.c
create mode 100644 Cudd/cudd/cuddPriority.c
create mode 100644 Cudd/cudd/cuddRead.c
create mode 100644 Cudd/cudd/cuddReorder.c
create mode 100644 Cudd/cudd/cuddSat.c
create mode 100644 Cudd/cudd/cuddSign.c
create mode 100644 Cudd/cudd/cuddSolve.c
create mode 100644 Cudd/cudd/cuddSplit.c
create mode 100644 Cudd/cudd/cuddSubsetHB.c
create mode 100644 Cudd/cudd/cuddSubsetSP.c
create mode 100644 Cudd/cudd/cuddSymmetry.c
create mode 100644 Cudd/cudd/cuddUtil.c
create mode 100644 Cudd/cudd/cuddWindow.c
create mode 100644 Cudd/cudd/cuddZddCount.c
create mode 100644 Cudd/cudd/cuddZddGroup.c
create mode 100644 Cudd/cudd/cuddZddIsop.c
create mode 100644 Cudd/cudd/cuddZddLin.c
create mode 100644 Cudd/cudd/cuddZddMisc.c
create mode 100644 Cudd/cudd/cuddZddPort.c
create mode 100644 Cudd/cudd/cuddZddReord.c
create mode 100644 Cudd/cudd/cuddZddSymm.c
create mode 100644 Cudd/cudd/cuddZddUtil.c
create mode 100644 Cudd/cudd/doc/cudd.doc
create mode 100644 Cudd/cudd/doc/cuddAllAbs.html
create mode 100644 Cudd/cudd/doc/cuddAllByFile.html
create mode 100644 Cudd/cudd/doc/cuddAllByFunc.html
create mode 100644 Cudd/cudd/doc/cuddAllDet.html
create mode 100644 Cudd/cudd/doc/cuddAllFile.html
create mode 100644 Cudd/cudd/doc/cuddDesc.html
create mode 100644 Cudd/cudd/doc/cuddExt.html
create mode 100644 Cudd/cudd/doc/cuddExtAbs.html
create mode 100644 Cudd/cudd/doc/cuddExtDet.html
create mode 100644 Cudd/cudd/doc/cuddIntro.css
create mode 100644 Cudd/cudd/doc/cuddTitle.html
create mode 100644 Cudd/cudd/doc/footnode.html
create mode 100644 Cudd/cudd/doc/icons/blueball.png
create mode 100644 Cudd/cudd/doc/icons/ch_beg_r.png
create mode 100644 Cudd/cudd/doc/icons/ch_begin.png
create mode 100644 Cudd/cudd/doc/icons/ch_delet.png
create mode 100644 Cudd/cudd/doc/icons/ch_end.png
create mode 100644 Cudd/cudd/doc/icons/ch_end_r.png
create mode 100644 Cudd/cudd/doc/icons/contents.png
create mode 100644 Cudd/cudd/doc/icons/crossref.png
create mode 100644 Cudd/cudd/doc/icons/footnote.png
create mode 100644 Cudd/cudd/doc/icons/greenball.png
create mode 100644 Cudd/cudd/doc/icons/image.png
create mode 100644 Cudd/cudd/doc/icons/index.png
create mode 100644 Cudd/cudd/doc/icons/next.png
create mode 100644 Cudd/cudd/doc/icons/next_g.png
create mode 100644 Cudd/cudd/doc/icons/nx_grp.png
create mode 100644 Cudd/cudd/doc/icons/nx_grp_g.png
create mode 100644 Cudd/cudd/doc/icons/orangeball.png
create mode 100644 Cudd/cudd/doc/icons/pinkball.png
create mode 100644 Cudd/cudd/doc/icons/prev.png
create mode 100644 Cudd/cudd/doc/icons/prev_g.png
create mode 100644 Cudd/cudd/doc/icons/purpleball.png
create mode 100644 Cudd/cudd/doc/icons/pv_grp.png
create mode 100644 Cudd/cudd/doc/icons/pv_grp_g.png
create mode 100644 Cudd/cudd/doc/icons/redball.png
create mode 100644 Cudd/cudd/doc/icons/up.png
create mode 100644 Cudd/cudd/doc/icons/up_g.png
create mode 100644 Cudd/cudd/doc/icons/whiteball.png
create mode 100644 Cudd/cudd/doc/icons/yellowball.png
create mode 100644 Cudd/cudd/doc/img1.png
create mode 100644 Cudd/cudd/doc/img10.png
create mode 100644 Cudd/cudd/doc/img11.png
create mode 100644 Cudd/cudd/doc/img12.png
create mode 100644 Cudd/cudd/doc/img13.png
create mode 100644 Cudd/cudd/doc/img14.png
create mode 100644 Cudd/cudd/doc/img15.png
create mode 100644 Cudd/cudd/doc/img16.png
create mode 100644 Cudd/cudd/doc/img17.png
create mode 100644 Cudd/cudd/doc/img18.png
create mode 100644 Cudd/cudd/doc/img19.png
create mode 100644 Cudd/cudd/doc/img2.png
create mode 100644 Cudd/cudd/doc/img20.png
create mode 100644 Cudd/cudd/doc/img21.png
create mode 100644 Cudd/cudd/doc/img22.png
create mode 100644 Cudd/cudd/doc/img3.png
create mode 100644 Cudd/cudd/doc/img4.png
create mode 100644 Cudd/cudd/doc/img5.png
create mode 100644 Cudd/cudd/doc/img6.png
create mode 100644 Cudd/cudd/doc/img7.png
create mode 100644 Cudd/cudd/doc/img8.png
create mode 100644 Cudd/cudd/doc/img9.png
create mode 100644 Cudd/cudd/doc/index.html
create mode 100644 Cudd/cudd/doc/node1.html
create mode 100644 Cudd/cudd/doc/node2.html
create mode 100644 Cudd/cudd/doc/node3.html
create mode 100644 Cudd/cudd/doc/node4.html
create mode 100644 Cudd/cudd/doc/node5.html
create mode 100644 Cudd/cudd/doc/node6.html
create mode 100644 Cudd/cudd/doc/node7.html
create mode 100644 Cudd/cudd/doc/node8.html
create mode 100644 Cudd/cudd/r7x8.1.mat
create mode 100644 Cudd/cudd/testcudd.c
create mode 100644 Cudd/epd/Makefile
create mode 100644 Cudd/epd/epd.c
create mode 100644 Cudd/epd/epd.h
create mode 100644 Cudd/mtr/Makefile
create mode 100644 Cudd/mtr/Makefile.sis
create mode 100644 Cudd/mtr/doc/mtr.doc
create mode 100644 Cudd/mtr/doc/mtrAllAbs.html
create mode 100644 Cudd/mtr/doc/mtrAllDet.html
create mode 100644 Cudd/mtr/doc/mtrExtAbs.html
create mode 100644 Cudd/mtr/doc/mtrExtDet.html
create mode 100644 Cudd/mtr/mtr.h
create mode 100644 Cudd/mtr/mtrBasic.c
create mode 100644 Cudd/mtr/mtrGroup.c
create mode 100644 Cudd/mtr/mtrInt.h
create mode 100644 Cudd/mtr/test.groups
create mode 100644 Cudd/mtr/testmtr.c
create mode 100644 Cudd/nanotrav/C17.blif
create mode 100644 Cudd/nanotrav/C880.blif
create mode 100644 Cudd/nanotrav/Makefile
create mode 100644 Cudd/nanotrav/README
create mode 100644 Cudd/nanotrav/bnet.c
create mode 100644 Cudd/nanotrav/bnet.h
create mode 100644 Cudd/nanotrav/chkMterm.c
create mode 100644 Cudd/nanotrav/doc/bnetAllAbs.html
create mode 100644 Cudd/nanotrav/doc/bnetAllDet.html
create mode 100644 Cudd/nanotrav/doc/bnetExtAbs.html
create mode 100644 Cudd/nanotrav/doc/bnetExtDet.html
create mode 100644 Cudd/nanotrav/doc/ntrAllAbs.html
create mode 100644 Cudd/nanotrav/doc/ntrAllDet.html
create mode 100644 Cudd/nanotrav/doc/ntrExtAbs.html
create mode 100644 Cudd/nanotrav/doc/ntrExtDet.html
create mode 100644 Cudd/nanotrav/main.c
create mode 100644 Cudd/nanotrav/mult32a.blif
create mode 100644 Cudd/nanotrav/nanotrav.1
create mode 100644 Cudd/nanotrav/ntr.c
create mode 100644 Cudd/nanotrav/ntr.h
create mode 100644 Cudd/nanotrav/ntrBddTest.c
create mode 100644 Cudd/nanotrav/ntrHeap.c
create mode 100644 Cudd/nanotrav/ntrMflow.c
create mode 100644 Cudd/nanotrav/ntrShort.c
create mode 100644 Cudd/nanotrav/ntrZddTest.c
create mode 100644 Cudd/nanotrav/rcn25.blif
create mode 100644 Cudd/nanotrav/s27.blif
create mode 100755 Cudd/nanotrav/tst.sh
create mode 100644 Cudd/nanotrav/ucbqsort.c
create mode 100644 Cudd/obj/.Makefile.swp
create mode 100644 Cudd/obj/Makefile
create mode 100644 Cudd/obj/cuddObj.cc
create mode 100644 Cudd/obj/cuddObj.hh
create mode 100644 Cudd/obj/testobj.cc
create mode 100755 Cudd/setup.sh
create mode 100755 Cudd/shutdown.sh
delete mode 100644 Makefile.in
create mode 100644 PyPolyBoRi/Poly_wrapper.cc
create mode 100644 PyPolyBoRi/Poly_wrapper.h
create mode 100644 PyPolyBoRi/dd_wrapper.cc
create mode 100644 PyPolyBoRi/dd_wrapper.h
create mode 100644 PyPolyBoRi/example.py
create mode 100644 PyPolyBoRi/fglm_wrapper.cc
create mode 100644 PyPolyBoRi/fglm_wrapper.h
create mode 100644 PyPolyBoRi/ipythonrc-polybori
create mode 100644 PyPolyBoRi/main_wrapper.cc
create mode 100644 PyPolyBoRi/main_wrapper.h
create mode 100644 PyPolyBoRi/misc_wrapper.cc
create mode 100644 PyPolyBoRi/misc_wrapper.h
create mode 100644 PyPolyBoRi/monomial_wrapper.cc
create mode 100644 PyPolyBoRi/monomial_wrapper.h
create mode 100644 PyPolyBoRi/navigator_wrap.cc
create mode 100644 PyPolyBoRi/navigator_wrap.h
create mode 100644 PyPolyBoRi/ntl_wrapper.cc
create mode 100644 PyPolyBoRi/ntl_wrapper.h
create mode 100644 PyPolyBoRi/out_helper.h
create mode 100644 PyPolyBoRi/pairs.cc
create mode 100644 PyPolyBoRi/pairs.h
create mode 100644 PyPolyBoRi/parse.py
create mode 100644 PyPolyBoRi/pyparsing.py
create mode 100644 PyPolyBoRi/pypb_module.cc
create mode 100644 PyPolyBoRi/set_wrapper.cc
create mode 100644 PyPolyBoRi/set_wrapper.h
create mode 100644 PyPolyBoRi/slimgb_wrapper.cc
create mode 100644 PyPolyBoRi/slimgb_wrapper.h
create mode 100644 PyPolyBoRi/split.py
create mode 100644 PyPolyBoRi/strategy_wrapper.cc
create mode 100644 PyPolyBoRi/strategy_wrapper.h
create mode 100644 PyPolyBoRi/test_util.cc
create mode 100644 PyPolyBoRi/test_util.h
create mode 100644 PyPolyBoRi/toprofile.py
create mode 100644 PyPolyBoRi/variable_block.cc
create mode 100644 PyPolyBoRi/variable_block.h
create mode 100644 SConstruct
create mode 100644 Singular/README
create mode 100644 Singular/pb.cc
create mode 100644 Singular/pb.h
create mode 100644 Singular/pb.mod
create mode 100644 Singular/pb_if.cc
create mode 100644 Singular/pbwrapper.h
create mode 100644 Singular/psico.py
create mode 100644 Singular/test_file.sing
create mode 100644 Singular/test_pb_if.Singular
delete mode 100644 aclocal.m4
delete mode 100755 ar-lib
delete mode 100755 compile
delete mode 100755 config.guess
delete mode 100755 config.sub
delete mode 100755 configure
rename debian/{libpolybori-dev.install => libbrial-dev.install} (93%)
create mode 100644 debian/libbrial-groebner-dev.install
create mode 100644 debian/libbrial-groebner0.install
create mode 100644 debian/libbrial0.install
delete mode 100644 debian/libpolybori-groebner-dev.install
delete mode 100644 debian/libpolybori-groebner0.install
delete mode 100644 debian/libpolybori0.install
rename debian/{python-polybori.install => python-brial.install} (100%)
delete mode 100755 depcomp
create mode 100644 disttar.py
create mode 100644 doc/doxygen.conf
create mode 100644 doc/genpythondoc.py
create mode 100644 doc/images/logo.png
create mode 100644 doc/images/overview.png
create mode 100644 doc/index.html.in
create mode 100644 doc/man/PolyGUI.1
create mode 100644 doc/man/ipbori.1
create mode 100644 doc/tutorial/PolyGui-Options.png
create mode 100644 doc/tutorial/PolyGui.png
create mode 100644 doc/tutorial/graded.py
create mode 100644 doc/tutorial/tutorial.tex
create mode 100644 doc/tutorial/tutorial_content.tex
create mode 100644 doc/tutorial/versionnumber.in
create mode 100644 doxygen.py
delete mode 100644 groebner/Makefile.in
create mode 100644 groebner/doc/doxygen.conf
delete mode 100644 groebner/include/Makefile.in
delete mode 100644 groebner/src/Makefile.in
create mode 100755 gui/PolyGUI
create mode 100644 gui/PolyGUI.xpm
create mode 100644 gui/cnf2ideal.py
create mode 100644 gui/polybori.png
delete mode 100755 install-sh
create mode 100755 ipbori/ipbori
rename {libpolybori => libbrial}/Makefile.am (100%)
create mode 100644 libbrial/auxiliary/Skeleton.h
create mode 100644 libbrial/auxiliary/SkeletonTest.cc
create mode 100755 libbrial/auxiliary/beautify_units.sh
create mode 100755 libbrial/auxiliary/check_mem.sh
create mode 100755 libbrial/auxiliary/get_sat_table.sh
create mode 100755 libbrial/auxiliary/release.sh
create mode 100644 libbrial/auxiliary/stepbystep.install
create mode 100755 libbrial/auxiliary/timeout.sh
create mode 100644 libbrial/doc/Makefile
create mode 100644 libbrial/doc/doxygen.conf
rename {libpolybori => libbrial}/include/Makefile.am (100%)
rename {libpolybori => libbrial}/include/polybori.h (100%)
rename {libpolybori => libbrial}/include/polybori/BlockDegLexOrder.h (100%)
rename {libpolybori => libbrial}/include/polybori/BlockDegRevLexAscOrder.h (100%)
rename {libpolybori => libbrial}/include/polybori/BooleConstant.h (100%)
rename {libpolybori => libbrial}/include/polybori/BooleEnv.h (100%)
rename {libpolybori => libbrial}/include/polybori/BooleExponent.h (91%)
rename {libpolybori => libbrial}/include/polybori/BooleMonomial.h (100%)
rename {libpolybori => libbrial}/include/polybori/BoolePolyRing.h (100%)
rename {libpolybori => libbrial}/include/polybori/BoolePolynomial.h (100%)
rename {libpolybori => libbrial}/include/polybori/BooleSet.h (100%)
rename {libpolybori => libbrial}/include/polybori/BooleSetSequence.h (100%)
rename {libpolybori => libbrial}/include/polybori/BooleVariable.h (100%)
rename {libpolybori => libbrial}/include/polybori/DegLexOrder.h (100%)
rename {libpolybori => libbrial}/include/polybori/DegRevLexAscOrder.h (100%)
rename {libpolybori => libbrial}/include/polybori/LexOrder.h (100%)
rename {libpolybori => libbrial}/include/polybori/cache/CCacheManagement.h (100%)
rename {libpolybori => libbrial}/include/polybori/cache/CDegreeCache.h (100%)
rename {libpolybori => libbrial}/include/polybori/cache/CacheManager.h (100%)
rename {libpolybori => libbrial}/include/polybori/common/CCheckedIdx.h (100%)
rename {libpolybori => libbrial}/include/polybori/common/CExtrusivePtr.h (100%)
rename {libpolybori => libbrial}/include/polybori/common/CWeakPtr.h (100%)
rename {libpolybori => libbrial}/include/polybori/common/CWeakPtrFacade.h (100%)
rename {libpolybori => libbrial}/include/polybori/common/TransformedSequence.h (100%)
rename {libpolybori => libbrial}/include/polybori/common/tags.h (100%)
rename {libpolybori => libbrial}/include/polybori/common/traits.h (100%)
rename {libpolybori => libbrial}/include/polybori/cudd/cudd.h (100%)
rename {libpolybori => libbrial}/include/polybori/cudd/cuddInt.h (100%)
rename {libpolybori => libbrial}/include/polybori/cudd/prefix.h (100%)
rename {libpolybori => libbrial}/include/polybori/cudd/prefix_internal.h (100%)
rename {libpolybori => libbrial}/include/polybori/diagram/CApplyNodeFacade.h (100%)
rename {libpolybori => libbrial}/include/polybori/diagram/CCuddDDFacade.h (100%)
rename {libpolybori => libbrial}/include/polybori/diagram/CDDOperations.h (100%)
rename {libpolybori => libbrial}/include/polybori/diagram/CNodeCounter.h (100%)
create mode 100644 libbrial/include/polybori/embed.h
rename {libpolybori => libbrial}/include/polybori/except/CErrorInfo.h (100%)
rename {libpolybori => libbrial}/include/polybori/except/PBoRiError.h (100%)
rename {libpolybori => libbrial}/include/polybori/except/PBoRiGenericError.h (100%)
rename {libpolybori => libbrial}/include/polybori/factories/CFactoryBase.h (100%)
rename {libpolybori => libbrial}/include/polybori/factories/MonomialFactory.h (100%)
rename {libpolybori => libbrial}/include/polybori/factories/PolynomialFactory.h (100%)
rename {libpolybori => libbrial}/include/polybori/factories/SetFactory.h (100%)
rename {libpolybori => libbrial}/include/polybori/factories/VariableBlock.h (100%)
rename {libpolybori => libbrial}/include/polybori/factories/VariableFactory.h (100%)
rename {libpolybori => libbrial}/include/polybori/iterators/CBidirectTermIter.h (100%)
rename {libpolybori => libbrial}/include/polybori/iterators/CCuddFirstIter.h (100%)
rename {libpolybori => libbrial}/include/polybori/iterators/CCuddLastIter.h (100%)
rename {libpolybori => libbrial}/include/polybori/iterators/CCuddNavigator.h (100%)
rename {libpolybori => libbrial}/include/polybori/iterators/CExpIter.h (100%)
rename {libpolybori => libbrial}/include/polybori/iterators/CGenericIter.h (100%)
rename {libpolybori => libbrial}/include/polybori/iterators/COrderedIter.h (100%)
rename {libpolybori => libbrial}/include/polybori/iterators/CStackSelector.h (100%)
rename {libpolybori => libbrial}/include/polybori/iterators/CTermGenerator.h (100%)
rename {libpolybori => libbrial}/include/polybori/iterators/CTermIter.h (100%)
rename {libpolybori => libbrial}/include/polybori/iterators/CTermStack.h (100%)
rename {libpolybori => libbrial}/include/polybori/iterators/CVariableIter.h (100%)
rename {libpolybori => libbrial}/include/polybori/iterators/PBoRiOutIter.h (100%)
rename {libpolybori => libbrial}/include/polybori/iterators/TransformedIterator.h (100%)
rename {libpolybori => libbrial}/include/polybori/literals/CLiteralCodes.h (100%)
rename {libpolybori => libbrial}/include/polybori/literals/CStringLiteral.h (100%)
rename {libpolybori => libbrial}/include/polybori/orderings/CBlockOrderingFacade.h (100%)
rename {libpolybori => libbrial}/include/polybori/orderings/COrderingBase.h (100%)
rename {libpolybori => libbrial}/include/polybori/orderings/COrderingFacade.h (100%)
rename {libpolybori => libbrial}/include/polybori/orderings/COrderingTags.h (100%)
rename {libpolybori => libbrial}/include/polybori/orderings/order_tags.h (100%)
rename {libpolybori => libbrial}/include/polybori/orderings/order_traits.h (100%)
rename {libpolybori => libbrial}/include/polybori/orderings/pbori_order.h (100%)
rename {libpolybori => libbrial}/include/polybori/pbori_defs.h (100%)
rename {libpolybori => libbrial}/include/polybori/polybori.h (100%)
rename {libpolybori => libbrial}/include/polybori/ring/CCallbackWrapper.h (100%)
rename {libpolybori => libbrial}/include/polybori/ring/CCuddCore.h (100%)
rename {libpolybori => libbrial}/include/polybori/ring/CCuddInterface.h (100%)
rename {libpolybori => libbrial}/include/polybori/ring/CMemberFunctionTraits.h (100%)
rename {libpolybori => libbrial}/include/polybori/ring/CVariableNames.h (100%)
rename {libpolybori => libbrial}/include/polybori/ring/WeakRingPtr.h (100%)
rename {libpolybori => libbrial}/include/polybori/routines/pbori_algo.h (100%)
rename {libpolybori => libbrial}/include/polybori/routines/pbori_algo_int.h (100%)
rename {libpolybori => libbrial}/include/polybori/routines/pbori_algorithms.h (100%)
rename {libpolybori => libbrial}/include/polybori/routines/pbori_func.h (99%)
rename {libpolybori => libbrial}/include/polybori/routines/pbori_routines.h (100%)
rename {libpolybori => libbrial}/include/polybori/routines/pbori_routines_cuddext.h (100%)
rename {libpolybori => libbrial}/include/polybori/routines/pbori_routines_dd.h (100%)
rename {libpolybori => libbrial}/include/polybori/routines/pbori_routines_hash.h (100%)
rename {libpolybori => libbrial}/include/polybori/routines/pbori_routines_misc.h (100%)
rename {libpolybori => libbrial}/include/polybori/routines/pbori_routines_order.h (100%)
rename {libpolybori => libbrial}/src/BlockDegLexOrder.cc (100%)
rename {libpolybori => libbrial}/src/BlockDegRevLexAscOrder.cc (100%)
rename {libpolybori => libbrial}/src/BooleEnv.cc (100%)
rename {libpolybori => libbrial}/src/BooleExponent.cc (100%)
rename {libpolybori => libbrial}/src/BooleMonomial.cc (100%)
rename {libpolybori => libbrial}/src/BoolePolyRing.cc (100%)
rename {libpolybori => libbrial}/src/BoolePolynomial.cc (100%)
rename {libpolybori => libbrial}/src/BooleSet.cc (100%)
rename {libpolybori => libbrial}/src/BooleVariable.cc (100%)
rename {libpolybori => libbrial}/src/CCheckedIdx.cc (100%)
rename {libpolybori => libbrial}/src/CCuddFirstIter.cc (100%)
rename {libpolybori => libbrial}/src/CCuddLastIter.cc (100%)
rename {libpolybori => libbrial}/src/CErrorInfo.cc (100%)
rename {libpolybori => libbrial}/src/DegLexOrder.cc (100%)
rename {libpolybori => libbrial}/src/DegRevLexAscOrder.cc (100%)
rename {libpolybori => libbrial}/src/LexOrder.cc (100%)
rename {libpolybori => libbrial}/src/Makefile.am (84%)
rename {libpolybori => libbrial}/src/PBoRiError.cc (100%)
rename {libpolybori => libbrial}/src/pbori_routines.cc (100%)
delete mode 100644 libpolybori/Makefile.in
delete mode 100644 libpolybori/include/Makefile.in
delete mode 100644 libpolybori/include/polybori/config.h
delete mode 100644 libpolybori/include/polybori/config.h.in
delete mode 100644 libpolybori/src/Makefile.in
delete mode 100644 ltmain.sh
delete mode 100644 m4/libtool.m4
delete mode 100644 m4/ltoptions.m4
delete mode 100644 m4/ltsugar.m4
delete mode 100644 m4/ltversion.m4
delete mode 100644 m4/lt~obsolete.m4
delete mode 100755 missing
create mode 100644 pkgs/debian/cdbs/scons-vars.mk
create mode 100644 pkgs/debian/cdbs/scons.mk
create mode 100644 pkgs/debian/changelog.in
create mode 100644 pkgs/debian/compat
create mode 100755 pkgs/debian/control.in
create mode 100644 pkgs/debian/copyright
create mode 100644 pkgs/debian/libpolybori-dev.install
create mode 100644 pkgs/debian/libpolybori0.install
create mode 100644 pkgs/debian/polybori.install
create mode 100644 pkgs/debian/python-polybori.install
create mode 100644 pkgs/debian/readme
create mode 100755 pkgs/debian/rules
create mode 100644 pkgs/rpm/PolyBoRi.rpmlintrc
create mode 100644 pkgs/rpm/PolyBoRi.spec.in
delete mode 100755 py-compile
delete mode 100644 pyroot/Makefile.in
create mode 100644 pyroot/addition.py
create mode 100644 pyroot/check_claims.py
create mode 100644 pyroot/cluster.py
create mode 100644 pyroot/coding.py
create mode 100644 pyroot/context.py
create mode 100644 pyroot/frontend.py
create mode 100644 pyroot/general_boolean_polynomial.py
create mode 100644 pyroot/intersect.py
create mode 100644 pyroot/intpolys.py
create mode 100644 pyroot/memusage.py
create mode 100644 pyroot/ncf.py
create mode 100644 pyroot/parsegat.py
create mode 100644 pyroot/partial.py
create mode 100644 pyroot/plot.py
create mode 100644 pyroot/simplebb.py
create mode 100755 testsuite/execsuite
create mode 100644 testsuite/src/BlockDegLexOrderTest.cc
create mode 100644 testsuite/src/BlockDegRevLexAscOrderTest.cc
create mode 100644 testsuite/src/BooleConstantTest.cc
create mode 100644 testsuite/src/BooleEnvTest.cc
create mode 100644 testsuite/src/BooleExponentTest.cc
create mode 100644 testsuite/src/BooleMonomialTest.cc
create mode 100644 testsuite/src/BoolePolyRingTest.cc
create mode 100644 testsuite/src/BoolePolynomialTest.cc
create mode 100644 testsuite/src/BooleSetTest.cc
create mode 100644 testsuite/src/BooleVariableTest.cc
create mode 100644 testsuite/src/CCuddDDFacadeTest.cc
create mode 100644 testsuite/src/CFactoryBaseTest.cc
create mode 100644 testsuite/src/CStringLiteralTest.cc
create mode 100644 testsuite/src/DegLexOrderTest.cc
create mode 100644 testsuite/src/DegRevLexAscOrderTest.cc
create mode 100644 testsuite/src/FGLMStrategyTest.cc
create mode 100644 testsuite/src/GroebnerStrategyTest.cc
create mode 100644 testsuite/src/LexOrderTest.cc
create mode 100644 testsuite/src/MonomialFactoryTest.cc
create mode 100644 testsuite/src/PBoRiErrorTest.cc
create mode 100644 testsuite/src/PolynomialFactoryTest.cc
create mode 100644 testsuite/src/PseudoLongProductTest.cc
create mode 100644 testsuite/src/SetFactoryTest.cc
create mode 100644 testsuite/src/VariableFactoryTest.cc
create mode 100644 testsuite/src/embedTest.cc
create mode 100644 testsuite/src/spolyTest.cc
create mode 100644 testsuite/src/term_accumulateTest.cc
create mode 100644 testsuite/src/unittests.cc
create mode 100644 testsuite/src/unittests_orderings.cc
create mode 100644 testsuite/src/weak_pointersTest.cc
create 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