Nikolaj Bjorner
|
571b05396f
|
Merge pull request #2001 from travisnielsen/patch-1
Fix typo
|
2018-12-02 12:31:31 -05:00 |
|
Nikolaj Bjorner
|
74bc461e6b
|
Merge pull request #1999 from waywardmonkeys/fix-typo
Fix typo.
|
2018-12-02 12:31:19 -05:00 |
|
Travis Nielsen
|
dad58073d3
|
Fix typo
|
2018-12-01 16:47:19 -06:00 |
|
Nikolaj Bjorner
|
852acd0e75
|
Merge pull request #1998 from waywardmonkeys/remove-include-immintrin.h
Remove include of immintrin.h.
|
2018-12-01 08:21:06 -08:00 |
|
Bruce Mitchener
|
150fe881ce
|
Fix typo.
|
2018-12-01 21:06:16 +07:00 |
|
Bruce Mitchener
|
a3ece29628
|
Remove include of immintrin.h.
This file doesn't appear to be used and isn't available on all
platforms.
|
2018-12-01 20:39:03 +07:00 |
|
Nikolaj Bjorner
|
7d4f2a2f21
|
Merge pull request #1996 from waywardmonkeys/reduce-dead-stores
Reduce dead stores
|
2018-11-30 12:03:41 -08:00 |
|
Bruce Mitchener
|
2faf5ef995
|
Remove unused iPos.
This was incremented, but never actually used, so remove it.
|
2018-11-30 23:13:22 +07:00 |
|
Bruce Mitchener
|
c51caad5ad
|
Remove duplicate initialization of a sort variable.
|
2018-11-30 23:12:55 +07:00 |
|
Bruce Mitchener
|
bcfa8045fa
|
Sink some values into loops.
This removes some dead stores that happen prior to the loop and
ensure that no one is looking at the values outside of the
loop.
|
2018-11-30 23:12:21 +07:00 |
|
Nikolaj Bjorner
|
74e031ba92
|
Merge pull request #1992 from waywardmonkeys/save-clang-optimization-records
cmake: Allow saving clang's optimization records.
|
2018-11-30 07:47:33 -08:00 |
|
Nikolaj Bjorner
|
1cfd14fd74
|
Merge pull request #1995 from waywardmonkeys/fix-typos
Fix typos.
|
2018-11-30 07:45:24 -08:00 |
|
Nikolaj Bjorner
|
dbfeeb8b1c
|
fix #1994
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-11-30 07:43:42 -08:00 |
|
Bruce Mitchener
|
3149d7f7a4
|
Fix typos.
|
2018-11-30 22:19:30 +07:00 |
|
Bruce Mitchener
|
fbc33b20c8
|
cmake: Allow saving clang's optimization records.
This gives some insight into what the compiler has decided to do
or not do.
|
2018-11-30 19:52:57 +07:00 |
|
Nikolaj Bjorner
|
57318bab5b
|
Merge branch 'master' of https://github.com/z3prover/z3
|
2018-11-29 21:04:49 -08:00 |
|
Nikolaj Bjorner
|
3db73e442c
|
reset max unfolding literal on backtrack
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-11-29 21:04:43 -08:00 |
|
Nikolaj Bjorner
|
b0d5b242f1
|
Merge pull request #1991 from waywardmonkeys/fix-java-api-swap-params
Fix java api swap params
|
2018-11-29 20:53:08 -08:00 |
|
Bruce Mitchener
|
afc9de960c
|
Improve JavaDoc.
|
2018-11-30 08:42:28 +07:00 |
|
Bruce Mitchener
|
38ca9ddfeb
|
Swapped significand and exponent in call to Context.mkFPNumeral.
Fixes #973.
|
2018-11-30 08:42:01 +07:00 |
|
Nikolaj Bjorner
|
e72df22e49
|
Merge pull request #1990 from waywardmonkeys/fix-initialization-order
Fix initialization order on theory_seq.
|
2018-11-29 17:15:54 -08:00 |
|
Bruce Mitchener
|
6567698199
|
Fix initialization order on theory_seq.
|
2018-11-30 08:10:49 +07:00 |
|
Nikolaj Bjorner
|
1d4d95aea2
|
fix #1989
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-11-29 16:10:02 -08:00 |
|
Nikolaj Bjorner
|
2481c70088
|
merge
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-11-29 11:33:18 -08:00 |
|
Nikolaj Bjorner
|
67f22d8d65
|
improving performance for length constraints
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-11-29 11:32:52 -08:00 |
|
Nikolaj Bjorner
|
ba06d22557
|
revert stale reference to literal
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-11-29 10:24:19 -08:00 |
|
Nikolaj Bjorner
|
e96f9de70b
|
perf #1988
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-11-29 06:02:32 -08:00 |
|
Nikolaj Bjorner
|
8248ec879e
|
fix qsat destructor memory allocation #1948
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-11-28 15:35:46 -08:00 |
|
Nikolaj Bjorner
|
45dd820b6c
|
Merge branch 'master' of https://github.com/z3prover/z3
|
2018-11-28 13:50:40 -08:00 |
|
Nikolaj Bjorner
|
5dc1337476
|
fix #1984 - already fixed in private branch, but wasn't propagated to master
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-11-28 13:49:53 -08:00 |
|
Nikolaj Bjorner
|
3fe9b76fe5
|
Merge pull request #1986 from mtrberzi/issue1908
Z3str3: correct str.replace semantics
|
2018-11-28 13:15:39 -08:00 |
|
Murphy Berzish
|
e76e501216
|
Z3str3: correct str.replace semantics
|
2018-11-28 14:42:19 -05:00 |
|
Nikolaj Bjorner
|
f2de15a665
|
Merge pull request #1982 from waywardmonkeys/avoid-const-params-in-decls
Avoid const params in decls.
|
2018-11-28 09:08:03 -08:00 |
|
Nikolaj Bjorner
|
ee5ae8fb5e
|
Merge pull request #1983 from waywardmonkeys/missing-ref
mk_coeffs_without was inadvertently copying src.
|
2018-11-28 09:07:15 -08:00 |
|
Nikolaj Bjorner
|
a78380901e
|
Merge pull request #1976 from waywardmonkeys/use-nullptr-more
Use nullptr rather than 0/NULL.
|
2018-11-28 09:06:40 -08:00 |
|
Nikolaj Bjorner
|
649eb53ef9
|
Merge pull request #1977 from waywardmonkeys/fix-typos
Fix a couple of typos.
|
2018-11-28 09:04:35 -08:00 |
|
Bruce Mitchener
|
a3281a02db
|
mk_coeffs_without was inadvertently copying src.
Pass it via ref.
|
2018-11-28 20:12:47 +07:00 |
|
Bruce Mitchener
|
2016f48dc9
|
Avoid const params in decls.
Const-qualification of parameters only has an effect in function
definitions.
|
2018-11-28 19:07:33 +07:00 |
|
Bruce Mitchener
|
090f14e7bc
|
Fix a couple of typos.
|
2018-11-28 14:58:04 +07:00 |
|
Bruce Mitchener
|
b83d6d77c9
|
Use nullptr rather than 0/NULL.
|
2018-11-28 14:57:01 +07:00 |
|
Nikolaj Bjorner
|
eea9b79035
|
Merge pull request #1975 from Bronsa/null_wrapped
Guard against null wrapped functions in OCaml API
|
2018-11-27 10:44:20 -08:00 |
|
Nikolaj Bjorner
|
c5f280ae6e
|
Merge pull request #1969 from Bronsa/master
Catch and print exceptions in Z3_mk_config
|
2018-11-27 10:43:43 -08:00 |
|
Nikolaj Bjorner
|
5df29daa35
|
Merge pull request #1972 from waywardmonkeys/use-vector-empty
Prefer using empty rather than size comparisons.
|
2018-11-27 10:39:34 -08:00 |
|
Nikolaj Bjorner
|
7b68d3d893
|
Merge pull request #1973 from waywardmonkeys/modernize-use-override
Use 'override' in new code.
|
2018-11-27 10:37:35 -08:00 |
|
Nikolaj Bjorner
|
4bbf90c57f
|
Merge pull request #1974 from waywardmonkeys/fix-ocaml-typo
Fix typo in OCaml API docs.
|
2018-11-27 10:37:24 -08:00 |
|
Nikolaj Bjorner
|
2b34e4f738
|
fix #1968
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-11-27 10:36:03 -08:00 |
|
Nicola Mometto
|
ad49c3269a
|
Guard against null wrapped functions in OCaml API
|
2018-11-27 18:11:29 +00:00 |
|
Bruce Mitchener
|
7fb0106ead
|
Fix typo in OCaml API docs.
|
2018-11-27 22:14:41 +07:00 |
|
Bruce Mitchener
|
64ac929301
|
Use 'override' in new code.
|
2018-11-27 22:07:14 +07:00 |
|
Bruce Mitchener
|
e570940662
|
Prefer using empty rather than size comparisons.
|
2018-11-27 21:42:04 +07:00 |
|