search for: santosa

Hallo , when I try to change user password on samba server i become this error : error connecting to 127.0.0.1:139 (Verbindungsaufbau abgelehnt) unable to connect to SMB server on machine 127.0.0.1. Error was : code 0. Failed to change password for bukhari if any someone I have an Idea please send me an E-Mail to "ufz6@rz.uni-karlsruhe.de" Thanks to All Amir Bukhari

Hi. I'm not subscribed to the list, so if you can help, please e-mail me or CC me in the response. I've been using Samba for quite a while, and just set up a 2.2.2 server with winbind support. Console logins and SMB access work fine, wbinfo -t reports "Secret is good", and wbinfo -r domain+ntuser shows the right group number. In fact, the UID/GIDs are translated properly when

I am also interested. Best, Andrew On Tuesday, 26 July 2016, 20:36, via llvm-dev <llvm-dev at lists.llvm.org> wrote: Message: 6 Date: Tue, 26 Jul 2016 18:12:48 +0800 From: Raymond Tay via llvm-dev <llvm-dev at lists.llvm.org> To: C Bergström <cbergstrom at pathscale.com> Cc: llvm-dev <llvm-dev at lists.llvm.org>, clang developer list <cfe-dev at

I'd just like to thank everyone who replied on this; the suggestions and resources are very helpful! ~Scott On Tue, Feb 9, 2016 at 8:38 PM, Andrew Santosa <santosa_1999 at yahoo.com> wrote: > 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 usually > incomplete, hence the approach may not verify...

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

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

depends on "autoconf: regenerate configure scripts with 4.4 version" This series removes some of the really old deadwood from the tools build and makes some other things which are on their way out configurable at build time with a default depending on how far down the slope I judge them to be. * nuke in tree copy of libaio * nuke obsolete tools: xsview, miniterm, lomount & sv *

Dear All, I got a little problem installing rhel 4u7. I have 4 x 146Gb disk on my server. 2 x 146 with raid 1 and 2 x 146 without raid. When I installing rhel 4u7 a got 3 disk /dev/sda, /dev/sdb and /dev/sdc The problem is, after I finish installing the os, there are another device appears in fdisk -l /dev/sda1, /dev/sdb1, /dev/sdc1, and /dev/dm-0p1. And i can't mount the /dev/sdb1 it said

Hello Everyone :), i''m using cbq.init version 7.1 for traffic shaper, the rule did work well with flat rule (without parent/child)..here the condition of my network : - have a DMZ (and i not want the traffic to DMZ be bounded) - i made the CBQ engine also a bridge and i put it before NAT server (so if

Hi all, I don't know if anybody already ask this question. Sorry if I repost it again. I googling already, but don't find any clue. I'm using centos 5.3, but why the /var/log/messages is empty. Even the sylogd daemon is run. Me already compare /etc/syslog.conf with another centos machine. The /etc/syslog.conf is same. Anybody know what happen? Many thanks. -- If knowledge belong to

I saw a .o file <mypath>/DreamListViewController.o among .bc files in your llvm-link command. Could that be the cause of the problem? Andrew On Tuesday, 19 September 2017, 11:08:40 pm GMT+8, via llvm-dev <llvm-dev at lists.llvm.org> wrote: Date: Mon, 18 Sep 2017 13:28:52 -0700 From: Jack Carter via llvm-dev <llvm-dev at lists.llvm.org> To: via llvm-dev <llvm-dev at