search

rse-verification / interface-specification-propagator

GNU General Public License v2.0
0 stars 0 forks source link

Fix inference of annotations related to structs #15

Closed woosh closed 2 months ago

woosh commented 2 months ago

Fixes #6

This PR introduces code to support structs as function arguments and return values. It supports typedef and nested structs.