Commits · master · SMT-LIB-benchmarks / UFDTNIRA

20 May, 2022 1 commit

Squashed commit of the following: · b782387b

Mathias Preiner authored May 20, 2022

commit f8fb5769
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Fri May 13 16:27:10 2022 -0700

    Moved non-linear benchmarks from UFDTLIRA.

b782387b

26 May, 2021 1 commit

Squashed commit of the following: · fa2f3a64

Mathias Preiner authored May 26, 2021

commit 1e3a2695
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Thu Feb 18 10:10:00 2021 -0800

    Update README.md.

fa2f3a64

24 May, 2020 2 commits
- Fix logic. · 9dd034f7
  Mathias Preiner authored May 24, 2020
  
  9dd034f7
- Move non-linear benchmarks from UFDTLIRA. · 51fa0881
  Mathias Preiner authored May 24, 2020
  
  51fa0881
02 May, 2020 1 commit
- Move non-linear benchmarks from UFDTLIRA. · 3f658a53
  Mathias Preiner authored May 02, 2020
  
  3f658a53
25 Apr, 2020 2 commits
- Squashed commit of the following: · 218a8394
  Mathias Preiner authored Apr 24, 2020
```
commit cda8cf69
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Fri Apr 24 22:47:02 2020 -0700

    Move benchmarks from pending repository.
```
  218a8394
- Initial commit. · 1bff722f
  Mathias Preiner authored Apr 24, 2020
  
  1bff722f