Nico Huber has posted comments on this change. ( https://review.coreboot.org/26845 )
Change subject: gma: Add contract to Enable_Output() to rely less on proof inlining
......................................................................
Patch Set 1: Verified+1
--
To view, visit https://review.coreboot.org/26845
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings
Gerrit-Project: libgfxinit
Gerrit-Branch: master
Gerrit-MessageType: comment
Gerrit-Change-Id: I7bc066b33c969e528c7bcd9328178fac8a37ad21
Gerrit-Change-Number: 26845
Gerrit-PatchSet: 1
Gerrit-Owner: Nico Huber <nico.h(a)gmx.de>
Gerrit-Reviewer: Nico Huber <nico.h(a)gmx.de>
Gerrit-Comment-Date: Mon, 04 Jun 2018 22:57:12 +0000
Gerrit-HasComments: No
Gerrit-HasLabels: Yes
Nico Huber has posted comments on this change. ( https://review.coreboot.org/26844 )
Change subject: gma display probing: Use expression functions for less proof inlining
......................................................................
Patch Set 1: Verified+1
--
To view, visit https://review.coreboot.org/26844
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings
Gerrit-Project: libgfxinit
Gerrit-Branch: master
Gerrit-MessageType: comment
Gerrit-Change-Id: Ibd10238a3cb5c109dee321ad76ef978465ea7d34
Gerrit-Change-Number: 26844
Gerrit-PatchSet: 1
Gerrit-Owner: Nico Huber <nico.h(a)gmx.de>
Gerrit-Reviewer: Nico Huber <nico.h(a)gmx.de>
Gerrit-Comment-Date: Mon, 04 Jun 2018 22:57:06 +0000
Gerrit-HasComments: No
Gerrit-HasLabels: Yes
Nico Huber has posted comments on this change. ( https://review.coreboot.org/26843 )
Change subject: edid: Use expression functions to rely less on proof inlining
......................................................................
Patch Set 1: Verified+1
--
To view, visit https://review.coreboot.org/26843
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings
Gerrit-Project: libgfxinit
Gerrit-Branch: master
Gerrit-MessageType: comment
Gerrit-Change-Id: I7c116762c2b3fa366318b09e60d0e1945057eec6
Gerrit-Change-Number: 26843
Gerrit-PatchSet: 1
Gerrit-Owner: Nico Huber <nico.h(a)gmx.de>
Gerrit-Reviewer: Nico Huber <nico.h(a)gmx.de>
Gerrit-Comment-Date: Mon, 04 Jun 2018 22:57:01 +0000
Gerrit-HasComments: No
Gerrit-HasLabels: Yes
Nico Huber has posted comments on this change. ( https://review.coreboot.org/26842 )
Change subject: gma broxton: Tighten types to rely less on proof inlining
......................................................................
Patch Set 1: Verified+1
--
To view, visit https://review.coreboot.org/26842
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings
Gerrit-Project: libgfxinit
Gerrit-Branch: master
Gerrit-MessageType: comment
Gerrit-Change-Id: I2ff61484715461026463be7fbc45c283e75c903b
Gerrit-Change-Number: 26842
Gerrit-PatchSet: 1
Gerrit-Owner: Nico Huber <nico.h(a)gmx.de>
Gerrit-Reviewer: Nico Huber <nico.h(a)gmx.de>
Gerrit-Comment-Date: Mon, 04 Jun 2018 22:56:52 +0000
Gerrit-HasComments: No
Gerrit-HasLabels: Yes
Nico Huber has posted comments on this change. ( https://review.coreboot.org/26841 )
Change subject: gfx: Increase range of Frequency_Type
......................................................................
Patch Set 1: Verified+1
--
To view, visit https://review.coreboot.org/26841
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings
Gerrit-Project: libgfxinit
Gerrit-Branch: master
Gerrit-MessageType: comment
Gerrit-Change-Id: I55a77b73ffef90eb08551c49978d020b1cf7eecc
Gerrit-Change-Number: 26841
Gerrit-PatchSet: 1
Gerrit-Owner: Nico Huber <nico.h(a)gmx.de>
Gerrit-Reviewer: Nico Huber <nico.h(a)gmx.de>
Gerrit-Comment-Date: Mon, 04 Jun 2018 22:56:44 +0000
Gerrit-HasComments: No
Gerrit-HasLabels: Yes
Nico Huber has posted comments on this change. ( https://review.coreboot.org/26840 )
Change subject: direct pci, debug: Minor style fixes
......................................................................
Patch Set 1: Verified+1
--
To view, visit https://review.coreboot.org/26840
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: I8adbf75babc233dff79e5c8921d1f24692a939ab
Gerrit-Change-Number: 26840
Gerrit-PatchSet: 1
Gerrit-Owner: Nico Huber <nico.h(a)gmx.de>
Gerrit-Reviewer: Nico Huber <nico.h(a)gmx.de>
Gerrit-Comment-Date: Mon, 04 Jun 2018 22:53:53 +0000
Gerrit-HasComments: No
Gerrit-HasLabels: Yes
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(a)gmx.de>
Gerrit-Reviewer: Nico Huber <nico.h(a)gmx.de>
Gerrit-Comment-Date: Mon, 04 Jun 2018 22:52:53 +0000
Gerrit-HasComments: No
Gerrit-HasLabels: Yes