Nico Huber 3586101e0b gma: Juggle with types of a precondition ...

Using the same type (Pos64) as in the actual calculation below, helps
current SPARK Pro to prove absence of overflows (SPARK GPL 2016 still
works too ofc).

Change-Id: Ifde556f9201f3333be0eb8566bf69b7f9df11277
Signed-off-by: Nico Huber <nico.huber@secunet.com>
Reviewed-on: https://review.coreboot.org/18809
Tested-by: Nico Huber <nico.h@gmx.de>
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>

2017-06-03 15:32:09 +02:00

common

gma: Juggle with types of a precondition

2017-06-03 15:32:09 +02:00

configs

gma: Add config plus stubs for Broxton SoC

2017-06-03 15:19:33 +02:00

.gitignore

Initial upstream commit

2016-10-09 11:34:25 +02:00

COPYING

Initial upstream commit

2016-10-09 11:34:25 +02:00

Makefile

Initial upstream commit

2016-10-09 11:34:25 +02:00

Makefile.inc

Initial upstream commit

2016-10-09 11:34:25 +02:00

TODO

gma: Make cleaning the hardware state optional

2017-01-08 17:06:58 +01:00

Description

No description provided

1.4 GiB

Languages

C 64.7%

Lasso 20.7%

ASL 3.6%

JavaScript 3.2%

C# 2.9%

Other 4.6%