• Clark Barrett's avatar
    Squashed commit of the following: · 633ca879
    Clark Barrett authored
    commit c1c80efa
    Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
    Date:   Mon Jun 5 18:00:33 2017 +0200
    
        Fixing README.md
    
    commit 03cc4823
    Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
    Date:   Mon Jun 5 16:55:29 2017 +0200
    
        Fixing README.md
    
    commit b5fa824f
    Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
    Date:   Tue May 23 14:27:54 2017 +0200
    
        2.0 to 2.6, CRLF to LF
    
    commit dd621e86
    Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
    Date:   Wed May 3 18:23:39 2017 +0200
    
        Fixing README.md
    
    commit 64ac2d28
    Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
    Date:   Thu Apr 20 10:11:33 2017 +0200
    
        Fixing README.md
    
    commit 120fb0c5
    Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
    Date:   Wed Mar 29 13:47:22 2017 +0200
    
        Fixing README.md
    
    commit 8061d023
    Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
    Date:   Tue Mar 28 16:36:05 2017 +0200
    
        Fixing README.md
    
    commit 1d2cdd97
    Author: Tjark Weber <tjark.weber@gmx.de>
    Date:   Thu Mar 16 10:32:03 2017 +0100
    
        Remove duplicate benchmarks
    633ca879
Name
Last commit
Last update
..
burns0.smt2 Loading commit data...
burns1.smt2 Loading commit data...
burns10.smt2 Loading commit data...
burns11.smt2 Loading commit data...
burns12.smt2 Loading commit data...
burns13.smt2 Loading commit data...
burns2.smt2 Loading commit data...
burns3.smt2 Loading commit data...
burns4.smt2 Loading commit data...
burns5.smt2 Loading commit data...
burns6.smt2 Loading commit data...
burns7.smt2 Loading commit data...
burns8.smt2 Loading commit data...
burns9.smt2 Loading commit data...