"Paul A. Steckler" writes:
> That helps a bit for some issues, but I think most of the bugs in the
> async branch mostly relate to maintaining unstated or unknown
> invariants in the implementation.
Umm, I'm not sure I share that view, I'd dare to say that for a start the
new protocol would
On 29/11/2018 14.11, Emilio Jesús Gallego Arias wrote:
> Clément Pit-Claudel writes:
>>> Note even for the mainline, coqtop-based branch, many hacks in the code
>>> could be removed today if so we wished.
>>
>> I'm not sure I understand this part
>
> See for example:
>
> -
Stefan Monnier writes:
>> In my opinion, it seems very likely that the branch will never reach a
>> working state; mainly because it would be hard to justify putting time
>> to fix it when you have other alternatives that allow a much lightweight
>> and robust implementation.
>
> I'm not up to
Clément Pit-Claudel writes:
>> Note even for the mainline, coqtop-based branch, many hacks in the code
>> could be removed today if so we wished.
>
> I'm not sure I understand this part
See for example:
- https://github.com/coq/coq/issues/7591
- https://github.com/ProofGeneral/PG/issues/212
> In my opinion, it seems very likely that the branch will never reach a
> working state; mainly because it would be hard to justify putting time
> to fix it when you have other alternatives that allow a much lightweight
> and robust implementation.
I'm not up to speed on those alternatives.
On Thu, Nov 29, 2018 at 9:35 AM Emilio Jesús Gallego Arias wrote:
> In my opinion, it seems very likely that the branch will never reach a
> working state; mainly because it would be hard to justify putting time
> to fix it when you have other alternatives that allow a much lightweight
> and
Hi Pierre,
Le jeudi 29 novembre 2018 à 17:48 +0100, Pierre Courtieu a écrit :
> Is a student having a 6 year old linux distrib really worth worrying?
> (just kidding).
For Ubuntu 14.04 I guess you just mean 4 years old (or 4.5)… as we’re
still in 2018 ;)
Actually what might be interesting when
Le jeu. 29 nov. 2018 à 12:12, Erik Martin-Dorel
a écrit :
>
> Hi Pierre,
>
> Le jeudi 29 novembre 2018 à 10:35 +0100, Pierre Courtieu a écrit :
> > Do we really want to be compatible with ubuntu 14.04? I mean there are
> > 18.04 and now 20.04 out there...
>
> Indeed it may seem quite an old
On 29/11/2018 06.12, Erik Martin-Dorel wrote:
> Clément and Pierre, what do you think about this?
Sounds good to me
signature.asc
Description: OpenPGP digital signature
___
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
Hi Pierre,
Le jeudi 29 novembre 2018 à 10:35 +0100, Pierre Courtieu a écrit :
> Do we really want to be compatible with ubuntu 14.04? I mean there are
> 18.04 and now 20.04 out there...
Indeed it may seem quite an old release… but the EOL of Ubuntu 14.04
will just take place in April 2019 (and
Thanks a lot Stefan,
I am very worried about the async branch. Its state is not usable at
this moment (lots of bugs) imho and we have nobody to maintain and fix
it currently.
Do we really want to be compatible with ubuntu 14.04? I mean there are
18.04 and now 20.04 out there...
P.
Le jeu. 29
11 matches
Mail list logo
