Page MenuHomeIsabelle/Phabricator

Update component for CVC4
Closed, ResolvedPublic

Description

Follow recent CVC4 development / latest stable version, with proper support of current platforms and isabelle build_cvc4 tool.

It could mean:

  • to assemble existing binaries for the usual platforms (excluding experimental arm64-linux, only recent macOS)
  • or to build from sources, with some advice given by the developers (many build options!)

Event Timeline

makarius triaged this task as Normal priority.Thu, Oct 29, 2:40 PM
makarius created this task.
makarius claimed this task.

Isabelle/dcc0022f0179 provides a manually assembled component, without isabelle build_cvc4 tool.

This does not support macOS 10.13 High Sierra, nor experimental arm64-linux.