On 2019-07-01 8:59 p.m., Paul E. McKenney wrote:
> On Tue, Jul 02, 2019 at 05:58:48AM +0530, Akshat Garg wrote:
>> On Tue, Jun 25, 2019 at 9:49 PM Akshat Garg wrote:
>>
>>> On Tue, Jun 25, 2019 at 4:04 PM Ramana Radhakrishnan <
>>> ramana@googlemail.com> wrote:
>>>
On Tue, Jun 25, 2019
On Tue, Jul 02, 2019 at 05:58:48AM +0530, Akshat Garg wrote:
> On Tue, Jun 25, 2019 at 9:49 PM Akshat Garg wrote:
>
> > On Tue, Jun 25, 2019 at 4:04 PM Ramana Radhakrishnan <
> > ramana@googlemail.com> wrote:
> >
> >> On Tue, Jun 25, 2019 at 11:03 AM Akshat Garg wrote:
> >> >
> >> > As we ha
On Tue, Jun 25, 2019 at 9:49 PM Akshat Garg wrote:
> On Tue, Jun 25, 2019 at 4:04 PM Ramana Radhakrishnan <
> ramana@googlemail.com> wrote:
>
>> On Tue, Jun 25, 2019 at 11:03 AM Akshat Garg wrote:
>> >
>> > As we have some working front-end code for _Dependent_ptr, What should
>> we do next?
On 7/1/19 5:01 PM, Gary Oblock wrote:
> On 7/1/19 3:08 PM, Jeff Law wrote:
>> External Email
>>
>> --
>> On 7/1/19 3:58 PM, Gary Oblock wrote:
>>> I've been looking at trying to optimize the performance of code for
>>> programs tha
On 7/1/19 3:08 PM, Jeff Law wrote:
> External Email
>
> --
> On 7/1/19 3:58 PM, Gary Oblock wrote:
>> I've been looking at trying to optimize the performance of code for
>> programs that use functions like qsort where a function is
On 7/1/19 3:58 PM, Gary Oblock wrote:
> I've been looking at trying to optimize the performance of code for
> programs that use functions like qsort where a function is passed the
> name of a function and some constant parameter(s).
>
> The function qsort itself is an excellent example of what I'm
I've been looking at trying to optimize the performance of code for
programs that use functions like qsort where a function is passed the
name of a function and some constant parameter(s).
The function qsort itself is an excellent example of what I'm trying to show
what I want to do, except for be
On 7/1/19 10:33 AM, Richard Biener wrote:
On Mon, Jul 1, 2019 at 4:55 PM Martin Sebor
wrote:>
[Adding gcc-patches]
Richard, do you have any further comments or is the revised patch
good to commit?
No further comments from my side - it's good to commit.
After running a full bootstrap with
> Am I totally on the wrong track here?
That depends on what you want your assumptions to do. This definitely
doesn't solve the problems I'm having implementing C++ contracts,
especially axioms, which can involve declarations of undecidable
functions. For example, is_reachable(p, q) for a pair of
On Mon, Jul 1, 2019 at 4:55 PM Martin Sebor wrote:>
> [Adding gcc-patches]
>
> Richard, do you have any further comments or is the revised patch
> good to commit?
No further comments from my side - it's good to commit.
Richard.
> Martin
>
> On 6/25/19 2:30 PM, Martin Sebor wrote:
> > On 6/25/19
[Adding gcc-patches]
Richard, do you have any further comments or is the revised patch
good to commit?
Martin
On 6/25/19 2:30 PM, Martin Sebor wrote:
On 6/25/19 3:53 AM, Jonathan Wakely wrote:
On 24/06/19 19:42 +0200, Richard Biener wrote:
On Mon, Jun 24, 2019 at 4:35 PM Martin Sebor wrote:
Hi.
This is updated version of the zstd patch that should handle all what Joseph
pointed out.
Patch can bootstrap on x86_64-linux-gnu and survives regression tests.
Ready to be installed?
Thanks,
Martin
>From 5d2006c9c4d481f4083d5a591327ee64847b0bf7 Mon Sep 17 00:00:00 2001
From: Martin Liska
D
Hi.
Ok, so there's a version with added ChangeLog that survives regression tests.
Ready to be installed?
Thanks,
Martin
>From e6745583dc4b7f5543878c0a25498e818531f73e Mon Sep 17 00:00:00 2001
From: Martin Liska
Date: Fri, 21 Jun 2019 12:14:04 +0200
Subject: [PATCH 1/2] Add .gnu.lto_.lto section.
Hello, I have an ubuntu.
I installed gcc 5 to be able to install gcj (because gcj is no longer
distributed with the new version of gcc).when I run apt-cache search gcj I get
this :
gcj-5-jdk - GCJ and Classpath development tools for Java(TM)
I tried then to install it by running apt-get instal
14 matches
Mail list logo
