search

frankpfenning / C0

C0 Language
4 stars 0 forks source link

C# compiler is out of date #45

Open robsimmons opened 11 years ago

robsimmons commented 11 years ago

Low priority, but the cc0-to-C# should eventually be looked at, and the regression (make checkcsharp) should be brought back up-to-date.

frankpfenning commented 11 years ago

Yes, this is low priority. The reason we built this is to see if we can tie in tools for static verification, test case generation, etc. that have been built for C#. If someone takes up this line of research again (at the moment there are no plans), then whoever it is can bring C# up to date. The language spec keeps a history log, so language changes are documented.

We should mark this in the README, and also mark the analysis features as "unreleased". Right now, students can see "static analysis options" which should be hidden, or at least clearly flagged as research in progress.

robsimmons commented 11 years ago

I just commented out --static-check and --verif-check in r250... this means that nullness checking is also out? What's the call there for s12?

frankpfenning commented 11 years ago

I'll take a look at null checking today.

The lack of realistic tests was one of the issues, but that is resolved now.

On Mon, Dec 31, 2012 at 12:01 AM, Robert J. Simmons < notifications@github.com> wrote:

I just commented out --static-check and --verif-check in r250... this means that nullness checking is also out? What's the call there for s12?

— Reply to this email directly or view it on GitHubhttps://github.com/frankpfenning/C0/issues/45#issuecomment-11772678.