Ubuntu

cbmc binary package in Ubuntu Xenial ppc64el

CBMC generates traces that demonstrate how an assertion can be violated, or
proves that the assertion cannot be violated within a given number of loop
iterations.

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Phased updates	Version
	2016-01-21 07:49:06 UTC	Published	Ubuntu Xenial ppc64el	release	universe	science	Extra		5.3-1
Published on 2016-01-21 Copied from ubuntu xenial-proposed ppc64el in Primary Archive for Ubuntu
		Deleted	Ubuntu Xenial ppc64el	proposed	universe	science	Extra		5.3-1
Removal requested on 2016-01-21. Deleted on 2016-01-21 by Ubuntu Archive Robot moved to release Published on 2016-01-21
	2016-01-21 07:49:59 UTC	Superseded	Ubuntu Xenial ppc64el	release	universe	science	Extra		5.2-1
Removed from disk on 2016-01-22. Removal requested on 2016-01-22. Superseded on 2016-01-21 by ppc64el build of cbmc 5.3-1 in ubuntu xenial PROPOSED Published on 2015-10-26 Copied from ubuntu xenial-proposed ppc64el in Primary Archive for Ubuntu
	2016-01-22 12:10:10 UTC	Deleted	Ubuntu Xenial ppc64el	proposed	universe	science	Extra		5.2-1
Removed from disk on 2016-01-22. Removal requested on 2015-10-26. Deleted on 2015-10-26 by Ubuntu Archive Robot moved to release Published on 2015-10-24
	2015-10-26 13:21:02 UTC	Superseded	Ubuntu Xenial ppc64el	release	universe	science	Extra		5.1-1
Removed from disk on 2018-01-22. Removal requested on 2015-10-27. Superseded on 2015-10-26 by ppc64el build of cbmc 5.2-1 in ubuntu xenial PROPOSED Published on 2015-10-22 Copied from ubuntu wily-proposed ppc64el in Primary Archive for Ubuntu

Source package

cbmc package in Ubuntu