[SCM] polybori: Polynomials over Boolean Rings branch, upstream-hg, created. 9b1dc86305d7b600f3359bab2947764d900c3deb

Alexander Dreyer adreyer at gmx.de
Sat Mar 17 11:24:37 UTC 2012


The branch, upstream-hg has been created
        at  9b1dc86305d7b600f3359bab2947764d900c3deb (commit)

- Shortlog ------------------------------------------------------------
commit 9b1dc86305d7b600f3359bab2947764d900c3deb
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Feb 20 21:44:45 2012 +0100

    ADD comment in spec

commit 0e1cc4a074a8595acdeabaa99636803f7ac213cf
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Feb 20 17:12:34 2012 +0100

    ADD: optional use od m4ri rpm

commit 7aefdf057e9c3320475e2ae4a7527508ef03bba3
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Feb 20 16:54:45 2012 +0100

    FIX: unecessary builds in rpm generation skipped

commit 771c5f263d1893a1c2d155709701090cee8608c2
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Sat Feb 18 23:36:17 2012 +0100

    FIX: All PolyBoRi-related macros prefixed PBORI_ (but SIZEOF_*)

commit 44d46ea70890c1d3e525f161d9bb03e5ece0e9c9
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Feb 17 23:48:24 2012 +0100

    FIX: rpm generation improved

commit b1e0bdbd41b490d416dd8315950da13019b69672
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Feb 17 22:44:58 2012 +0100

    FIX: parenthesis for saver '

commit 9a578bafa4df3b3909c356206a501244063b0e11
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Feb 17 21:23:59 2012 +0100

    FIX: removed duplicated stuff in Cudd's docu

commit 6f8cc13f372ade925026488eaacef17f7385402d
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Feb 17 16:14:55 2012 +0100

    CHA: prefixing LIKELY and UNLIKELY

commit d1ec6c8ccbef523dc2b46ee4743e2a7e39a9cd04
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Feb 17 14:58:03 2012 +0100

    FIX: m4ri called exit in library code

commit 632cbe96548f210e53b998f938071326a3ba64c6
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Feb 17 14:08:43 2012 +0100

    FIX: version numbers for deb

commit c630d2dc79b7371f03fce7bdf6c8fb545dec4417
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Feb 17 13:45:45 2012 +0100

    Added tag v0.8.1rc0 for changeset dc9f22f27b70

commit 7656270054e8a9815c577c3cde913fed7f0f1e44
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Feb 17 13:44:57 2012 +0100

    CHA: preparing v0.8.1rc0

commit 95842035ec407ed68f287bc44c4ab5427f02c7f0
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Feb 17 12:35:59 2012 +0100

    FIX: ChangeLog updated

commit 8dbac62519097641ab838d3753dff2ddf1af26b5
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Feb 17 12:35:43 2012 +0100

    Added tag m4ri20111203 for changeset 39c6970ad082

commit 0f2d2feab72e04b383bfc249d762e6b55e50333f
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Feb 17 12:35:32 2012 +0100

    Added tag cudd2.5.0 for changeset e4ee8f86d47a

commit 66cb314f8bd461553a86f8e4c2eebcd87e1410d9
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Feb 17 11:03:53 2012 +0100

    FIX: fallback m4ri is configured during configuring only, cleanup added

commit 692aa9961ec33877acfa9fc24cddae368a9b1679
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Feb 17 00:29:47 2012 +0100

    CHA: updating libM4RI to 20111203

commit 828d3c246b25ae143471cbdcb522a4ebcafbc42a
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Wed Feb 15 22:51:54 2012 +0100

    FIX: consistently using macro PBORI_FORCE_ORIGINAL_CUDD

commit 506323aedff50266bad361b66e4f9cd984deeb2e
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Wed Feb 15 18:05:18 2012 +0100

    FIX prefixed Cudd's internal  MM*

commit 4ae9a28f942a99ac911397e981b4609bb2da8080
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Wed Feb 15 17:48:06 2012 +0100

    FIX: also prefixing DdManager to pbori_DdManager (maybe incompatible with original Cudd)

commit 92bcced8acf46ff57914e0cc0d2e1ebefc29c3ad
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Wed Feb 15 16:37:27 2012 +0100

    CHA: prefixing out forked Cudd functions to avoid nameclash with original Cudd

commit 16868a1f7910360b65f09b2dbab7f1c7a3aa1adf
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Tue Feb 14 22:38:07 2012 +0100

    CHA: merged with cudd 2.5.0

commit 3167c1b9cca9e89068c3ead7a3e0a3ef79be31d5
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Tue Feb 14 14:46:34 2012 +0100

    FIX: rpm-ownership of directories

