History

March 8, 2017 – October 10, 2017

Commits to 32414af2ddc73e88e17bd8627915c41780017d32, excluding merge commits. Limited to 6,000 commits.

AprilMayJuneJulyAugustSeptemberOctober0.00.51.01.52.0
  1. Peter Weidenbach

    peter.weidenbach@fkie.fraunhofer.de

    16 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