search for: ndu

.... I use Alive2 all the time, and it would be fantastic to have it available online reliably. If we can get Alive1 up there too, that would be even better. I still use that to try to prove things where it's not obvious how to express the relationships in pure LLVM IR: https://rise4fun.com/Alive/NDu On Wed, Jun 17, 2020 at 4:05 PM Chris Lattner via llvm-dev < llvm-dev at lists.llvm.org> wrote: > This seems pretty clear cut to me - alive2 is a great tool, and I’d love > to see it get more visibility in the LLVM world. Would it make sense to > add a web page and make it feel m...

...vm-dev <llvm-dev at lists.llvm.org> wrote: > > > If we can get Alive1 up there too, that would be even better. I still > > use that to try to prove things where it's not obvious how to express > > the relationships in pure LLVM IR: > > https://rise4fun.com/Alive/NDu > > I don't expect it would be real hard to shoehorn alive1 into Compiler > Explorer, but Nuno and I will have to talk about whether we (or he, more > accurately) wants to keep supporting it. We might prefer to try to just > support use cases such as your example in alive2. alive...

Hello, I am new to LLVM and complier development, am more comfortable with logic gates. However, I am part of a research project that intends to develop a co-designed virtual machine reconfigurable computing, the virtual machine controls a reconfigurable fabric in addition to a microprocessor. The microprocessor may be an ARM and the system should employ a JIT to generate code for the

Hi all. We have a bunch of RHEL servers running Puppet. They are also connected to our Red Hat Satellite server. Currently we don''t have any master documentation system that stores all relevant information (i.e. type of server, hardware info, linux configuration, etc) about the servers. So what I''d like to do is implement some sort of system that can hold all this information.

I''ve used the nfs_share type to export NFS shares on server A: nfs_share { "": shares => ["/path/to/share/", "/path/to/another/share/"], share_access => "server.example.com" } The /etc/exports file on server A look like this: /path/to/share server.example.com(rw,sync)