commit 898dfd0abd5ccc3929ed1b8056192cb96c73afbf
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Tue Feb 14 14:16:36 2012 +0100

    FIX: saver docstring concatenation

commit c30874126c1135b2b67f4b0ae1cbfc16bec35cac
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Feb 13 18:02:44 2012 +0100

    FIX: lessons learned from rpmlint

commit 89e91a868830f3eac4924847ea5ec7b52716a19e
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Feb 13 18:02:18 2012 +0100

    FIX: typo (in nonactive code)

commit b65519b498ea277716dc75ff81ce3a6584309ac0
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Thu Feb 9 13:58:29 2012 +0100

    CHA renamed PairManagement -> PairManagerFacade

commit 7fa24ec7531f80e2a690c919f60d540086f4824e
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Thu Feb 9 12:58:29 2012 +0100

    CHA: PairManger back in action

commit ef4fbe34a88776156a7a27e153cd98709550a765
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Wed Feb 8 23:54:31 2012 +0100

    ADD NextSpoly, CheckChainCriterion, reactivated PairManager

commit 5f45937ec98771360665050853f37061aad0160c
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Wed Feb 8 22:42:15 2012 +0100

    ADD: RingMap for convenient ring changing

commit 6606bf72bfb97efea1f9757806a8785d511f1931
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Wed Feb 8 18:10:00 2012 +0100

    CHA: consistent naming

commit 6468e0c2075a992f45a489d9bc6036b582d8f641
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Wed Feb 8 17:45:24 2012 +0100

    CHA: clean up in PairManagement

commit 2d27492d398ff13bea1da13d49ea6ba141397f28
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Wed Feb 8 00:04:41 2012 +0100

    CHA simplified PairManagement

commit 2fa63da1cb4efac9ea96f84378f1d97f4ee9bee5
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Tue Feb 7 16:01:35 2012 +0100

    ADD PairManagement

commit b115ebb53332d570eda766a8b1f317faea0e5856
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Feb 6 23:05:28 2012 +0100

    CHA: more simplification

commit 971f865b3be20c5452a4c5b1d87dfcda6bbb95f5
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Feb 6 22:58:07 2012 +0100

    CHA: simplified PairManager

commit 7ec98a1b6c217700caa574ef22ee357258bd7641
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Feb 3 17:08:26 2012 +0100

    CHA: simplified GroebnerStrategy::addAsYouWish

commit 9562ad12810c382642413a354494047d715cd7d8
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Feb 3 16:26:20 2012 +0100

    CHA: move WekRingPtr to a suitable location

commit 7c6b75ee80d6d18b07ff6005aee654fe9f93d457
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Feb 3 16:20:22 2012 +0100

    CHA: move TransformedSequence to a suitable location

commit 3b92891792a4afce0813cb3c6b5b406edff0a963
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Feb 3 15:52:53 2012 +0100

    ADD: strategy refactoring -> ChangeLog

commit 36be23883a69c1ff0d6686b1db248101ac46d039
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Feb 3 15:19:19 2012 +0100

    FIX: same_rings is generally available now

commit 1cfd37bda4c4696ec5d3f537e74fe2cb125c5348
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Feb 3 14:55:33 2012 +0100

    ADD: GroebnerOptions outsourced

commit d25ffebea11d5808298499d6af979d902ae46405
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Tue Jan 31 23:55:29 2012 +0100

    FIX: corrected creatorship

commit 7cf6628030d59d40f9422250e96de8a1ce2b5bfe
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Tue Jan 31 23:06:13 2012 +0100

    CHA: more new classes got their files

commit 2c46e9d60c2206f8781830cc4adc278b9cb2f942
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Tue Jan 31 16:02:33 2012 +0100

    CHA: extracting newly introduced classes from other classes sources

commit 492898afd6d712d182731415efdd51de695bbc65
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Tue Jan 31 13:00:42 2012 +0100

    CHA: simplified GroebnerStrategy's addHigherImplDelayedUsing4 and add4ImplDelayed

commit 820afe72a07b7bb164876dfc2ee61faeb73f7836
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Tue Jan 31 01:26:13 2012 +0100

    CHA: member function is actually const

commit f2389961ee33ad504ccfb6d0e0f2b65bc90a766c
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Tue Jan 31 01:12:15 2012 +0100

    CHA: simplified addHigherImplDelayedUsing4 more

commit 4fe4afa12b03e0de156109e7ee27345bd355fa5d
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Tue Jan 31 01:00:54 2012 +0100

    CHA: simplified addHigherImplDelayedUsing4

