1. 26 May, 2021 1 commit
  2. 26 Jul, 2019 1 commit
  3. 02 May, 2019 1 commit
    • Mathias Preiner's avatar
      Squashed commit of the following: · 89315f6b
      Mathias Preiner authored
      commit 83988b56
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Thu May 2 16:53:38 2019 -0700
      
          Update README.md.
      
      commit f0c2d57e
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Tue Apr 30 15:18:06 2019 -0700
      
          Update status.
      
      commit 1c79069d
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Tue Apr 23 14:24:51 2019 -0700
      
          Update status.
      89315f6b
  4. 17 May, 2018 1 commit
    • 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.
      4a9314f6
  5. 15 Jun, 2017 1 commit
  6. 05 Jun, 2017 3 commits