• Mathias Preiner's avatar
    Squashed commit of the following: · 4a9314f6
    Mathias Preiner authored
    commit da421f14
    Author: Mathias Preiner <mathias.preiner@gmail.com>
    Date:   Thu May 17 13:39:29 2018 -0700
        Fix status and add missing set-info :status.
    commit 47113996
    Author: Mathias Preiner <mathias.preiner@gmail.com>
    Date:   Tue May 15 19:40:38 2018 -0700
        Update status of unknown check-sat calls.
Last commit
Last update
20170501-Heizmann-UltimateAutomizer Loading commit data...
README.md Loading commit data...