Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 22, 2024

• Update setup metadata.

  mpreiner

  committed
  32b6494

• setup.cfg: Change license to MIT.

  mpreiner

  committed
  13decc1

• Remove progressbar dependency.

  mpreiner

  committed
  8ea5677

Commits on Apr 11, 2024

• Switch to MIT license.

  aniemetz

  committed
  3d58c4c

Commits on Apr 28, 2021

• Update authors.

  nafur

  committed
  ff0e51a

Commits on Feb 17, 2021

• Explicitly ignore flake8 W503 (as it clashes with W504 anyway)

  nafur

  committed
  0898231

Commits on Feb 10, 2021

• Remove now obsolete ddsmt-profile

  nafur

  committed
  b87d6b6

• Add gprof2dot as requirement to enable rendering of profiling data

  nafur

  committed
  897d14a

• Add utility script smt2info

  nafur

  committed
  789376f

• Use better entry_points options for pip config

  nafur

  committed
  a78e6e6

Commits on Jan 21, 2021

• Update to new repository URL

  nafur

  committed
  a8910b4

• Move coverage config to setup.cfg

  nafur

  committed
  14e28cc

• Improve docs.

  

  nafur

  authored and

  mpreiner

  committed
  e342bb4

• Move docs dependencies out of setup, not needed if installing via pip.

  

  nafur

  authored and

  mpreiner

  committed
  d98db25

• Working on doc

  

  nafur

  authored and

  mpreiner

  committed
  cd5da72

• Add (bibtex-based) references to the docs.

  

  nafur

  authored and

  mpreiner

  committed
  ab21bb4

• Use max line length of 80.

  

  nafur

  authored and

  mpreiner

  committed
  5fd97a2

• Apply a bunch of suggestions from yapf.

  

  nafur

  authored and

  mpreiner

  committed
  347d88d

• Add config and CI for formatting with yapf.

  

  nafur

  authored and

  mpreiner

  committed
  aad0dc2

Commits on Jan 8, 2021

• Push minimal python version to 3.6

  nafur

  committed
  0b431a7

Commits on Jan 6, 2021

• Add setup config files.

  nafur

  committed
  9d88670

Loading