This repository contains a partially updated version of the IronFleet project in accordance with updates to Dafny. Due to "dafny-lang/dafny#301" It is highly recomended to manually build dafny from the following commit: e9f5c05d59919eb7a23e10ad47318a8692843551
To learn about verifying batches of files on a mac see the the related README file.
To learn more about the IronFleet project, please see the related README file.