PIR: round trip capability #184

Open

Assignees

Labels

opened

on Nov 13, 2024

Add a capability to compare the data structures produced by the lifting to C with the data structures produced by CIL from the printed version of that lifting. The goal is to have the two sets of data structures match.

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

sipma

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests