search

dreal / dreal4

Automated Reasoning in Nonlinear Theories of Reals
https://dreal.github.io
Apache License 2.0
151 stars 32 forks source link

ibex-2.8.6 #261

Open soonhokong opened 3 years ago

soonhokong commented 3 years ago

We've found some issues with the current version of ibex that we're using (ibex-2.7.4 + custom patches). We will use ibex-2.8.6 instead.

Action items:

soonhokong commented 3 years ago

@BetsyMcPhail, I'll ping you when ibex@2.8.6 formula is ready.

jwnimmer-tri commented 2 years ago

@soonhokong Currently Drake is building against ibex-2.8.6_4.

That release is a branch name (not a tag name), which means that the GitHub archive will not have a stable checksum (see https://github.com/bazel-contrib/SIG-rules-authors/issues/11#issuecomment-1029861300), and also means that the branch contents could change out from under us if someone pushes a new commit onto the branch.

I'd like to request that dreal-deps/ibex-lib goes back to using tag names to denote its releases, and in particular that an existing release (either 2.8.6-4 or perhaps 2.8.6-5) be added as a tag name.