search for: hsat

...ild of llvm-dis incorrectly complains about the > bytecode signature (regular build disassembles it fine). I don't think the regular build does. Did you forget a 'b'? > Second, -W[al],-disable-opt don't work with the new frontend for some > reason: > > carrot:~/tmp/hsat> llvm-gcc -lm -Wl,-disable-opt hsat.c -o > hsat.bc > /usr/bin/ld: bad -rpath option > collect2: ld returned 1 exit status > > carrot:~/tmp/hsat> llvm-gcc -lm -Wa,-disable-opt hsat.c -o > hsat.bc > as: unrecognized option `-disable-opt' Right. The old front-end uses...

...----- NULL 0.5.1 HTTPd http server http://nullhttpd.sourceforge.net/httpd/ RABL 1.0.0 blackhole list server designed to monitor global network activity and make decisions based on network spread and infection rate http://nuclearelephant.com/projects/rabl/ GZIP 1.2.4 archiver http://www.gzip.org/ HSAT 1.7 SAT solver http://www.cs.ubc.ca/~babic XSHHTPD 34b09 http server http://www.stack.nl/~johans/xs-httpd/ VSFTPd 2.0.4 ftp server http://vsftpd.beasts.org/ LICQ 1.3.2 multi protocol messenger http://www.licq.org/ NCSA HTTPd 1.5.2a http server http://hoohoo.ncsa.uiuc.edu/docs-1.5/setup/Compilat...