1. 20 May, 2022 1 commit
  2. 26 May, 2021 1 commit
    • Mathias Preiner's avatar
      Squashed commit of the following: · b884d2a8
      Mathias Preiner authored
      commit b33ea0e7b0635f30d89bea6bfd8f9fddda4581ee
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Wed May 26 16:18:03 2021 -0700
      
          Migrate benchmarks from pending repository.
      
      commit 0f405858
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Thu Feb 18 10:09:59 2021 -0800
      
          Update README.md.
      b884d2a8
  3. 26 Jul, 2019 1 commit
  4. 02 May, 2019 1 commit
  5. 17 May, 2018 1 commit
  6. 15 Jun, 2017 1 commit
  7. 14 Jun, 2017 1 commit
  8. 07 Jun, 2017 1 commit
    • Clark Barrett's avatar
      Squashed commit of the following: · 517199dd
      Clark Barrett authored
      commit 3383a05c
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 17:59:23 2017 +0200
      
          Fixing README.md
      
      commit aa3eee32
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 16:54:19 2017 +0200
      
          Fixing README.md
      
      commit c6c88a5c
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Tue May 23 11:35:48 2017 +0200
      
          2.0 to 2.6, CRLF to LF
      
      commit 486becaf
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed May 3 18:22:07 2017 +0200
      
          Fixing README.md
      
      commit 1a0f81b0
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Thu Apr 20 10:09:51 2017 +0200
      
          Fixing README.md
      
      commit f44ada9a
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed Mar 29 13:46:04 2017 +0200
      
          Fixing README.md
      
      commit 97d765f4
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Tue Mar 28 16:34:56 2017 +0200
      
          Fixing README.md
      517199dd
  9. 02 May, 2017 1 commit
  10. 20 Apr, 2017 1 commit
  11. 29 Mar, 2017 2 commits
  12. 10 May, 2016 1 commit
  13. 03 May, 2016 1 commit
  14. 02 May, 2016 1 commit
  15. 25 Mar, 2016 1 commit