• Clark Barrett's avatar
    Squashed commit of the following: · 6e068708
    Clark Barrett authored
    commit 6f81015a
    Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
    Date:   Mon Jun 5 17:58:41 2017 +0200
    
        Fixing README.md
    
    commit 3eac1449
    Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
    Date:   Mon Jun 5 16:53:37 2017 +0200
    
        Fixing README.md
    
    commit 8014352f
    Author: Clark Barrett <barrett@cs.stanford.edu>
    Date:   Thu Jun 1 12:46:44 2017 -0700
    
        Updating statuses based on solutions from two or more solvers running with a long timeout
    
    commit 4a7182a4
    Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
    Date:   Thu May 25 23:09:33 2017 +0200
    
        To version 2.6
    
    commit 6ae52298
    Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
    Date:   Mon May 22 15:31:26 2017 +0200
    
        2.0 to 2.5, CRLF to LF
    
    commit 3052e113
    Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
    Date:   Wed May 3 18:20:45 2017 +0200
    
        Fixing README.md
    
    commit dd8088bb
    Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
    Date:   Thu Apr 20 10:08:23 2017 +0200
    
        Fixing README.md
    
    commit 9bcca7b3
    Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
    Date:   Wed Mar 29 13:45:12 2017 +0200
    
        Fixing README.md
    
    commit 78356967
    Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
    Date:   Wed Mar 29 13:34:48 2017 +0200
    
        Fixing README.md
    
    commit 80ce72e0
    Author: Tjark Weber <tjark.weber@gmx.de>
    Date:   Thu Mar 16 10:31:25 2017 +0100
    
        Remove duplicate benchmarks
    6e068708
Name
Last commit
Last update
..
bellford Loading commit data...
bubble_sort Loading commit data...
copy_array Loading commit data...
no_init_bubble_sort Loading commit data...
no_init_extract_sublist Loading commit data...
no_init_multi_delete Loading commit data...
no_init_multi_member Loading commit data...
no_init_selection_sort Loading commit data...
no_init_simple_delete Loading commit data...
no_init_simple_member Loading commit data...
prim Loading commit data...
selection_sort Loading commit data...
strcmp Loading commit data...