Commits

Branch selector

 main

User selector

mbargull

Datepicker

All time

Commit History

Commits on Dec 5, 2022

• Fix missing __unix virtual package in 22.11 (conda#12148)

  Show description for 1ce87c3
  mbargull

  authored
  1ce87c3

  Copy full SHA for 1ce87c3

Commits on Nov 14, 2019

• common._logic: mark everything we don't export with a leading _

  mbargull

  committed
  2aae4ed

  Copy full SHA for 2aae4ed

• common.logic: add TODO item to hide TRUE/FALSE implementation details

  mbargull

  committed
  ff180ee

  Copy full SHA for ff180ee

• common.logic: apply _convert in Clauses.add_clause

  mbargull

  committed
  9c7dac2

  Copy full SHA for 9c7dac2

Commits on Nov 13, 2019

• common.logic: remove test code, fix flake8, use .compat again

  mbargull

  committed
  e82406b

  Copy full SHA for e82406b

• Merge branch 'master' into logic-refactor

  mbargull

  committed
  45fe7ab

  Copy full SHA for 45fe7ab

• common.logic: move non-public implementation to common._logic

  mbargull

  committed
  585fb79

  Copy full SHA for 585fb79

• common.logic: expose Clauses.LinearBound again, make sure to only convert named literals

  mbargull

  committed
  4f0f7bc

  Copy full SHA for 4f0f7bc

• common.logic: remove export of SatSolver classes

  mbargull

  committed
  bdc1da2

  Copy full SHA for bdc1da2

• test_logic: {True, False} -> {TRUE, FALSE}

  mbargull

  committed
  6a42241

  Copy full SHA for 6a42241

• test_logic: whitespace changes

  mbargull

  committed
  0f40d26

  Copy full SHA for 0f40d26

Commits on Nov 12, 2019

• common.logic: lift variable name handling to higher level

  mbargull

  committed
  f6d191f

  Copy full SHA for f6d191f

• common.logic: unify types of clause variables and tautologies/contradictions

  mbargull

  committed
  8edf2c1

  Copy full SHA for 8edf2c1

• common.logic: add temporary test code to write out minimization problem

  mbargull

  committed
  32c98c0

  Copy full SHA for 32c98c0

• common.logic: lift dict->list conversion of minimization objective to higher level

  mbargull

  committed
  71ac809

  Copy full SHA for 71ac809

• common.logic: move evaluate_eq to test_logic

  mbargull

  committed
  aa3d662

  Copy full SHA for aa3d662

Commits on Apr 25, 2019

• common.configuration: show valid choices in error messages for enums

  mbargull

  committed
  59b62ad

  Copy full SHA for 59b62ad

• common.logic: move get_sat_solver_cls to .resolve due to non-.common import

  mbargull

  committed
  bff283e

  Copy full SHA for bff283e

Commits on Sep 28, 2018

• common.logic: make choice of SAT solver configurable with undocumented 'sat_solver' parameter

  mbargull

  committed
  2491bdd

  Copy full SHA for 2491bdd

• common.logic: make clause storage part of the SAT solver interface

  mbargull

  committed
  00e8804

  Copy full SHA for 00e8804

• common.logic: only bind performance critical methods

  mbargull

  committed
  e6ac07d

  Copy full SHA for e6ac07d

Commits on Aug 30, 2018

• PackageRecord: cache __hash__ value

  mbargull

  committed
  efc7745

  Copy full SHA for efc7745

Commits on Aug 24, 2018

• Revert "core.index.get_reduced_index: only parallelize I/O"

  Show description for 2c2212f
  

  mbargull

  authored and

  kalefranz

  committed
  2c2212f

  Copy full SHA for 2c2212f

• Revert "core.index.get_reduced_index: only parallelize I/O"

  Show description for d8ac501
  mbargull

  committed
  d8ac501

  Copy full SHA for d8ac501

• common.logic: remove time_recorder decorators

  mbargull

  committed
  d41e282

  Copy full SHA for d41e282

Commits on Aug 23, 2018

• Merge remote-tracking branch 'upstream/master' into python-side-speedups

  mbargull

  committed
  e381cba

  Copy full SHA for e381cba

Commits on Aug 22, 2018

• flake8

  mbargull

  committed
  b2d6b24

  Copy full SHA for b2d6b24

• common.logic: add some comments and docstrings

  mbargull

  committed
  7300e61

  Copy full SHA for 7300e61

Commits on Aug 21, 2018

• common.logic.Clauses: remove additional log message in LinearBound_

  mbargull

  committed
  02478e5

  Copy full SHA for 02478e5

Commits on Aug 20, 2018

• logging: use DeltaSecondsFormatter only if CONDA_TIMED_LOGGING is true

  mbargull

  committed
  8eca337

  Copy full SHA for 8eca337

• common.compat: explicitly add Mapping, Sequence to module namespace

  mbargull

  committed
  cd14ef7

  Copy full SHA for cd14ef7

• time_recorder: do not record total times in every entry

  mbargull

  committed
  bd87cee

  Copy full SHA for bd87cee

• common.io.DeltaSecondsFormatter: PY2 compat: remove style kwarg

  mbargull

  committed
  1d3199f

  Copy full SHA for 1d3199f

• time_recorder: log totals after solving is done

  mbargull

  committed
  feaf20d

  Copy full SHA for feaf20d

• common.compat: add collections.abc import Sequence, Mapping

  mbargull

  committed
  fc2a6d3

  Copy full SHA for fc2a6d3

Pagination

Previous

Next