Lev Nachmanson comments

Repositories
Issues
Comments

Results 4 comments of


                                            Lev Nachmanson

Assertion violation at File: ../src/nlsat/nlsat_interval_set.cpp:94

There is no repro for either instance in d7c0e17f9617d641262bf3a5883d87556773cc5f.

``shell``, ``libz3`` and ``test-z3`` should use the same generated ``.cpp`` files

@delcypher Suppose we want relative paths in the includes. How can we instrument cmake to make sure that the include path includes src? Something like: ``` list(APPEND Z3_COMPONENT_EXTRA_INCLUDE_DIRS "src") ```...

Unexpected performance regression on a simple-looking query

@zvonimir , it seems fixed in the current release. Can you give it a shot?

Unexpected performance regression on a simple-looking query

Now it seems really fixed.