Hello all. I''m trying to get my servers (syslog clients) to forward syslog-messages to a central syslog server. I''m using the "line" resource type to add the necessary entry to /etc/syslog.conf file, and I need a way to notify the syslog service to restart whenever the config file changes. Currently, this is what I''ve done: *service {syslog: ensure

Hi all, We have a number of server on which user "admin" exists, and that have manual modifications to its bashrc and bash_profile files. What I''d like to do is to host its user password from puppet master, but not the bash-files. I tries this (we''re running Puppet Enterprise 2): -- code start -- pe_accounts::user { ''admin'': password =>

Hi folks, I've been running a Compiler Explorer instance with Alive2 on a machine in my office, but availability has been poor due to random factors and of course recently it hasn't been easy or convenient to go in and fix things when the machine gets wedged. Nuno and I would like to ask the LLVM community if it's OK to point alive.llvm.org at a cloud machine that I've setup

Hello all, I''d like to have Puppet distributing one of your server''s (public) SSH keys, effectively doing the same as the ssh-copy-id command. Is there a build in puppet resource type for managing SSH keys. We''re running version 0.24.4 of puppet. Regards, Kenneth Holter --~--~---------~--~----~------------~-------~--~----~ You received this message because you are

...½ð°æ£¤ 950Ôª 9¡¢¿Ì¼»ú¡¡ DVD-ROM ½¨»ù¡¡20x ¡¡£¤250 ÃÀ´ï 16x £¤270 ½¨»ù 24x £¤310 ÈýÐÇ¡¡16x £¤300 ½¨ÐË¡¡16x £¤300 ʨÍõ 16x £¤200 ½¨ÐË¡¡24x £¤330 Ö¾ÃÀ¡¡16x £¤190 LG 24X £¤300 ºê»ù¡¡16x £¤210 Àí¹â¡¡24x £¤300 ½¨ÐË¡¡16x £¤200 Ë÷Äá¡¡16x £¤220 ÏÈ·æ¡¡16x £¤220 °ÂÃÀ¼Ó16x £¤190 ¶þ¡¢ÊýÂë²úÆ· ÈýÐÇYP-E32/E64/NDU £¤ 400/730/900Ôª JNC 886/264/896 £¤ 600/590/860Ôª ¼ÑÄÜA30/IXU 330 £¤1000/1700Ôª ¿Â´ïDC-3400/3900 £¤1450/1780Ôª Ë÷ÄáDSC-P5/DSC-P71 £¤ 2000/1700Ôª Èý¡¢±Ê¼Ç±¾µçÄÔ 1.¶«Ö¥TOSHIBA 1000XDVD (C1.06G/256M/15G/8XDVD/14.1"TFT/56K/2.3KG¹âÈí»¥»») 3800Ôª 1800CDRW (PIII1G/128M/20G/24XCD-RW/14.1"TFT/...

Hi, Need help on data recovery. Suddenly my disk device's geometry has been changed to something that doesnot make any sense. Its a 1.8TB in size and had only one single partition. Now I can see 3 partitions sde1, sde2 and sde2 of sizes 130M, 140GB and 10GB. Is there any way to recover data from these newly created disk devices? Thanks Paras.

...x0PE40FgZ1VN2yDATmqq+N0dmiM5+KbBNX2rmMrZTOVZAPOPak94jpV23c5y > ouEkvYtewjGdxF6TiBbfD/r/ZQqcTwmP/PVDKRw53nPqVTOkbqgJrz8Ap7WrHDel/6HLjpS0 > DkR7OnxeGRH2ewZCJtqB9a/1K55EIxS+olPgVTCPLDGl+lm/ZcJTsKdmgeXzigpcMbC+7iMa > LlKhK8KBhV//JYkY2BBU53rzTNW+N1wmH0Ndv9DrevNvnLCUj9Otz0IOyGmM79eSN6JM2oOY > NDU+v1WJvCWri4tLcOcMDMnmg8b7Eng2GlnnPU8RbTo1AsxiAlk5AmcFCp/ZAsLEFmj5j3N4 > rWL++2xe7l1dYwJLwkv63qGWv29rid+DXDF3leOie4Ze9PDE510QXFHVMOIsQ8lJ0Ag2BYqY > 0QNVUBexBK2PzWxboanIjEeyCLkzNsfB5+HfpPNF0wpMHg0Th2GtrjUAAt040S8dBtOeTj37 > Y3QcxB0I+cmiEjYqs5DLJDqHn8SSu0c/wTc3t9DFqb7bFagBv8Y3ivvZxJNeFLNbLgSPB...

I've been trying for the past week to get Samba and LDAP to work together as a PDC on my Gentoo box and allow some XP boxes to get in. I've read and followed the how-to's (emerged and unmergred more then a few times) My LDAP accounts all seem to work when I do the ssh test into them. Changing the domain in XP fails with the "network path not found error" even after all

...1bIIe0oWJctvLsNFGeum+bL3sd3D RR6oU/w1FFy5qmcVZYSX1iV+PXigWrlKLkWCBqXuKx+YhPH5pK5nJVGDXjC3Qa/CLbrXaoW2rS4C XfklXVJSGG/WCeUEKMuloRCXDaWuQurs9mHD/xsL5pighnf24kXjhX4WymUrqSci9NyGZo6joHk+ 3IC79z68Lsk/iZ4IJtiDT609l1qT8whSIkeYcs8lrFw1LA37YeUwN01llZ5L7rjUVFB6if4Xp186 fwplbmRzdHJlYW0KZW5kb2JqCjMxIDAgb2JqCjQ4NDUKZW5kb2JqCjMyIDAgb2JqCjw8IC9UeXBl IC9Gb250RGVzY3JpcHRvciAvQXNjZW50IDkwNSAvQ2FwSGVpZ2h0IDcyMyAvRGVzY2VudCAtMjEy IC9GbGFncyAzMgovRm9udEJCb3ggWy02NjUgLTMyNSAyMDI4IDEwMDZdIC9Gb250TmFtZSAvVkJV T0ZTK0FyaWFsTVQgL0l0YWxpY0FuZ2xlIDAgL1N0ZW1WCjAgL0xlYWRpbmcgMzMgL01heFdpZHRo IDIwMDAgL1hIZWlnaHQgNTI1IC9Gb250Rml...

Hi. Does puppet v.0.24.4 support Access Control Lists (ACLs)? Can''t find any documentation on this, so I''m guessing it''s not supported yet. Regards, Kenneth Holter --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Puppet Users" group. To post to this group, send email to

Hello list. I''ve (hopefully) gotten nginx and mongrel up and running, and copied the startup script found on http://reductivelabs.com/trac/puppet/wiki/UsingMongrelPound to enable starting puppetmaster by issuing "mongrel_puppetmaster 18140". This makes sure that mongrel i started. But how do I make sure nginx is automatically started? As of now I manually issue the

Hi. I''ve noticed that on servers that are both puppet and LDAP clients, the puppet client will hang if the LDAP server is not reachable. Does anyone know what the reason for this is? Regards, Kenneth Holter --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Puppet Users" group. To post to this

Hi. When registering a new client with the puppetmaster I get the following error: [root@host ~]# puppetd --server puppetmaster --waitforcert 50 --test info: Creating a new certificate request for host info: Creating a new SSL key at /var/lib/puppet/ssl/private_keys/ host.pem warning: peer certificate won''t be verified in this SSL session err: Could not call puppetca.getcert:

Hi. Last night the /var/lib/puppet/clientbucktet directory on one of our production servers suddenly grew about 4 GB, filling up the entire /var partition. Around that time, I see that there was a problem with one of our CIFS mount points (i.e. our CIFS client had problems reaching our CIFS server). We''re using puppet to set up the CIFS mount point. Under the clientbucket folder, I

Hi. I''ve defined a virtual user "kenneth", and depending on a variable in the node definiton I''d like to add the users to different groups. Consider this example: ###### Code start node "server.example.com" { $server_type = "typeA" realize User[kenneth] } @user {"kenneth": ensure => present, uid => 1000,