search

Whiley / WhileyCompiler

The Whiley Compiler (WyC)
http://whiley.org
Apache License 2.0
219 stars 36 forks source link

Should Build.Task implement Build.Artifact ? #1090

Closed DavePearce closed 2 years ago

DavePearce commented 3 years ago

This is not making much sense in the context of Boogie. I need to dig out why I did this.