commit ead7bd5f7fa8c9b8c93f74bfa07d777dbfc4ed2f
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Jan 30 22:10:57 2012 +0100

    FIX: forgotten file

commit d38375154964581730d319beb00a532eaa9010c9
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Jan 30 17:41:08 2012 +0100

    CHA: Simplified handling of normal pairs

commit 962bde44daf8024ad67b4accbafe794722a51885
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Jan 30 17:40:28 2012 +0100

    ADD: Using more general TransformedSequence to transform on the fly

commit d8f505ebe038c56e5f0c6529e335af35bb4b1a17
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Jan 30 17:30:12 2012 +0100

    FIX: making operator more stable

commit 7b7ec0cb23fd4c2ebf3da48e975f04e9d3b77606
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Sat Jan 28 23:53:06 2012 +0100

    ADD: BooleSetSequence

commit 875a2cdf3e442915e6561bb81e1a47bfe6d0c2e1
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Jan 27 22:52:19 2012 +0100

    FIX: forgotten new file

commit 756aa044fee7d76c14ecb04e5bc1a86e8275669d
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Jan 27 18:21:06 2012 +0100

    ADD: class RelatedTerms as helper for pair treatment

commit 52b1b5bc077b7a37a991e1092d40e5d803395715
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Jan 27 18:20:21 2012 +0100

    ADD: binary member_function_operator fir unary member functions

commit 89e78d66c76cb2211615467160ec85bb14065aa2
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Jan 27 10:52:38 2012 +0100

    ADD: doctests

commit 1826029ce440009341eb279f46778f2b7b0e828f
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Thu Jan 26 15:55:41 2012 +0100

    CHA: improved and better documented normal pairs' relevant terms

commit 5e0845d8272b66ab7201e62bf9e1bcaddccf80ce
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Sat Jan 21 00:26:56 2012 +0100

    ADD: helper for generating NormalPairsTreatment

commit c818280b2006f8bbd22d819cf19132b1c69c6649
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Jan 20 15:53:47 2012 +0100

    CHA: using poly's nice division for BooleSet also

commit 0292f5ca078bcdf14234d5560a20c59c2ca30c91
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Jan 20 15:51:38 2012 +0100

    CHA: explicitely set empty NormalPairTreatment

commit a8d6234b186446796e89ee824d5f855b4a0fabc9
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Jan 20 14:58:08 2012 +0100

    CHA some formatting

commit f799583416d47e7d07cedb8c79dc01873770f98e
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Jan 20 14:57:34 2012 +0100

    CHA: simplied arguments to NormalPairsTreatment

commit eb18c1e96cd2e4339f14806aa7d89ea6548d91ac
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Jan 20 13:30:15 2012 +0100

    FIX minimal_elements_multiplied usable again (though not used)

commit dfcf22c0ef06a0b69a88920beafd28ccf26b0437
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Jan 20 10:11:00 2012 +0100

    ADD: Monomial variant of minimal_elements_divided

commit 7936df3007d73bc2ca562f128742075154c6d0d9
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Jan 20 09:50:59 2012 +0100

    CHA: simplified line

commit 9e8b0f0a05ec22f12a4a279238df425a0d44e7ca
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Jan 20 00:29:17 2012 +0100

    FIX: forbit some more assignments

commit 4b4e383952e7e813ae60e41da1497e3e02c026bd
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Jan 20 00:22:29 2012 +0100

    FIX: forbit TermsFacade::= to avoid inconsistence

commit 47eccff236e9ae09f1b3f1f02b617cc4cbacc318
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Thu Jan 19 23:08:14 2012 +0100

    CHA: some formating

commit a9e28523a63749cd388e73d9822133751a7bd1ff
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Thu Jan 19 22:47:12 2012 +0100

    CHA: using NormalPairsTreatment in ReductionTerms

commit 07223d2a52043b443ad30a7dedabbaeff89961cf
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Thu Jan 19 21:49:28 2012 +0100

    FIX: PolyEntryVector::append now virtual (avoid incosistencies when casting)

commit 5519feaf78f9e23f2328480f05f6258ce64c541a
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Thu Jan 19 16:34:35 2012 +0100

    ADD class NormalPairsTreatment for treatNormalPairs

commit ea89d575e4277441f3bcafd7960660bbabb8a39a
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Thu Jan 19 09:32:03 2012 +0100

    CHA: better naming

commit 9022e7bfc88e63b13c4f0b99c2a1babab3f494b9
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Thu Jan 19 00:01:30 2012 +0100

    CHA: simplified addGenerator again

commit ccb97b10041e3913c9de7e331ce381aafc562cec
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Wed Jan 18 23:28:25 2012 +0100

    CHA: ReductionStrategy::setupSetsForLastElement removed (saver now)

