Chris Leary

Can you point me at the ISO download page? I thought the server-class Ubuntu installation didn't have a window manager by default but you had one in your screenshot so...

This was minimal installation and it worked as well:  ``` cdleary@virtualbox:~/xls$ history 1 cd /media/cdleary/VBox_GAs_6.1.36/ 3 ./autorun.sh 4 sudo apt install apt-transport-https curl gnupg 5 curl -fsSL https://bazel.build/bazel-release.pub.gpg |...

Something in the pip line tries to install PyV8 and there's no header installed for it:  That being said, this is getting to a level of build/environmental debugging we...

One of the notable challenges with a `try_prove` annotation would be that there is some amount of "flakiness" that can result from proof attempts to bounded amounts of time on...

That is cool, hadn't realized that. Maybe a few different considerations we can peel apart here: * If you build z3 at a different rev you might get different proof...

Also _somewhat_ related to #542 e.g. in the user-requested proof of particular predicates; you could imagine for #1 a rewrite to insert `try_prove` nodes if that were a supported construct.

That's interesting -- sorry for the delayed reply and thanks for reporting @sarahec After those targets have compiled and are running tests there should not be network I/O. I wonder...

@RobSpringer can you update with your current thinking on this?

Another consideration, **aside** from a general DSO embedding artifact, is that we could build all of our tools/utilities (e.g. in the tools/ subdirectory) and as referenced in the [tools quickstart...

We should also be sure to **version** these released artifacts, even if it's just the built set of tools, it lets us signify when major feature improvements / backwards incompatibilities...