5 Jun
2018
5 Jun
'18
7:52 a.m.
Nico Huber has posted comments on this change. ( https://review.coreboot.org/26837 )
Change subject: Makefile.proof: Remove cvc4 from prover list ......................................................................
Patch Set 1: Verified+1
--
To view, visit https://review.coreboot.org/26837
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings
Gerrit-Project: libhwbase
Gerrit-Branch: master
Gerrit-MessageType: comment
Gerrit-Change-Id: Ib0458bfe53fd999c60f8d1b7cf8709e6195d0a42
Gerrit-Change-Number: 26837
Gerrit-PatchSet: 1
Gerrit-Owner: Nico Huber nico.h@gmx.de
Gerrit-Reviewer: Nico Huber nico.h@gmx.de
Gerrit-Comment-Date: Mon, 04 Jun 2018 22:52:53 +0000
Gerrit-HasComments: No
Gerrit-HasLabels: Yes