LLVM Compiler Social, Towards Lean 4 -- An Optimized Object Model for an Interactive Theorem Prover (Wednesday 12th)

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

Zurich LLVM Compiler Social, Tech-Talks: Compilers meet Isabelle & The Lean Theorem Prover (Thursday 13th)

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

Re: This Thursday -> LLVM Compiler Social, Tech-Talk: Deep Learning is the Killer App for Polyhedral Compilation

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.

This Thursday -> LLVM Compiler Social, Tech-Talk: Deep Learning is the Killer App for Polyhedral Compilation

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

Re: r290084 - clang-format: Allow "single column" list layout even if that violates the

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(),

Re: r290084 - clang-format: Allow "single column" list layout even if that violates the

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, ""),

Re: Buildbot numbers for week of 11/22/2015 - 11/28/2015

On 12/01/2015 02:05 AM, David Blaikie wrote: On Mon, Nov 30, 2015 at 5:00 PM, Galina Kistanova > wrote: Hi David, Thank you for the useful suggestions, I will work on these. >I guess the entries with no entry in the failed

Re: r252474 - Create install targets for scan-build and scan-view

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=rev Log: Create install targets for scan-build and scan-view Hi Jonathan, this is probably not the commit

Re: r252474 - Create install targets for scan-build and scan-view

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=rev Log:

Re: [clang-tools-extra] r250824 - Apply modernize-use-default to clang-tools-extra.

On 10/20/2015 11:37 PM, David Blaikie wrote: On Tue, Oct 20, 2015 at 2:24 PM, Tobias Grosser via cfe-commits <cfe-commits@lists.llvm.org <mailto:cfe-commits@lists.llvm.org>> wrote: On 10/20/2015 02:56 PM, Angel Garcia Gomez via cfe-commits wrote: Author: angelgarcia

Re: [clang-tools-extra] r250824 - Apply modernize-use-default to clang-tools-extra.

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=rev Log: Apply modernize-use-default to clang-tools-extra. Summary: Replace empty bodies of default