• Clark Barrett's avatar
    Squashed commit of the following: · 58054681
    Clark Barrett authored
    commit e4dc43ad
    Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
    Date:   Mon Jun 5 17:58:08 2017 +0200
    
        Fixing README.md
    
    commit ce880371
    Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
    Date:   Mon Jun 5 16:52:59 2017 +0200
    
        Fixing README.md
    
    commit 777be36a
    Author: Clark Barrett <barrett@cs.stanford.edu>
    Date:   Thu Jun 1 12:46:35 2017 -0700
    
        Updating statuses based on solutions from two or more solvers running with a long timeout
    
    commit c75a1f8a
    Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
    Date:   Thu May 25 22:05:28 2017 +0200
    
        To version 2.6
    
    commit 04383b74
    Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
    Date:   Mon May 22 15:06:06 2017 +0200
    
        2.0 to 2.5, CRLF to LF
    
    commit cafd119e
    Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
    Date:   Wed May 3 18:20:07 2017 +0200
    
        Fixing README.md
    
    commit 7b42cecc
    Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
    Date:   Thu Apr 20 10:07:44 2017 +0200
    
        Fixing README.md
    
    commit 85be820d
    Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
    Date:   Wed Mar 29 13:40:16 2017 +0200
    
        Fixing README.md
    
    commit 57b99494
    Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
    Date:   Wed Mar 29 13:34:23 2017 +0200
    
        Fixing README.md
    
    commit 45dfb0e7
    Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
    Date:   Tue Mar 28 16:34:12 2017 +0200
    
        Fixing README.md
    
    commit 4c6648ed
    Author: Tjark Weber <tjark.weber@gmx.de>
    Date:   Thu Mar 16 10:31:25 2017 +0100
    
        Remove duplicate benchmarks
    58054681
Name
Last commit
Last update
FFT Loading commit data...
misc Loading commit data...
nasa Loading commit data...
peter Loading commit data...
why Loading commit data...
README.md Loading commit data...