add variable replay, remove MacOS from Travis#4681
Merged
NikolajBjorner merged 23 commits intoZ3Prover:masterfrom NikolajBjorner:Travis-fixSep 8, 2020
+131-57
Commits
Commits on Sep 3, 2020
- committed
Commits on Sep 4, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Sep 5, 2020
- committed
- committed
- committed
- committed
Commits on Sep 6, 2020
- committed
Commits on Sep 7, 2020
- committed
- committed
- committed
Commits on Sep 8, 2020
- committed
- committed
- committed
- committed
- authored
- committed
- committed