• 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
..
ricart-agrawala0.smt2 Loading commit data...
ricart-agrawala10.smt2 Loading commit data...
ricart-agrawala11.smt2 Loading commit data...
ricart-agrawala12.smt2 Loading commit data...
ricart-agrawala13.smt2 Loading commit data...
ricart-agrawala2.smt2 Loading commit data...
ricart-agrawala3.smt2 Loading commit data...
ricart-agrawala4.smt2 Loading commit data...
ricart-agrawala5.smt2 Loading commit data...
ricart-agrawala6.smt2 Loading commit data...
ricart-agrawala7.smt2 Loading commit data...
ricart-agrawala8.smt2 Loading commit data...
ricart-agrawala9.smt2 Loading commit data...