commit 41cf0ce894dfc3ee407e47f8c739fabb66148dd1
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Wed Jan 18 22:36:20 2012 +0100

    CHA: removed useless explicit

commit 26c12f9061784bc2bb1d2de0eeec0999d5ec7a79
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Wed Jan 18 22:33:37 2012 +0100

    FIX: poly-> PolyEntry implicitly convertible

commit 3bdbbb52e0e2e36b5b1e55dd66440e6fd0a4535a
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Wed Jan 18 16:30:40 2012 +0100

    CHA: simplified Singletn criterion

commit 94edb94069c63b132472dc4e72e200ced2fef1ee
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Wed Jan 18 00:15:37 2012 +0100

    CHA: simplified more

commit fdffe7ff0f40c58c7a1c97a3a1af7deafdd8ac11
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Tue Jan 17 23:56:44 2012 +0100

    CHA: GroebnerStrategy::addGenerator simplified

commit fcb4f12ae54d092f91cab0809f1d9180f29849ae
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Tue Jan 17 17:02:45 2012 +0100

    CHA: nonrecursive and simplified GroebnerStrategy::addGEnerator

commit d7a1c5268c311601869984e29977ea9f6318d904
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Jan 16 23:22:59 2012 +0100

    ADD: simplified GroebnerStrategy::addGenerator!

commit 5f589c77968cd9f09d39c648eb0834b7ef232b2a
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Jan 16 16:39:42 2012 +0100

    CHA: simplified GroebnerStrategy

commit d41bf152d92d83fed89a51f64df6b260b94e0c79
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Sat Jan 14 22:58:46 2012 +0100

    FIX: saver improvement check

commit 366ddbc7715be5b29ab8e9d8bf3e9dfa6f0d2067
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Jan 13 23:56:34 2012 +0100

    PolyEntryIndices::insert back inline again

commit 57f7c1f22ef67d02c81f65c01cb6ac7fa012235a
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Jan 13 23:34:03 2012 +0100

    CHA propagate more readable

commit 626988defacfacc4edd4d2025a7c57da066806f8
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Jan 13 17:10:26 2012 +0100

    CHA: propagate more simplified

commit 6530b52f36a9473684b108322014a04b8f94d7ab
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Jan 13 16:24:14 2012 +0100

    CHA: rewriteen propagation

commit cdf552b6626ce652e2d175d4410ee62e5c0edf72
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Jan 13 11:31:10 2012 +0100

    FIX: GroebnerStrategy::propagate_step ore stable without recursion

commit 4092ca8ac05f5a66e1aff7c76904eaf0b880e1bd
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Jan 13 00:10:40 2012 +0100

    CHA: moved llReduceAll to ReductionStrategy

commit 9c160baf947d1798ee56c3fcd7dd8050b468a69c
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Thu Jan 12 22:07:12 2012 +0100

    CHA: more cleanup in GroebnerStrategy

commit f98676cf9908c06e2adde02708aec2583096fa86
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Thu Jan 12 00:07:47 2012 +0100

    CHA simplified code more

commit 7514efd7fe5da8bb5f8d89b46e0a3c69f18ceb5b
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Wed Jan 11 17:42:00 2012 +0100

    CHA minor clean up in GroebnerStrategy

commit 8f0b68f2eba2fdf304c45d77fb9f5cbe0c692b6d
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Wed Jan 11 10:11:01 2012 +0100

    CHA: removing redundant code

commit 2436ce13584c6f926b07d3714c4c822fc664d71a
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Wed Jan 11 10:06:48 2012 +0100

    CHA PolyEntryReference onyl gets what it needs

commit c8ecaaa5ac7764246bb95933e8103d10d6566c03
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Wed Jan 11 09:59:52 2012 +0100

    ADD you may consistently assign to a PolyEntryReference now

commit a8e847a66dae4acb92ee58f64232c0571e5d5432
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Tue Jan 10 15:50:54 2012 +0100

    CHA: simplified tail reductions in GroebnerStrategy more

commit d1ce899139c01893faf118f2fbe56619d1031386
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Tue Jan 10 15:42:46 2012 +0100

    CHA: simplified tail reductions in GroebnerStrategy

commit 14317c66d0e112b61e1201f48b5851478ace3e03
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Tue Jan 10 15:39:34 2012 +0100

    ADD: BooleSet::rExpBegin, rExpEnd

commit af3d4fa054332559ca189f89f100f4e04be629c3
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Tue Jan 10 14:12:20 2012 +0100

    CHA: minaor cleanup in GroebnerStrategy

