Awesome

Corelib Verification

Verification of Cairo's Corelib using Aegis.

Currently based on version a429d8ad4 of Corelib, compiled using --inlining_strategy avoid and removing all occurrences of inline(always).