1. 26 May, 2021 1 commit
    • Mathias Preiner's avatar
      Squashed commit of the following: · 2728c9f6
      Mathias Preiner authored
      commit 21fd2ad72e1c953308ec23cb9b161cb73b26cd9b
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Wed May 26 16:18:03 2021 -0700
      
          Migrate benchmarks from pending repository.
      
      commit 146d3401
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Thu Feb 18 10:09:59 2021 -0800
      
          Update README.md.
      2728c9f6
  2. 25 Apr, 2020 1 commit
    • Mathias Preiner's avatar
      Squashed commit of the following: · fe1a9a99
      Mathias Preiner authored
      commit 0654cba2
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Fri Apr 24 22:44:49 2020 -0700
      
          Move benchmarks from pending repository.
      
      commit af690648
      Author: Aina Niemetz <aina.niemetz@gmail.com>
      Date:   Wed Apr 8 12:02:02 2020 -0700
      
          Move benchmarks with to_fp from Real to QF_FPLRA.
      fe1a9a99
  3. 26 Jul, 2019 1 commit
  4. 07 May, 2019 1 commit
  5. 02 May, 2019 1 commit
    • Mathias Preiner's avatar
      Squashed commit of the following: · fa5530c8
      Mathias Preiner authored
      commit 532605a9
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Thu May 2 16:53:40 2019 -0700
      
          Update README.md.
      
      commit fd8de1cd
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Tue Apr 30 15:19:30 2019 -0700
      
          Update status.
      
      commit 60503e77
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Mon Apr 15 15:42:51 2019 -0700
      
          Fix OR with only one argument.
      fa5530c8
  6. 23 May, 2018 2 commits
  7. 21 May, 2018 1 commit
  8. 17 May, 2018 1 commit
  9. 15 Jun, 2017 1 commit
  10. 07 Jun, 2017 1 commit
    • Clark Barrett's avatar
      Squashed commit of the following: · c8bc0891
      Clark Barrett authored
      commit 9d3df4be
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 17:59:20 2017 +0200
      
          Fixing README.md
      
      commit a18445d4
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 16:54:14 2017 +0200
      
          Fixing README.md
      
      commit f35623ae
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 15:27:34 2017 +0200
      
          Adding benchmarks from pending
      
      commit 4f155d0a
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Thu May 25 14:55:19 2017 +0200
      
          Fixing quoting category
      
      commit e3f4157b
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Tue May 23 11:04:09 2017 +0200
      
          2.0 to 2.6, CRLF to LF
      
      commit d4806bf9
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed May 3 18:21:59 2017 +0200
      
          Fixing README.md
      
      commit 5ebea42f
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Thu Apr 20 10:09:43 2017 +0200
      
          Fixing README.md
      
      commit 0e31f9b1
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Fri Mar 31 17:31:45 2017 +0200
      
          Adding (exit) to end of benchmarks
      
      commit 05f75467
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed Mar 29 13:45:58 2017 +0200
      
          Fixing README.md
      
      commit 6db66c08
      Author: Tjark Weber <tjark.weber@gmx.de>
      Date:   Thu Mar 16 10:32:01 2017 +0100
      
          Remove duplicate benchmarks
      
      commit 4607a934
      Author: Christoph M. Wintersteiger <cwinter@microsoft.com>
      Date:   Fri Nov 11 12:13:39 2016 +0000
      
          Added new benchmarks by Mikhail Ramalho
      c8bc0891
  11. 02 May, 2017 1 commit
  12. 20 Apr, 2017 1 commit
  13. 29 Mar, 2017 2 commits
  14. 17 May, 2016 1 commit
  15. 13 May, 2016 6 commits
  16. 03 May, 2016 1 commit
  17. 02 May, 2016 1 commit
  18. 25 Mar, 2016 1 commit