Displaying 20 results from an estimated 43 matches for "minisat".
2011 Jun 23
1
[LLVMdev] Strange Failure in LLVM Test Suite
Dear All,
I'm getting the following error on Mac OS X when compiling C++ code in
the LLVM test suite:
g++ Output/minisat.llc.s -o Output/minisat.llc -lm -m64
-fomit-frame-pointer -mdynamic-no-pic -lstdc++ -lm
Output/minisat.llc.s:5:Unknown pseudo-op: .cfi_startproc
Output/minisat.llc.s:8:Unknown pseudo-op: .cfi_def_cfa_offset
Output/minisat.llc.s:8:Rest of line ignored. 1st junk character valued
49 (1).
Output/m...
2009 Feb 12
4
[LLVMdev] problems running test suite (-mllvm -disable-llvm-optzns)
...svn/llvm-project/test-suite/trunk$ ./configure
--with-llvmgccdir=/home/foad/llvm/llvm-gcc4.2-2.5-x86-linux-RHEL4
--with-llvmobj=/home/foad/llvm/objdir-svn
--with-llvmsrc=/home/foad/svn/llvm-project/llvm/trunk
[...]
foad at debian:~/svn/llvm-project/test-suite/trunk$ make -C
MultiSource/Applications/minisat/
make: Entering directory
`/home/foad/svn/llvm-project/test-suite/trunk/MultiSource/Applications/minisat'
Compiling Main.cpp to Output/Main.bc
cc1plus: warning: unrecognized gcc debugging option: i
cc1plus: warning: unrecognized gcc debugging option: s
cc1plus: warning: unrecognized gcc debuggi...
2008 Jun 03
0
[LLVMdev] Status of the 2.3 release - volunteers needed.
...sions:
>
> Linux/x86:
> SingleSource/Benchmarks/CoyoteBench/fftbench [ JIT Codegen, JIT]
Increasing ulimit to 230 Mb (from 200Mb) makes fftbench/JIT pass on
mainline.
Maybe JIT should have a higher ulimit because it needs to keep the
bytecode in memory too?
> MultiSource/Applications/minisat/minisat [CBE]
CBE didn't fail for me with the prerelease package, instead JIT failed
on minisat.
Do you want me to retry with llvm 2.3 from the release branch?
>
> Darwin/x86:
> External/SPEC/CINT2006/403.gcc/403.gcc [CBE, but works on mainline..]
>
> Darwin/ppc:
> SingleSo...
2009 Feb 12
0
[LLVMdev] problems running test suite (-mllvm -disable-llvm-optzns)
...unk$ ./configure
> --with-llvmgccdir=/home/foad/llvm/llvm-gcc4.2-2.5-x86-linux-RHEL4
> --with-llvmobj=/home/foad/llvm/objdir-svn
> --with-llvmsrc=/home/foad/svn/llvm-project/llvm/trunk
> [...]
> foad at debian:~/svn/llvm-project/test-suite/trunk$ make -C
> MultiSource/Applications/minisat/
> make: Entering directory
> `/home/foad/svn/llvm-project/test-suite/trunk/MultiSource/Applications/minisat'
> Compiling Main.cpp to Output/Main.bc
> cc1plus: warning: unrecognized gcc debugging option: i
> cc1plus: warning: unrecognized gcc debugging option: s
> cc1plus: war...
2008 Jun 03
10
[LLVMdev] Status of the 2.3 release - volunteers needed.
...bout the status of the 2.3
release. Unfortunately, this release has been very difficult and the
list of regressions very high. The list has finally dwindled down to
the following regressions:
Linux/x86:
SingleSource/Benchmarks/CoyoteBench/fftbench [ JIT Codegen, JIT]
MultiSource/Applications/minisat/minisat [CBE]
Darwin/x86:
External/SPEC/CINT2006/403.gcc/403.gcc [CBE, but works on mainline..]
Darwin/ppc:
SingleSource/Benchmarks/CoyoteBench/fftbench [ CBE ]
External/SPEC/CINT2006/403.gcc/403.gcc [ CBE]
If anyone would like to volunteer to help track down these issues, it
would be very muc...
2009 Mar 09
2
[LLVMdev] [llvm-testresults] cfarm-x86-64 x86_64 nightly tester results
...tainer: -110.33% (1.0080 => 2.1201)
> singlesource/Benchmarks/Shootout-C++/wordfreq: -43.20% (0.5000 => 0.7160)
> multisource/Applications/hbd/hbd: -31.91% (1.7801 => 2.3481)
> multisource/Applications/kimwitu++/kc: -18.78% (32.6580 => 38.7903)
> multisource/Applications/minisat/minisat: -72.05% (1.2160 => 2.0921)
> multisource/Benchmarks/PAQ8p/paq8p: -144.14% (3.2082 => 7.8324)
> multisource/Benchmarks/Trimaran/enc-3des/enc-3des: -9.06% (2.6041 => 2.8401)
> multisource/Benchmarks/tramp3d-v4/tramp3d-v4: -195.05% (22.2893 => 65.7641)
> CBE:
>...
2008 Jan 30
1
[LLVMdev] 2.2 Prerelease available for testing
...ael/
security-rijndael?
% cd MultiSource/Benchmarks/MiBench/security-rijndael/security-rijndael
% make bugpoint-llc
Then file a bugzilla with the output.
If that doesn't work, can you try bugpointing MultiSource/
Applications/SPASS/SPASS (the same way as above)?
> I had to manually kill minisat after it burned >20mins CPU time. Reid
> and I fixed time limits in RunSafely.sh 1.31 (back in the CVS days)
> but
> the change does not appear in the llvm-test tarball.
>
> Reid's commit was:
> http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-
> Mon-20070514/...
2008 Jun 05
0
[LLVMdev] Status of the 2.3 release - volunteers needed.
...release. Unfortunately, this release has been very difficult and
> the list of regressions very high. The list has finally dwindled
> down to the following regressions:
>
> Linux/x86:
> SingleSource/Benchmarks/CoyoteBench/fftbench [ JIT Codegen, JIT]
> MultiSource/Applications/minisat/minisat [CBE]
>
Both of these are now fixed!
> Darwin/x86:
> External/SPEC/CINT2006/403.gcc/403.gcc [CBE, but works on mainline..]
>
This is a gcc bug, so we are ignoring it for the release.
> Darwin/ppc:
> SingleSource/Benchmarks/CoyoteBench/fftbench [ CBE ]
> External/SPE...
2010 Aug 30
2
[LLVMdev] [REQUEST FOR FEEDBACK] Inline asm multiple alternative constraints
...AILED! ********************
******************** TEST (jit) 'lemon' FAILED! ********************
******************** TEST (cbe) 'OpenSSL' FAILED! ********************
******************** TEST (jit) 'OpenSSL' FAILED! ********************
******************** TEST (cbe) 'minisat' FAILED! ********************
******************** TEST (jit) 'minisat' FAILED! ********************
******************** TEST (cbe) 'lua' FAILED! ********************
******************** TEST (cbe) 'Obsequi' FAILED! ********************
******************** TEST (cbe)...
2011 Apr 30
2
[LLVMdev] Greedy register allocation
...Output/nurbs
-3.7% MultiSource/Benchmarks/Ptrdist/bc/Output/bc
-3.4% MultiSource/Applications/lemon/Output/lemon
-3.4% SingleSource/Benchmarks/Misc-C++/Output/bigfib
-3.4% External/SPEC/CFP2000/183.equake/Output/183.equake
-3.2% MultiSource/Applications/hbd/Output/hbd
-3.1% MultiSource/Applications/minisat/Output/minisat
-3.0% MultiSource/Benchmarks/tramp3d-v4/Output/tramp3d-v4
-2.9% External/skidmarks10/Output/skidmarks
-2.9% MultiSource/Benchmarks/ASCI_Purple/SMG2000/Output/smg2000
-2.8% External/SPEC/CINT95/132.ijpeg/Output/132.ijpeg
-2.8% MultiSource/Benchmarks/MiBench/telecomm-gsm/Output/telecom...
2010 Aug 30
0
[LLVMdev] [REQUEST FOR FEEDBACK] Inline asm multiple alternative constraints
...*******
> ******************** TEST (jit) 'lemon' FAILED! ********************
> ******************** TEST (cbe) 'OpenSSL' FAILED! ********************
> ******************** TEST (jit) 'OpenSSL' FAILED! ********************
> ******************** TEST (cbe) 'minisat' FAILED! ********************
> ******************** TEST (jit) 'minisat' FAILED! ********************
> ******************** TEST (cbe) 'lua' FAILED! ********************
> ******************** TEST (cbe) 'Obsequi' FAILED! ********************
> ************...
2010 Aug 30
2
[LLVMdev] [REQUEST FOR FEEDBACK] Inline asm multiple alternative constraints
...*******
> ******************** TEST (jit) 'lemon' FAILED! ********************
> ******************** TEST (cbe) 'OpenSSL' FAILED! ********************
> ******************** TEST (jit) 'OpenSSL' FAILED! ********************
> ******************** TEST (cbe) 'minisat' FAILED! ********************
> ******************** TEST (jit) 'minisat' FAILED! ********************
> ******************** TEST (cbe) 'lua' FAILED! ********************
> ******************** TEST (cbe) 'Obsequi' FAILED! ********************
> ************...
2010 Sep 01
2
[LLVMdev] [REQUEST FOR FEEDBACK] Inline asm multiple alternative constraints
...******************** TEST (jit) 'lemon' FAILED! ********************
>> ******************** TEST (cbe) 'OpenSSL' FAILED! ********************
>> ******************** TEST (jit) 'OpenSSL' FAILED! ********************
>> ******************** TEST (cbe) 'minisat' FAILED! ********************
>> ******************** TEST (jit) 'minisat' FAILED! ********************
>> ******************** TEST (cbe) 'lua' FAILED! ********************
>> ******************** TEST (cbe) 'Obsequi' FAILED! ********************
>&...
2010 Aug 30
0
[LLVMdev] [REQUEST FOR FEEDBACK] Inline asm multiple alternative constraints
...TEST (jit) 'lemon' FAILED! ********************
>> ******************** TEST (cbe) 'OpenSSL' FAILED!
>> ********************
>> ******************** TEST (jit) 'OpenSSL' FAILED!
>> ********************
>> ******************** TEST (cbe) 'minisat' FAILED!
>> ********************
>> ******************** TEST (jit) 'minisat' FAILED!
>> ********************
>> ******************** TEST (cbe) 'lua' FAILED! ********************
>> ******************** TEST (cbe) 'Obsequi' FAILED!
&g...
2010 Sep 02
2
[LLVMdev] [REQUEST FOR FEEDBACK] Inline asm multiple alternative constraints
...********* TEST (jit) 'lemon' FAILED! ********************
>>> ******************** TEST (cbe) 'OpenSSL' FAILED! ********************
>>> ******************** TEST (jit) 'OpenSSL' FAILED! ********************
>>> ******************** TEST (cbe) 'minisat' FAILED! ********************
>>> ******************** TEST (jit) 'minisat' FAILED! ********************
>>> ******************** TEST (cbe) 'lua' FAILED! ********************
>>> ******************** TEST (cbe) 'Obsequi' FAILED! **************...
2010 Sep 02
0
[LLVMdev] [REQUEST FOR FEEDBACK] Inline asm multiple alternative constraints
...n' FAILED! ********************
>>> ******************** TEST (cbe) 'OpenSSL' FAILED!
>>> ********************
>>> ******************** TEST (jit) 'OpenSSL' FAILED!
>>> ********************
>>> ******************** TEST (cbe) 'minisat' FAILED!
>>> ********************
>>> ******************** TEST (jit) 'minisat' FAILED!
>>> ********************
>>> ******************** TEST (cbe) 'lua' FAILED! ********************
>>> ******************** TEST (cbe) 'Obseq...
2020 Feb 20
3
[RFC] Allowing debug intrinsics to reference multiple SSA Values
...1 0 3 45 10 0 4
Lua 270 12 54 0 12 46 32 1 0
minisat 458 10 10 3 1 35 4 0 0
sgefa 439 1 121 0 20 14 5...
2010 Sep 02
0
[LLVMdev] [REQUEST FOR FEEDBACK] Inline asm multiple alternative constraints
...***************
>>>> ******************** TEST (cbe) 'OpenSSL' FAILED!
>>>> ********************
>>>> ******************** TEST (jit) 'OpenSSL' FAILED!
>>>> ********************
>>>> ******************** TEST (cbe) 'minisat' FAILED!
>>>> ********************
>>>> ******************** TEST (jit) 'minisat' FAILED!
>>>> ********************
>>>> ******************** TEST (cbe) 'lua' FAILED! ********************
>>>> ******************** T...
2008 Jan 28
0
[LLVMdev] 2.2 Prerelease available for testing
...ited abnormally
Running /home/llvm/llvm-2.2/test/CodeGen/ARM/dg.exp ...
$ cd ../llvm-test-2.2
$ ./configure --prefix=/home/llvm/local \
--with-llvmsrc=/home/llvm/llvm-2.2 --with-llvmobj=/home/llvm/obj-llvm
$ gmake TEST=nightly report
The report.nightly.txt is attached.
I had to manually kill minisat after it burned >20mins CPU time. Reid
and I fixed time limits in RunSafely.sh 1.31 (back in the CVS days) but
the change does not appear in the llvm-test tarball.
Reid's commit was:
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20070514/049803.html
--Emil
-------------- nex...
2012 Aug 31
0
[LLVMdev] Announcement: Version 2012.2 of LLBMC available
...-memcpy=<method>
- New, additional output format: SMTLIB (versions 1 and 2)
- Support for many GCC/LLVM built-in functions (e.g., __builtin_parity())
- Improved counterexample traces
- LLBMC is now based on LLVM 3.1
- New version of STP (revision 1666)
- Support for backend solver "MiniSat and propagators" in STP
- Option --friendly-protoypes renamed to --ignore-missing-function-bodies
- General stability and performance improvements
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4880 bytes...