commit 3bbbcf54c423ea47b129f5a3bdb776db70238b4e
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Tue Jan 10 13:34:41 2012 +0100

    CHA: useful comment

commit e93766238b5be82c59d1c3ddd0aa3451f8d275cb
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Tue Jan 10 12:56:54 2012 +0100

    FIX workaround for mult6x6mit_lp

commit 85a90118c45bc5c3618912fac377f049e345e830
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Jan 9 23:21:54 2012 +0100

    CHA: removed debug code

commit 7b8112374f491415863af1d96e0bce43741714e8
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Jan 9 23:07:52 2012 +0100

    CHA: removed unused code

commit b04e82e97dcc4b30f3db03c99b400d70d4cd36d7
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Jan 9 22:55:56 2012 +0100

    CHA: hopefully better fix

commit 36f2216fdb679c83c294550d60dff72623d0c7ad
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Jan 9 21:40:42 2012 +0100

    FIX: hopefully finally fixed PolyEntryVector::push_back issue

commit 20bc8cdaf5be7d95b6954fcfd5893c687de9dd6c
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Sun Jan 8 23:32:10 2012 +0100

    FIX: to avoid bugs like the previous one make PolyEntry's constructor explicit

commit 2edf99c0f90f5e51017d0d34997c8970061c73e5
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Sun Jan 8 23:28:07 2012 +0100

    FIX: partially reverting previous patch, more sophisticated fix found

commit 166d246887e85e56a84842994303740909c2fd47
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Sun Jan 8 23:19:03 2012 +0100

    FIX: MonomialTerms need mass update here

commit 57cf7fed91a25fd6174fa0518197d2102d727dc3
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Sun Jan 8 02:13:00 2012 +0100

    FIX removed unnecessary check

commit 17a18f1995dbcddf28462606fbe3d04a476ec75f
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Sun Jan 8 00:28:18 2012 +0100

    FIX: removed broken copy constructor of LLReductor

commit 1a76d7f7ff821735a9babc6c97a69c4dd6a87d05
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Jan 6 23:57:55 2012 +0100

    FIX: minimal leading terms cleanup

commit 91f28c76d858635ac55b2ab6dbe1c79b19fee7fa
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Jan 6 17:54:15 2012 +0100

    CHA: consistent names

commit 7805c0dcf68cfbce18dff20c841cc12d0a06597c
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Jan 6 17:44:53 2012 +0100

    ADD: TermsFacade and MinimalLeadingTerms

commit 438df1d9444aa2593ea7f48ccf65fbafe630b82f
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Jan 6 14:56:37 2012 +0100

    ADD: class LLReductor

commit 9e954e46e75de9a2d200908ffd125cbe502afe10
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Jan 6 01:39:21 2012 +0100

    CHA: moved more functionality to ReductionTerms

commit 30e7346cd5cc19aff6b1fcdde9f2ad8105692dd8
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Thu Jan 5 23:19:17 2012 +0100

    CHA: PolyEntryVector now consistent

commit 835f57dd8f653594bbf43637d8d3ea35cba1108e
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Thu Jan 5 22:37:01 2012 +0100

    ADD: ReductionOptions

commit 6d4211eb50ef2fb4f3c6c5ab9dc7653e476035c1
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Thu Jan 5 22:36:38 2012 +0100

    FIX: fallback return value PolyEntryIndices

