search for: ramalho

On Tue, 12 Feb 2019, 14:32 Paulo Matos <pmatos at linki.tools wrote: > > > On 12 February 2019 18:59:21 CET, Mikhail Ramalho < > mikhail.ramalho at gmail.com> wrote: > >I _think_ there is a problem with the license as well: Z3 is MIT, so > >clang > >would have to be released with Z3's license. > > I don't think that's a problem. You are not releasing z3 with clang. This > i...

OK, I've managed to do it: I was trying to push it from a build/ directory, maybe that's why the git apply was failing. Pushing the commit from the root of the repo worked. Em qua, 28 de nov de 2018 às 16:40, Mikhail Ramalho < mikhail.ramalho at gmail.com> escreveu: > Hi, > > The patch only changes one file in clang. Here's the patch: > https://reviews.llvm.org/D54974 > > Attached the log. It seems to complain about the git apply -p2. > > Maybe it's something related to arc? >...

...t-subprogram.ll... Checking patch test/Transforms/GCOVProfiling/three-element-mdnode.ll... Patch doesn't apply: maybe you should try `git pull -r` first? From: llvm-dev [mailto:llvm-dev-bounces at lists.llvm.org] On Behalf Of via llvm-dev Sent: Wednesday, November 28, 2018 2:39 PM To: mikhail.ramalho at gmail.com; jyknight at google.com Cc: llvm-dev at lists.llvm.org; vedant_kumar at apple.com Subject: Re: [llvm-dev] 'git llvm push' not working for me on Windows And now it's failing for me also… complaining about "no such file or directory" on a file that plainly exists....

Excellent, thanks! --paulr From: James Y Knight [mailto:jyknight at google.com] Sent: Thursday, November 29, 2018 12:00 PM To: Robinson, Paul Cc: Mikhail Ramalho; vedant_kumar at apple.com; llvm-dev Subject: Re: [llvm-dev] 'git llvm push' not working for me on Windows Aha! From your output I figured out what I screwed up. Sorry about the trouble... Illustration of the issue: svn checkout --depth=empty https://llvm.org/svn/llvm-project svn update -...

...43 0.038 * RABINT / TREE r 0 1.000 RABINT / SHRU r 0 1.000 RABINT / HERB r 0.0261879 0.340 RABINT / SEDG r -0.0320345 0.316 RABINT / GRAS r 0.0124263 0.399 Thank you in advance for your help, Regards, C. -- Cristina E. Ramalho PhD Candidate MSc in GIS Ecosystem Restoration & Intervention Ecology Research Group School of Plant Biology (M090) The University of Western Australia 35 Stirling Highway, Crawley WA 6009 Perth, Australia Phone: +61 (08) 6488 4655; Fax: +61 (08) 6488 7461 www.plants.uwa.edu.au/research/ecosys...

...at 1:18 PM via llvm-dev <llvm-dev at lists.llvm.org<mailto:llvm-dev at lists.llvm.org>> wrote: Excellent, thanks! --paulr From: James Y Knight [mailto:jyknight at google.com<mailto:jyknight at google.com>] Sent: Thursday, November 29, 2018 12:00 PM To: Robinson, Paul Cc: Mikhail Ramalho; vedant_kumar at apple.com<mailto:vedant_kumar at apple.com>; llvm-dev Subject: Re: [llvm-dev] 'git llvm push' not working for me on Windows Aha! From your output I figured out what I screwed up. Sorry about the trouble... Illustration of the issue: svn checkout --depth=empty https:...

