Lev Nachmanson comments

Results 29 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.

Node move changes line type in SVG Renderer

It is a known issue. Actually, the edges remain splines but they change the form too instantly. I struggled to fix it and do no have a solution.

Node move changes line type in SVG Renderer

There is a special routing in Sugiyama Scheme that gets forgotten when the nodes are moved.

Building scripts on Windows

Msagljs builds well on Windows WSL. You are right that it should be in the docs! VSCODE works nicely in WSL too. https://code.visualstudio.com/docs/remote/wsl

Building scripts on Windows

Sorry, what do you mean by no GUI? Vscode, for example, can give you a GUI. Of course, you need to configure it a bit.

Building scripts on Windows

Yes, that is how I work with this repo.

getFeedbackSetExternal not implemented in VerticalConstraintsForSugiyama

Sorry, it seems you use VerticalConstraints. I have not ported the constraints for Sugiyama scheme at all yet. I do not have the time for it at the moment unfortunately....