Re: [Mono-dev] Heads up: Elimination of the 2.0 and 4.0 profiles
Are there any plans on updating monodevelop and its dependent libraries to build with 4+. Believe i've already seen issues building monodevelop ( or a submodule) with mono (git) sorry no details as I didn't really look at it. On Sat, Jan 10, 2015 at 11:09 AM, Zoltan Varga wrote: > Hi, > > It should be ok to do the NET_2_0 define removal now. > >Zoltan > > On Wed, Oct 22, 2014 at 4:04 PM, akoeplinger > wrote: > >> Sounds like a good thing ;-) >> >> I've got a branch in my fork where I removed the NET_2_0 ifdefs: >> https://github.com/akoeplinger/mono/compare/remove-net20-ifdefs, @kumpera >> told me a while ago that removing the 2.0 profile is on the horizon when I >> asked about why the ifdefs are still there. >> >> I refrained from making a PR so far because it is quite huge, do you think >> now would be a good time? >> >> -- Alex >> >> >> >> -- >> View this message in context: >> http://mono.1490590.n4.nabble.com/Heads-up-Elimination-of-the-2-0-and-4-0-profiles-tp4664323p4664325.html >> Sent from the Mono - Dev mailing list archive at Nabble.com. >> ___ >> Mono-devel-list mailing list >> Mono-devel-list@lists.ximian.com >> http://lists.ximian.com/mailman/listinfo/mono-devel-list >> > > > ___ > Mono-devel-list mailing list > Mono-devel-list@lists.ximian.com > http://lists.ximian.com/mailman/listinfo/mono-devel-list > > ___ Mono-devel-list mailing list Mono-devel-list@lists.ximian.com http://lists.ximian.com/mailman/listinfo/mono-devel-list
Re: [Mono-dev] Heads up: Elimination of the 2.0 and 4.0 profiles
Hi, It should be ok to do the NET_2_0 define removal now. Zoltan On Wed, Oct 22, 2014 at 4:04 PM, akoeplinger wrote: > Sounds like a good thing ;-) > > I've got a branch in my fork where I removed the NET_2_0 ifdefs: > https://github.com/akoeplinger/mono/compare/remove-net20-ifdefs, @kumpera > told me a while ago that removing the 2.0 profile is on the horizon when I > asked about why the ifdefs are still there. > > I refrained from making a PR so far because it is quite huge, do you think > now would be a good time? > > -- Alex > > > > -- > View this message in context: > http://mono.1490590.n4.nabble.com/Heads-up-Elimination-of-the-2-0-and-4-0-profiles-tp4664323p4664325.html > Sent from the Mono - Dev mailing list archive at Nabble.com. > ___ > Mono-devel-list mailing list > Mono-devel-list@lists.ximian.com > http://lists.ximian.com/mailman/listinfo/mono-devel-list > ___ Mono-devel-list mailing list Mono-devel-list@lists.ximian.com http://lists.ximian.com/mailman/listinfo/mono-devel-list
Re: [Mono-dev] CodeContacts open sourced
See below. On Friday, January 9, 2015, Miguel de Icaza wrote: > > Regarding XS/MD support for the code contracts tools, there are really >> two pieces. >> >> The first is to port/reimplement the VS addin. It doesn't look >> particularly complex, a proof of concept might only take a couple of >> days. >> > > This would be glorious. They seem to be doing some kind of > source-analysis like support, where they show potential problems. > It's not source analysis it theorem proving think formal proving a la eiffel It's a massive!!! task (like 5-10 man years) to bring it in as you need to put contracts on all of the mono code This is part of why it has not done well for Microsoft is much of the framework lacks co tracts which makes the theorem prover very difficult to use (needs tons of assume clauses) Greg > > The second is figuring out how to build and ship the analysis tools, >> contract annotations and MSBuild tasks. AFAIK On Windows they're >> shipped in a MSI installer, but there are scripts to build a NuGet >> package too, though it doesn't seem to be on the public NuGet server. >> > > I think we could ship this with Mono itself (once we figure out how to > build it). > > I tried to build it, but failed.Then again, I tried to build on > Windows, and failed too :-) > > miguel > -- Studying for the Turing test ___ Mono-devel-list mailing list Mono-devel-list@lists.ximian.com http://lists.ximian.com/mailman/listinfo/mono-devel-list
Re: [Mono-dev] CodeContacts open sourced
> Regarding XS/MD support for the code contracts tools, there are really > two pieces. > > The first is to port/reimplement the VS addin. It doesn't look > particularly complex, a proof of concept might only take a couple of > days. > This would be glorious. They seem to be doing some kind of source-analysis like support, where they show potential problems. The second is figuring out how to build and ship the analysis tools, > contract annotations and MSBuild tasks. AFAIK On Windows they're > shipped in a MSI installer, but there are scripts to build a NuGet > package too, though it doesn't seem to be on the public NuGet server. > I think we could ship this with Mono itself (once we figure out how to build it). I tried to build it, but failed.Then again, I tried to build on Windows, and failed too :-) miguel ___ Mono-devel-list mailing list Mono-devel-list@lists.ximian.com http://lists.ximian.com/mailman/listinfo/mono-devel-list
[Mono-dev] [PR 896] ReusableHashAlgorithm doesn't set the Key of the ValidationAlgorithm
Hi, This PR is nearly 1 year old, can someone review and merge please :) https://github.com/mono/mono/pull/896 (we are using it since 1 year in production) Thanks in advance Etienne ___ Mono-devel-list mailing list Mono-devel-list@lists.ximian.com http://lists.ximian.com/mailman/listinfo/mono-devel-list