commit 3a9f6d85cfd8765ca7e3bf205495b10ba56c42f6
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Thu Jan 5 15:59:42 2012 +0100

    ADD: PolyEntryIndices (extracted from PolyEntryVector, CHA: llReductors from ReductionStrategy updates more smoothly

commit b21bfa6bbca5d45a88744d43a98a8de2f8921f21
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Thu Jan 5 01:08:41 2012 +0100

    CHA: add consistent PolyEntry=poly

commit a438ca0acc3ee66cb750b67abc27f61fbc05debe
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Thu Jan 5 00:34:49 2012 +0100

    CHA: more clean-up

commit 1bc6df97e089b333fd1df67b7ac16b5a5b2ba9cc
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Wed Jan 4 17:27:04 2012 +0100

    CHA: some more code clean-up

commit 1e14d5c4f93afb0f0526707720f2856c18aecb9e
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Wed Jan 4 00:09:20 2012 +0100

    CHA: making PolyEntryVector saver

commit 0f53202a4cf90ff8aa61c4854c56deed8a227e92
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Tue Jan 3 17:32:54 2012 +0100

    ADD: starting proper class PolyEntryVector

commit 5b6af1189bc6c3e4ee5b640758e30a0f92dda707
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Jan 2 23:28:46 2012 +0100

    CHA: updateLLReductor simplified

commit 29c44219b9d594c0d018b39c4509bc8d6e6b94ae
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Jan 2 23:20:56 2012 +0100

    CHA: refactorizing ReductionStrategy more

commit ef3dfce770043f7222644ce22f81e79bdca28348
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Jan 2 17:28:36 2012 +0100

    CHA: introducing subprocedures for ReductionStrategy::setupSetsForElement

commit e9349b760e523f7404875a26b7b510438a5d42c5
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Wed Dec 14 00:12:50 2011 +0100

    FIX: recovering erroreously removed optimization

commit 860a8b37f0744c09ffc7f8f4fda12625dfe1e7b2
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Dec 9 01:49:17 2011 +0100

    CHA: added comment, removed unused member function

commit 2779ab64dd52f7c7909071fc2e19090f13498f02
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Dec 9 01:30:07 2011 +0100

    CHA: code clean-up in red_tail

commit 8b13dafedb8940b9dfa6c7600ad74d3a0104de0c
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Dec 9 01:20:22 2011 +0100

    CHA: code clean-up in Reduction strategy

commit bb9258f903f9b19f827bf9be1987c6b9dcc844e0
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Dec 2 23:30:41 2011 +0100

    CHA: better warning of gd-based png-generation fails

commit 8851b3881fb63d46610c10b15004838e43faec5a
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Dec 2 15:49:12 2011 +0100

    CHA: Check whether gdImagePng is linking on configuring

commit 55b24079769d86b770436f15bc20342d151baa60
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Nov 18 21:14:36 2011 +0100

    FIX: broken warning

commit ae300c539967abdf858a611e1aa13741dce64b4d
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Wed Nov 16 00:34:41 2011 +0100

    CHA: renamed _prereq -> _exists (hopefully more speaking)

commit 92e8c9293f6b96dfb5a2f734f630080704310585
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Tue Nov 15 23:55:21 2011 +0100

    FIX: forgotten endif

commit 51d1edcf8918d6870f20567fd5d4bfd13caed942
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Tue Nov 15 23:42:01 2011 +0100

    ADD: ipbori -t to rpm'n %check

commit f5e27f223aa55fb1619f5209ef6882e308d33acf
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Tue Nov 15 23:41:38 2011 +0100

    FIX: alpha versionnumber which is not misinterpreted as suffix of tar-files

commit f9eaf08ba07a0c41171d4eefba8d97dc92022ae3
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Tue Nov 15 22:32:28 2011 +0100

    CHA: clean-up

commit bbb30970e717f4135cf0004a17a7816b85195d39
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Tue Nov 15 22:31:14 2011 +0100

    CHA: More generic check for prerequisites of optional modules

commit 1c295b532e803e03a34acbe1d0a48ba8027fea15
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Nov 14 23:52:02 2011 +0100

    FIX: erroreous check-in

commit 787e6cd9dc2bfe3e87eba9d1efc1a6b4c6383b88
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Nov 14 23:48:46 2011 +0100

    FIX: using real file name (not link)

commit 7bc1c7287cb21c71b8e10bf31f21db3cfe847580
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Nov 7 23:12:10 2011 +0100

    FIX: python version check while doctesting

commit 66fdc00f599424844bcaa8cf562ed7564231e1b5
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Nov 7 23:03:45 2011 +0100

    FIX: prereq for context

commit 47a62d1521309df4ce2ac6d4eae450b5858285e1
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Nov 7 22:58:35 2011 +0100

    FIX: better prereq-test

commit 03c80a6af4161f5fb68f95e8fd5b09fe0db68499
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Nov 7 22:28:09 2011 +0100

    FIX: reestablished python 2.4 compatibility

commit c8412827c8a0e5a8cbefa5488c8319c646c6526e
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Sun Nov 6 21:45:13 2011 +0100

    FIX: more generic skipping of optional components

commit 2e800597a512706be3185e0495041fdcf76af4ec
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Sat Nov 5 23:58:45 2011 +0100

    FIX: some polybori modules have optional dependencies

commit 8fa671ead04a83a763683b42935ef746cb1e130c
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Sat Nov 5 23:53:46 2011 +0100

    FIX: unique module names for file arguments to ipbori -t

commit b81f00eaf7afdb55529e76a48dd928eb0562b07d
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Sat Nov 5 23:00:24 2011 +0100

    ADD: doctest for frontned

commit 4fccddb86d4444bb5f4b3248be9b319435174189
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Sat Nov 5 22:23:41 2011 +0100

    FIX: ipbori -t file.py

commit 5e696b69d47a73a0cf1f9bfe73551d11fe8c08e6
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Nov 4 23:44:37 2011 +0100

    minimal example

commit ada8ef6e34df787ed273551372b59c72be92c4db
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Nov 4 23:35:32 2011 +0100

    CHA: Get version number, if not installed

commit 49e4de7c0482836e1b075b8d79ff066d56a50fb0
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Nov 4 23:16:00 2011 +0100

    FIX: installed ipbori shows versionnumber

commit 50c56b48072ef50340b074b993987a968ee07a8f
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Nov 4 00:36:19 2011 +0100

    CHA: ipbori -t runs PolyBoRi's doctests

commit 4a56307dad26d285f83e4c7869bbe56e7ffb5156
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Wed Nov 2 22:30:15 2011 +0100

    CHA: started to implement ipbori's doctest runs

commit e852797da900f955c557c1dd90a873fe2210e059
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Tue Nov 1 22:25:39 2011 +0100

    FIX: wrong argument order

commit 7c775042cd8252bb27d42267b04ad327f3423418
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Thu Oct 27 23:50:46 2011 +0200

    FIX permissions on install

commit df7627acd54a25135b9ab84ced49e655da5c2446
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Thu Oct 27 23:45:35 2011 +0200

    FIX: Monkey patch env.Install/As to fix permissions after install

commit d56e41ae536c0e142e0885e85e897f148508989f
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Thu Oct 27 23:31:16 2011 +0200

    FIX permissions

commit da9b06eafbc9a81b7393abd34c1d081a060e0825
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Thu Oct 27 22:35:25 2011 +0200

    FIX: python 2.4 compatible build

commit 0f974066ba9cdc9aa1e34e8025ea73b3ee8a79d5
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Thu Oct 27 22:22:37 2011 +0200

    CHA: more user of consistent flags

commit 5d4d4eff50a4b4fa9bc86dbd51a3b5a7350a3dbc
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Thu Oct 27 01:33:15 2011 +0200

    FIX: using weakref.proxy for handling cross-ref

commit ec7e0d229df1a2b398e9e76375f17a068fa35389
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Thu Oct 27 00:54:55 2011 +0200

    CHA: comment to README

commit 5f5bc981c6c2f43f1cad71ceea0c15b51dfd4807
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Thu Oct 27 00:41:41 2011 +0200

    CHA: improved default flags handling (for LINKFLAGS)

commit d9620d0ceb2f6c9c17f782b84684b660502c49e2
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Wed Oct 26 22:21:10 2011 +0200

    FIX: ring.clone(ordering=lp) always effective

commit c720aabaec5d375a61b2d4c14ac608b26029c2e4
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Tue Oct 25 23:42:31 2011 +0200

    CHA: Warn for inconsistent fglm arguments

commit d1967d195eaa33f9af481d092d3a1b66195ab7e6
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Oct 24 23:29:39 2011 +0200

    CHA: consistent flag handling

commit 2e499e123a2c18a4e569e3915358edd052f7efee
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Oct 24 00:39:58 2011 +0200

    FIX: simplified flags options

commit 6936f73a695bd0d24a996de527710d9f3bfb2f2e
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Sun Oct 23 23:31:05 2011 +0200

    FIX: typo, help text generated last

commit 7af625ddf31d06c7282748b561c1b93da0bdbf77
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Sun Oct 23 22:57:26 2011 +0200

    CHA: simplified relative rpath

commit 9862cd7a8c6e4668a2c8cdd5723e44d1f51777a1
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Thu Oct 13 10:02:59 2011 +0200

    FIX: relative paths substitutest wrt. env

commit 56b1b215385ca123d0c931204779516b800aaa49
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Sat Oct 8 00:18:04 2011 +0200

    FIX: import whole os.environ into build environment to support envornment-based compiler setups

commit 96b3312a376cad7cd35fb6420ef1854499e0197c
Author: Michael Brickenstein <brickenstein at mfo.de>
Date:   Fri Oct 7 08:18:24 2011 +0200

    commented trick

commit ed9748197dde1dc90f909bc8716a0c5302ee3827
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Sat Oct 1 22:21:13 2011 +0200

    FIX: copy locals() dict before iterating

commit 1f44d04a46667fb4d05f3794256396bb630c915f
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Sep 30 13:54:58 2011 +0200

    FIX: be more verbose

commit 06ddf3314d63ddede965a8f8a4905a42a4a42a9f
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Sep 30 13:11:45 2011 +0200

    FIX: pyroot/polybori/dynamic/__init__.py generated when build is built

commit 9a3b4ff17c3d9b0aed41bda3ef76b6bdaba5d6bd
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Sep 26 00:16:54 2011 +0200

    FIX: simplified lib generation

commit 2fcf18948480350266a5af7824011d5376bc36dc
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Sun Sep 25 23:44:34 2011 +0200

    FIX: typo

commit 5cbaba2bd7d722ceea89f72f65962a5fbfb3d9be
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Sun Sep 25 23:32:20 2011 +0200

    CHA: using lib targets (not names), removed Singular interface (use Singular's python extension)

commit 1695194fe44be95edc4810ae152eca2cb3c90274
Author: Florian Heiderich <florian at heiderich.org>
Date:   Sun Sep 25 21:29:49 2011 +0200

    FIX: type conversion

commit 78746270678432bf4537913aff1197939eb2a3f6
Author: Florian Heiderich <florian at heiderich.org>
Date:   Sun Sep 25 21:29:04 2011 +0200

    FIX: Necessary changed due to internal changed of other polybori classes

commit 2150e19a4eb9a954360474030c49cb4a6202f8a5
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Sun Sep 25 01:19:56 2011 +0200

    FIX: broken install target and restablushed darwin compatibility

commit c9059987aadfb77539324dc60145267ac07ed6c7
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Sun Sep 25 01:03:35 2011 +0200

    FIX: Darwin compatibility partially reestablished

commit 17e762c864d32065113c8f0bf0535a972f052eae
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Sep 23 23:01:12 2011 +0200

    FIX: split  LINKFLAGS

commit afbfb2cd41a10b7feedcc611186e00b825835951
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Sep 23 12:45:29 2011 +0200

    ADD: use __M if available

commit 099eae45052239479456a8ed32d07c6f80ccb67c
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Sep 23 12:30:23 2011 +0200

    CHA: also test for oldstyle m4ri macros

commit dd5e552099c644db2ed851da339adf2306ef7b1d
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Sep 19 23:10:12 2011 +0200

    #11574: add -msse2 only of __M4RI_HAVE_SSE2 is defined *and* nonzero

commit 8d557d6104794ea9fa5350fe005b944beda03817
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Sep 23 00:18:54 2011 +0200

    FIX dependence on rpm generation

commit f2046aecd978082c4bb23249af5c31f36e25126e
Author: Michael Brickenstein <brickenstein at mfo.de>
Date:   Thu Sep 22 12:18:18 2011 +0200

    minimal imports

commit dec0f53072e2c2f54c3e263b9b47c664065a84eb
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Wed Sep 21 11:19:25 2011 +0200

    CHA: even less imports

commit 03474c7811bd479e9c38b9387b7c3deba34bffc7
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Wed Sep 21 11:12:32 2011 +0200

    FIX: minimal import, fixed doctest

commit 36000c9024908400bb8b8aa07a32375adba3ed01
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Wed Sep 21 00:13:20 2011 +0200

    FIX: allow int argument for Ring

commit ecfd8aafadd58aee1c02088e2f52bb202e39a908
Author: Jerry James <loganjerry at gmail.com>
Date:   Tue Sep 20 23:29:53 2011 +0200

    Missing "case" keywords in cuddObj.cc and CCuddInterface.h; typo in main_wrapper.cc; fixes doxygen code

commit 9f1a0bb98c64d88f8f00f2019e7e654be91a1b5d
Author: Jerry James <loganjerry at gmail.com>
Date:   Tue Sep 20 23:25:16 2011 +0200

    Import of order codes fixed

commit e57ff23089381e69e357562f9e5a82393dfbb174
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Sep 19 22:43:34 2011 +0200

    FIX: libpolybori_python also need LIBPATH

commit 00dc5fa5bbc1273ba6d3031ad488db931edd614c
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Sep 19 11:42:43 2011 +0200

    FIX: PyPolyBoRi.so needs LIBPATH

commit 9363144cde6319a31a13aa872c1152e4583f7e18
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Sep 19 02:19:21 2011 +0200

    FIX: polybori/dynamic/__init__.py now generated

commit cfc081dce1a6d3e9bd6401a6f537960bd649f055
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Sep 19 02:17:36 2011 +0200

    CHA: PyPolyBoRi now uses shared libs

commit e5faf00848d0da14ffc022aa501f4b26dbd844aa
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Thu Sep 15 00:13:38 2011 +0200

    CHA: ipbori is now an all-python script

commit abe9dc7499f7ad6e82511333411ee047715acc36
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Wed Sep 7 22:24:21 2011 +0200

    Added tag v0.8.0 for changeset 260716c2c188

-----------------------------------------------------------------------

-- 
polybori: Polynomials over Boolean Rings



More information about the debian-science-commits mailing list