search for: goodenough

For a while now I have had a problem running Notes on Debian Wine. Most of the time it runs just fine, but whenever I try to open a mail document which has an attachment Notes just terminates. I have the log and the relevant bit seems to say:- err:syslevel:_CheckNotSysLevel Holding lock 0x41311700 level 3 wine: Unhandled exception (thread 0009), starting debugger... WineDbg starting on pid 0x8

avid.Goodenough@DGA.co.uk wrote: > I have just tried to fire up MindManager under Wine. It installed cleanly > (as far as I can tell) and successfully created an icon on my KDE desktop.. > > When I try to run it however, it first complains about a fixme in > CreateAcceleratorTableA, which I think...

Does anyone know of contributions to R for solving sparse linear systems? In particular for spatial stats I am interested in solving large positive definite symmetric systems. Thanks in advance, Doug ----------------------------------------------------------------------------- Doug Nychka, Geophysical Statistics Project Email: nychka at ucar.edu National Center for Atmospheric

http://techworld.com/opsys/news/index.cfm?NewsID=3064 The fact that they talk about Notes (the client) rather than Domino (the server) suggests that they may be running the Notes client (as I and many others do) under Linux, and the only way I know of to do this is to use Wine. David

LLBMC http://llbmc.org uses bounded model checking technique to find errors in LLVM IR.Model checking is essentially search, and since LLBMC is bounded, the search for errors is usuallyincomplete, hence the approach may not verify the entire program, however, it may be goodenough to find interesting errors. Best wishes,Andrew On Monday, 8 February 2016, 21:54, Scott Santucci via llvm-dev <llvm-dev at lists.llvm.org> wrote: Hello, all,My name is Scott Santucci and I'm a software developer kicking around various wild ideas. (I wish I had something more i...

Hello, all, My name is Scott Santucci and I'm a software developer kicking around various wild ideas. (I wish I had something more interesting to say about myself than that, but nothing comes to mind; my day job is in SQL and Java, nothing to do with LLVM.) I am wondering whether anyone has tried using LLVM to apply formal verification to program code. I'm thinking about trying to

...posts in 10 K by Andreas Mohr <a.mohr@mailto.de> * 3 posts in 0 K by Robert O'Callahan <roc+@cs.cmu.edu> * 2 posts in 7 K by "Patrik Stridvall" <ps@leissner.se> * 2 posts in 6 K by gerard patel <gerard.patel@asi.fr> * 2 posts in 5 K by David.Goodenough@dga.co.uk * 2 posts in 23 K by Martin Pilka <mpilka@codeweavers.com> local IP and registry Issue Alan Chandler wrote: "I spent most of the weekend trying to get Grand Prix Legends GPL to work. I achieved my first goal of getting it to run in server mode....

...posts in 10 K by Andreas Mohr <a.mohr@mailto.de> * 3 posts in 0 K by Robert O'Callahan <roc+@cs.cmu.edu> * 2 posts in 7 K by "Patrik Stridvall" <ps@leissner.se> * 2 posts in 6 K by gerard patel <gerard.patel@asi.fr> * 2 posts in 5 K by David.Goodenough@dga.co.uk * 2 posts in 23 K by Martin Pilka <mpilka@codeweavers.com> local IP and registry Issue Alan Chandler wrote: "I spent most of the weekend trying to get Grand Prix Legends GPL to work. I achieved my first goal of getting it to run in server mode....