tobiasgrosser wrote:
Sure, this works for me. Thank you @Meinersbur for all your work here. I am
happy to help out if this is useful.
https://github.com/llvm/llvm-project/pull/118309
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://list
Dear all,
WEDNESDAY 12th Dec, 19:00, we will have Sebastian Ullrich presenting on the
Zurich LLVM Compiler Social:
===
Towards Lean 4: An Optimized Object Model for an Interactive Theorem Prover
Lean 4, the next
Dear LLVM and compiler interested people,
next Thursday, 19:00, we will have two exciting tech-talks at the LLVM compiler
social!
# The Lean Theorem Prover
Lean is a new theorem prover using dependent type theory (DTT). Lean 3 gained
support for meta programming, employing dependent types not
On Mon, Aug 6, 2018, at 15:42, Tobias Grosser wrote:
> Dear LLVM and compiler interested people,
>
> this Thursday, 19:00, Dr. Oleksandre Zinenko will present Tensor-
> Comprehension, a Deep-Learning compiler jointly developed by Facebook,
> ENS Paris, and ETH Zurich at the LLVM compiler social.
Dear LLVM and compiler interested people,
this Thursday, 19:00, Dr. Oleksandre Zinenko will present Tensor-Comprehension,
a Deep-Learning compiler jointly developed by Facebook, ENS Paris, and ETH
Zurich at the LLVM compiler social.
Tech-Talk: Deep Learning is the Killer App for Polyhedral Comp
On Mon, Dec 19, 2016, at 09:07 AM, Daniel Jasper wrote:
> Yeah, I just saw that when fixing polly format. I'll take a look.
You then probably also saw the second issue:
-Type *Params[] = {PointerType::getUnqual(FunctionType::get(
- Builder.getVoidTy(), Builder.getInt8
Hi Daniel,
this commit introduce an unnecessary string split, which does not seem
to be an intended result of the formatting style change this commit
introduced:
BEFORE:
#define SCOP_STAT(NAME, DESC)
llvm::Statistic RejectStatistics[] = {
SCOP_STAT(CFG, ""),
SCOP_STAT(InvalidTerminator,
On 12/01/2015 02:05 AM, David Blaikie wrote:
On Mon, Nov 30, 2015 at 5:00 PM, Galina Kistanova mailto:gkistan...@gmail.com>> wrote:
Hi David,
Thank you for the useful suggestions, I will work on these.
>I guess the entries with no entry in the failed column have zero failures?
On 11/10/2015 11:42 PM, Jonathan Roelofs wrote:
Fixed for real in r252662.
Confirmed. Thank you for addressing this so quickly.
Tobias
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commit
On 11/10/2015 09:05 PM, Jonathan Roelofs wrote:
On 11/10/15 12:48 PM, Tobias Grosser wrote:
On 11/09/2015 05:12 PM, Jonathan Roelofs via cfe-commits wrote:
Author: jroelofs
Date: Mon Nov 9 10:12:56 2015
New Revision: 252474
URL: http://llvm.org/viewvc/llvm-project?rev=252474&view=rev
Log:
C
On 11/09/2015 05:12 PM, Jonathan Roelofs via cfe-commits wrote:
Author: jroelofs
Date: Mon Nov 9 10:12:56 2015
New Revision: 252474
URL: http://llvm.org/viewvc/llvm-project?rev=252474&view=rev
Log:
Create install targets for scan-build and scan-view
Hi Jonathan,
this is probably not the comm
On 10/20/2015 11:37 PM, David Blaikie wrote:
On Tue, Oct 20, 2015 at 2:24 PM, Tobias Grosser via cfe-commits
mailto:cfe-commits@lists.llvm.org>> wrote:
On 10/20/2015 02:56 PM, Angel Garcia Gomez via cfe-commits wrote:
Author: angelgarcia
Date: Tue Oct 20 07:56:2
On 10/20/2015 02:56 PM, Angel Garcia Gomez via cfe-commits wrote:
Author: angelgarcia
Date: Tue Oct 20 07:56:27 2015
New Revision: 250824
URL: http://llvm.org/viewvc/llvm-project?rev=250824&view=rev
Log:
Apply modernize-use-default to clang-tools-extra.
Summary: Replace empty bodies of default
13 matches
Mail list logo
