1. 15 Jun, 2017 1 commit
  2. 07 Jun, 2017 1 commit
    • Squashed commit of the following: · 6e54df95
      commit 69349b03
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 18:21:55 2017 +0200
      
          Fixing README.md
      
      commit ec0c0607
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 17:43:10 2017 +0200
      
          Adding benchmarks from pending
      
      commit 9ec08620
      Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
      Date:   Mon Jun 5 17:27:04 2017 +0200
      
          Initial commit
      Clark Barrett committed
  3. 05 Jun, 2017 1 commit
  4. 13 May, 2016 1 commit