1. 15 Jun, 2017 1 commit
  2. 07 Jun, 2017 1 commit
    • Squashed commit of the following: · a78abb8e
      commit 6db0c16a
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 18:00:04 2017 +0200
      
          Fixing README.md
      
      commit 6b9f0ca7
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 16:55:04 2017 +0200
      
          Fixing README.md
      
      commit 6733ed2b
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Tue May 23 13:12:20 2017 +0200
      
          2.0 to 2.6, CRLF to LF
      
      commit 1b2a4fde
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed May 3 18:23:12 2017 +0200
      
          Fixing README.md
      
      commit 674a3363
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Thu Apr 20 10:11:05 2017 +0200
      
          Fixing README.md
      
      commit b03f8e6b
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed Mar 29 13:46:59 2017 +0200
      
          Fixing README.md
      
      commit 18f3fe9d
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Tue Mar 28 16:35:47 2017 +0200
      
          Fixing README.md
      
      commit 358404c3
      Author: Tjark Weber <tjark.weber@gmx.de>
      Date:   Thu Mar 16 10:32:03 2017 +0100
      
          Remove duplicate benchmarks
      Clark Barrett committed
  3. 02 May, 2017 1 commit
  4. 20 Apr, 2017 1 commit
  5. 29 Mar, 2017 2 commits
  6. 03 May, 2016 1 commit
  7. 02 May, 2016 1 commit
  8. 25 Mar, 2016 1 commit