We are currently implementing the backends for other solvers (you can follow the progress here: https://github.com/mikhailramalho/clang). So far we got Boolector, MathSAT and Yices ready. CVC4 should be done soon. When used to refute bugs, they all give roughly the same results: a ~5% speedup if there are refuted bugs or a ~5% slowdown if no bug is refuted. I've only tried to analyze one full project (tmux) with Yices;...

...? BTW, I've just committed a fix for the handling of binary patch data when you're running it under python3.X. I don't believe that was a regression from my recent changes, but if you're using python3, you could see if that fixes it for you. On Tue, Nov 27, 2018 at 7:20 PM Mikhail Ramalho via llvm-dev < llvm-dev at lists.llvm.org> wrote: > I'm facing this now on Linux. > > Any idea how to fix it? > > Em seg, 26 de nov de 2018 às 20:22, via llvm-dev <llvm-dev at lists.llvm.org> > escreveu: > >> I've verified that none of the files I tri...

Hi all, Currently studying the impact of SMT solvers on Clang SA. Can anyone help in telling more about the SMT solvers use in clang SA ? ( Have already tested Z3 SMT solver implemented in GSoC 2018 , also looking for other SMT solvers if possible ) Thanks, Siddharth -------------- next part -------------- An HTML attachment was scrubbed... URL:

...each panel - the dots with Urb=1 filled in black; and the dots with Urb=0 filled in white I've been back and forwards, trying to use panel function, but I didn't manage to do it right... Thank you for your help in advance. Regards, C. ------------------------------------ Cristina Estima Ramalho PhD Candidate MSc in GIS Ecosystem Restoration Lab School of Plant Biology (M090) The University of Western Australia 35 Stirling Highway, Crawley WA 6009 Perth, Australia Phone: +61 (08) 6488 4655; Fax: +61 (08) 6488 7461 www.plants.uwa.edu.au/research/ecosystem_restoration ----------------------...

Hi, I need to generate two normal variables with covariance matrix: 0.25, 0.20 0.20, 0.25 but I have no idea how to do that. Can anyone help me? Thanks, Joaquim ---------------------------------------------------------------------------- ---------- Joaquim J. S. Ramalho University of Bristol Department of Economics 8 Woodland Road Bristol BS8 1TN United Kingdom ---------------------------------------------------------------------------- ---------- E-mail: J.J.Ramalho at bristol.ac.uk Home page: http://www.decon.uevora.pt/docente/JRamalho --------------------------...

I _think_ there is a problem with the license as well: Z3 is MIT, so clang would have to be released with Z3's license. On Tue, 12 Feb 2019, 09:24 Roman Lebedev via cfe-dev <cfe-dev at lists.llvm.org wrote: > On Tue, Feb 12, 2019 at 4:13 PM Paulo Matos via cfe-dev > <cfe-dev at lists.llvm.org> wrote: > > > > Hello, > > > > I am trying to run scan-build

...GMM and empirical likelihood methods. Is there any alternative nonlinear optimization command in R? In the help file it is said that "nlm" is only a preliminary version, is it expected to replace/improve it soon? Does anyone have any alternative algorithm? Thanks for your help, Joaquim Ramalho Department of Economics University of Bristol -.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.- r-help mailing list -- Read http://www.ci.tuwien.ac.at/~hornik/R/R-FAQ.html Send "info", "help", or "[un]subscribe" (in the "body",...

I've verified that none of the files I tried to check in had Windows-style line endings. It's something else. --paulr From: vsk at apple.com [mailto:vsk at apple.com] On Behalf Of Vedant Kumar Sent: Thursday, November 22, 2018 9:38 AM To: Robinson, Paul Cc: zturner at google.com; jyknight at google.com; llvm-dev at lists.llvm.org Subject: Re: [llvm-dev] 'git llvm push' not working

Hi, I created several figures and their titles should appear like this: Figure 1: Monte Carlo results for alternative estimators of structural parameters (N = 100, T = 5) Because N and T change across figures, my code includes the following lines: N.set <- 100 T.set <- 5 mtext(“Figure 1: Monte Carlo results for alternative estimators of structural

...imple and worked before: library(XML) x <- readHTMLTable('url') where the 'url' is the link to the website with the specification of the vessel. I appreciate any help. Cristina -- Cristina Silva Divis?o de Modela??o e Gest?o de Recursos Pesqueiros Av. Dr. Alfredo Magalh?es Ramalho 1495-165 Lisboa @: csilva at ipma.pt <mailto:csilva at ipma.pt> #: +351 213027096 <phoneto:+351213027096> [[alternative HTML version deleted]]

Hey. I found references to my problem 'scp: command not found' in the archives. But I could not find a solution to this problem. Could someone please help me out here? Info: OpenSSH 1.2.3, RedHat 6.1 Thanks! -- Steve

I'm being PHBed into a VOIP project, and Speex sprang to mind. Bandwidth is going to be a fairly serious issue for us. With regards to a Speex enc/decoder, I was wondering: Rick Kane and David Siebert have already asked about this, but seem to have gotten very different responses - the former a call to arms, and the latter a "well, if you do it, it'll get done." What's the

I've actually got an implementation of this as an arbitrary precision integer extension that I've written up an RFC for (but not submitted). Below is my copy/pasted RFC (again, not reviewed, but I DO have an implementation of it that I need to prepare for review). I suspect my implementation will do what you need out of it. Its actually more significant than just adding a normal

...ceite nas actas da confer?ncia: 12 de Abril de 2013 SCIENTIFIC AND ORGANIZING COMMITTEE Manuel P?rez Cota, Universidad de Vigo (Chair) Adolfo Lozano Tello, Universidad de Extremadura Alberto J. Bugar?n Diz, Universidad de Santiago de Compostela ?lvaro Rocha, Universidade Fernando Pessoa Ana Maria Ramalho Correia, Universidade Nova de Lisboa, ISEGI Ant?nio Palma dos Reis, Universidade T?cnica de Lisboa, ISEG Arturo Mendez Pen?n, Universidade de Vigo Carlos Ferr?s Sexto, Universidad de Santiago de Compostela David Fonseca, Universidad Ram?n Llul Ernesto Redondo, Universidad Polit?cnica de Catalu?a Fe...