Prototype extension for translating foreign function specs to VeriFast. - #1533

Open

Herddex wants to merge 9 commits into

viperproject:masterfrom

Herddex:spec-translator

Commits on May 19, 2025

Implemented Spec Translating

Herddex
authored and
Herddex
committed
233c547

Commits on May 25, 2025

Implemented translated spec collecting.

Herddex
authored and
Herddex
committed
273b894

Commits on May 28, 2025

Implemented Verifast specification insertion.

Herddex
authored and
Herddex
committed
d565063

Commits on Jun 10, 2025

Shared References Support

Herddex
authored and
Herddex
committed
ccf66cc

Commits on Jun 15, 2025

Final version

Herddex
authored and
Herddex
committed
037e475
Small Renaming

Herddex
authored and
Herddex
committed
95c4c35

Commits on Jun 19, 2025

Fixed external verification error messaging.

Herddex
authored and
Herddex
committed
6cc32db

Commits on Jul 1, 2025

Simplify example

Herddex
authored and
Herddex
committed
20e2d62
Moved tanslator property to extern_spec

Herddex
authored and
Herddex
committed
91868ee