Skip to content

Modified Device API to get references to Pinocchio rather than pointers.

Nicolas Mansard requested to merge nmansard:topic/ptr into master

This PR should be merged after #28

Merge request reports