1. 02 May, 2019 1 commit
    • Mathias Preiner's avatar
      Squashed commit of the following: · bcfcfe0e
      Mathias Preiner authored
      commit b736ae79
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Thu May 2 16:53:39 2019 -0700
      
          Update README.md.
      
      commit a263f213
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Thu May 2 16:25:07 2019 -0700
      
          Move benchmarks from pending repository.
      bcfcfe0e
  2. 15 Jun, 2017 1 commit
  3. 07 Jun, 2017 1 commit
    • Clark Barrett's avatar
      Squashed commit of the following: · c00a972e
      Clark Barrett authored
      commit 7552ddac
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 17:58:55 2017 +0200
      
          Fixing README.md
      
      commit 9e7dc375
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 16:53:48 2017 +0200
      
          Fixing README.md
      
      commit 5c94acf2
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Thu May 25 23:12:08 2017 +0200
      
          To version 2.6
      
      commit 5ff7f3f8
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon May 22 15:39:57 2017 +0200
      
          2.0 to 2.5, CRLF to LF
      
      commit ac95d970
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed May 3 18:20:58 2017 +0200
      
          Fixing README.md
      
      commit 8471f0fe
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Thu Apr 20 10:08:37 2017 +0200
      
          Fixing README.md
      
      commit 62a96b88
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed Mar 29 13:45:25 2017 +0200
      
          Fixing README.md
      
      commit d9a0c82a
      Author: Tjark Weber <tjark.weber@gmx.de>
      Date:   Thu Mar 16 10:31:25 2017 +0100
      
          Remove duplicate benchmarks
      c00a972e
  4. 02 May, 2017 1 commit
  5. 20 Apr, 2017 1 commit
  6. 29 Mar, 2017 2 commits
  7. 03 May, 2016 1 commit
  8. 02 May, 2016 1 commit
  9. 25 Mar, 2016 1 commit