• 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
..
fol_simplify Loading commit data...
fol_simplify_arithmetics Loading commit data...
fol_simplify_array Loading commit data...
fol_simplify_array_only Loading commit data...
fol_simplify_structure_forall Loading commit data...
fol_simplify_structure_prop Loading commit data...
vc_normalize_subst Loading commit data...