History

March 8, 2017 – October 13, 2017

Commits to 4e061dde7c4c802881e0bd3d1fdb23683e04ea49, excluding merge commits. Limited to 6,000 commits.

AprilMayJuneJulyAugustSeptemberOctober0.00.51.01.52.0
  1. Peter Weidenbach

    peter.weidenbach@fkie.fraunhofer.de

    18 commitsAprilMayJuneJulyAugustSeptemberOctober0.00.51.01.52.0
  2. Timm Behner

    behner@cs.uni-bonn.de

    3 commitsAprilMayJuneJulyAugustSeptemberOctober0.00.51.01.52.0
  3. Fabian Rump

    rumpf@cs.uni-bonn.de

    1 commitAprilMayJuneJulyAugustSeptemberOctober0.00.51.01.52.0
  4. dorp

    dorp@cs.uni-bonn.de

    1 commitAprilMayJuneJulyAugustSeptemberOctober0.00.51.01.52.0