Export lattice definitions to ATerm file that already has the transfer functions
Also: come up with a good name for this file since it won’t just hold the transfer functions. The static code export file?Submitted by Jeff Smits on 10 November 2017 at 14:53
On 21 June 2018 at 15:00 Jeff Smits closed this issue.
Log in to post comments