- 26 May, 2021 1 commit
-
-
Mathias Preiner authored
commit a422178c Author: Mathias Preiner <mathias.preiner@gmail.com> Date: Thu Feb 18 10:09:57 2021 -0800 Update README.md.
-
- 26 Jul, 2019 1 commit
-
-
Pascal Fontaine authored
-
- 02 May, 2019 1 commit
-
-
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.
-
- 17 May, 2018 1 commit
-
-
Mathias Preiner authored
commit 93f811fc Author: Mathias Preiner <mathias.preiner@gmail.com> Date: Wed May 16 22:06:02 2018 -0700 Add pending benchmarks. commit 264249b4 Author: Mathias Preiner <mathias.preiner@gmail.com> Date: Tue May 15 19:43:02 2018 -0700 Update status of unknown check-sat calls.
-
- 17 Jun, 2017 1 commit
-
-
Pascal Fontaine authored
-
- 15 Jun, 2017 1 commit
-
-
Pascal Fontaine authored
-
- 07 Jun, 2017 1 commit
-
-
Clark Barrett authored
commit 30bd6d0f Author: Pascal Fontaine <Pascal.Fontaine@loria.fr> Date: Mon May 29 15:28:57 2017 +0200 To version 2.6 commit 86bbbc5b Author: Pascal Fontaine <Pascal.Fontaine@inria.fr> Date: Wed May 3 18:35:47 2017 +0200 Fixing README.md commit cf2d273c Author: Pascal Fontaine <Pascal.Fontaine@inria.fr> Date: Thu Apr 20 10:12:57 2017 +0200 Fixing README.md commit 89f73052 Author: Pascal Fontaine <Pascal.Fontaine@inria.fr> Date: Wed Mar 29 13:48:13 2017 +0200 Fixing README.md commit fbe49310 Author: Tjark Weber <tjark.weber@gmx.de> Date: Thu Mar 16 10:31:22 2017 +0100 Remove duplicate benchmarks
-
- 02 May, 2017 1 commit
-
-
Pascal Fontaine authored
-
- 20 Apr, 2017 1 commit
-
-
Pascal Fontaine authored
-
- 29 Mar, 2017 2 commits
-
-
Pascal Fontaine authored
-
Pascal Fontaine authored
-
- 24 May, 2016 1 commit
-
-
Clark Barrett authored
-
- 22 May, 2016 1 commit
-
-
Clark Barrett authored
-
- 03 May, 2016 2 commits
-
-
Pascal Fontaine authored
-
Pascal Fontaine authored
-
- 26 Mar, 2016 1 commit
-
-
Alain Mebsout authored
-