1. 15 Jun, 2017 1 commit
  2. 07 Jun, 2017 1 commit
    • Squashed commit of the following: · 28e67640
      commit 7bd5c1f5
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 17:59:01 2017 +0200
      
          Fixing README.md
      
      commit 5add5e4e
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 16:53:55 2017 +0200
      
          Fixing README.md
      
      commit ed1d1d1c
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Thu May 25 23:13:19 2017 +0200
      
          To version 2.6
      
      commit 29af9490
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon May 22 15:42:00 2017 +0200
      
          2.0 to 2.5, CRLF to LF
      
      commit 8b3e3a59
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed May 3 18:21:05 2017 +0200
      
          Fixing README.md
      
      commit bf43f24b
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Thu Apr 20 10:08:45 2017 +0200
      
          Fixing README.md
      
      commit 82033f45
      Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
      Date:   Wed Mar 29 13:45:35 2017 +0200
      
          Fixing README.md
      
      commit 8387b4f4
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Tue Mar 28 16:34:49 2017 +0200
      
          Fixing README.md
      
      commit c6b857f8
      Author: Tjark Weber <tjark.weber@gmx.de>
      Date:   Thu Mar 16 10:31:26 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