Change subject: Makefile.proof: Remove cvc4 from prover list
......................................................................
--
To view, visit
https://review.coreboot.org/c/libhwbase/+/26837
To unsubscribe, or for help writing mail filters, visit
https://review.coreboot.org/settings
Gerrit-Project: libhwbase
Gerrit-Branch: master
Gerrit-Change-Id: Ib0458bfe53fd999c60f8d1b7cf8709e6195d0a42
Gerrit-Change-Number: 26837
Gerrit-PatchSet: 1
Gerrit-Owner: Nico Huber
nico.h@gmx.de
Gerrit-Reviewer: Adrian-Ken Rueegsegger
ken@codelabs.ch
Gerrit-Reviewer: Nico Huber
nico.h@gmx.de
Gerrit-Reviewer: Paul Menzel
paulepanter@users.sourceforge.net
Gerrit-Reviewer: Reto Buerki
reet@codelabs.ch
Gerrit-Comment-Date: Mon, 29 Apr 2019 07:40:24 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: Yes
Gerrit-MessageType: comment