• Mathias Preiner's avatar
    Squashed commit of the following: · 421f4f91
    Mathias Preiner authored
    commit 71e7e8ef
    Author: Mathias Preiner <mathias.preiner@gmail.com>
    Date:   Thu May 2 16:53:38 2019 -0700
    
        Update README.md.
    
    commit 803ba298
    Author: Mathias Preiner <mathias.preiner@gmail.com>
    Date:   Tue Apr 30 15:18:26 2019 -0700
    
        Update status.
    421f4f91
Name
Last commit
Last update
UltimateBuchiAutomizer Loading commit data...
kratos_systemC_swmc Loading commit data...
lustre Loading commit data...
ultimateAutomizer Loading commit data...
ultimateKojak Loading commit data...
README.md Loading commit data...