aeneas icon indicating copy to clipboard operation
aeneas copied to clipboard

Published 20 hours ago • verified publisher icon AeneasVerif

Add headers to the copied Primitives.{fst,v} files

Open sonmarcho opened this issue 1 year ago • 1 comments
trafficstars

We need to add a header "THIS FILE WAS AUTOMATICALLY GENERATED BY AENEAS" to the copied files

sonmarcho avatar May 24 '24 14:05 sonmarcho