Florian Hahn
Florian Hahn
Currently, the following tests are flaky on some AArch64 hardware code_api|pthreads.pthreads_fork_FLAKY code_api|linux.sigsuspend code_api|pthreads.pthreads_exit code_api|security-common.TestMemProtChg_FLAKY code_api|pthreads.ptsig_FLAKY code_api|linux.fib-conflict code_api|linux.fib-conflict-early
Alive2 verifies the example below as correct, but shouldn't this fail verification? Unless I am missing something, a counter example would be any pointer value for `%arr` so that `%gep.2`...
Alive2 verifies the example below (`nsw` added to `%iv.next` in `%loop`) as correct without any unrolling options and with `--disable-undef-input -tgt-unroll=1 -src-unroll=1`. It fails to verify with `--disable-undef-input -tgt-unroll=2 -src-unroll=2`....
Armv8-a's SVE is a big extension requiring a few changes to the AArch64 backend. At first, I think we need new register types for scalable vector (Z) and predicate (P)...
`SLPVectorizer` transforms the following input `@src` into `@tgt`. According to Alive2, the target is more poisonous than source. ```ll define @src(i32 %a2, i32 %a3) #0 { %cvt2 = sitofp i32...
`InstCombine` transforms the following input `@src` into `@tgt`. According to Alive2, the target is more poisonous than source. Source is `@test_shrink_intrin_fabs_fast_double_src` in `llvm/test/Transforms/InstCombine/double-float-shrink-2.ll` ```ll declare double @llvm.fabs.f64(double) declare float @llvm.fabs.f32(float)...
Use several smaller views (edit_im, edit_services, edit_privacy) instead of edit_finding
Use django-registration instead of dajngopeople.views.SignupView
Add login/registration via Twitter, Google, Facebook.... for example via django-social-auth [1] [1] https://github.com/omab/django-social-auth
If I have this extension installed, Firefox does not ask if passwords should be stored. I am using Firefox 37.0.1 and moz-gnome-keyring-integration 0.8.