• Mathias Preiner's avatar
    Squashed commit of the following: · 60109fc0
    Mathias Preiner authored
    commit f525a140
    Author: Mathias Preiner <mathias.preiner@gmail.com>
    Date:   Wed May 16 22:08:39 2018 -0700
    
        Add pending benchmarks.
    
    commit fada47f0
    Author: Mathias Preiner <mathias.preiner@gmail.com>
    Date:   Sat May 12 11:10:05 2018 -0700
    
        Update status of unknown benchmarks.
    60109fc0
Name
Last commit
Last update
..
jagertest.smt2 Loading commit data...
jagertest2.smt2 Loading commit data...