linux-sparse

2021-05-01 - 2021-06-01 (2 messages)

2021-04-01 - 2021-05-01 (69 messages)

2021-03-01 - 2021-04-01 (86 messages)

 Next  Last 

  1. 2021-04-27  [4] Re: [tglx-devel:x86/l1dflush 7/9] arch/x86/mm/tlb.c:3 linux-spa Thomas Gleixn
  2. 2021-04-26  [1] (No Subject)                                          linux-spa Stephen Borde
  3. 2021-04-21  [7] check idea: warn when mixing signedness in ?: operato linux-spa Dan Carpenter
  4. 2021-04-21  [1] Servicio de la flota                                  linux-spa Alarico Veloz
  5. 2021-04-19  [2] =?utf-8?q?Hallo=2C_Sie_haben_eine_Spende_von_=E2=82=A linux-spa abashi
  6. 2021-04-18  [1] [PATCH] TRUNC(x) {==,!=} C --> AND(x,M) {==,!=} C     linux-spa Luc Van Ooste
  7. 2021-04-18  [1] [PATCH] canonicalize ((x & M) == M) --> ((x & M) != 0 linux-spa Luc Van Ooste
  8. 2021-04-18  [1] [SPARSE 4/4] simplify AND(x >= 0, x < C) --> (unsigne linux-spa Luc Van Ooste
  9. 2021-04-18  [1] [SPARSE 3/4] add helper is_positive()                 linux-spa Luc Van Ooste
 10. 2021-04-18  [1] [SPARSE 2/4] add testcases for AND(x > 0, x <= C) --> linux-spa Luc Van Ooste
 11. 2021-04-18  [1] [SPARSE 1/4] canonicalize constant signed compares to linux-spa Luc Van Ooste
 12. 2021-04-18  [1] [SPARSE 0/4] fix/improve canonicalization of signed c linux-spa Luc Van Ooste
 13. 2021-04-18  [1] [PATCH 3/3] remove early simplification of casts duri linux-spa Luc Van Ooste
 14. 2021-04-18  [1] [PATCH 2/3] simplify TRUNC(NOT(x)) --> NOT(TRUNC(x))  linux-spa Luc Van Ooste
 15. 2021-04-18  [1] [PATCH 1/3] add testcases for simplification of casts linux-spa Luc Van Ooste
 16. 2021-04-18  [1] [PATCH 0/3] remove early simplification of casts duri linux-spa Luc Van Ooste
 17. 2021-04-17  [2] Re: [PATCH 00/10] simplify and canonicalize signed co linux-spa Luc Van Ooste
 18. 2021-04-17  [4] [PATCH] no needs to use MARK_CURRENT_DELETED() for mu linux-spa Ramsay Jones 
 19. 2021-04-16  [1] Spende                                                linux-spa William Kruge
 20. 2021-04-13  [3] [PATCH v2 2/8] builtin: define a symbol_op for a gene linux-spa Luc Van Ooste
 21. 2021-04-12  [1] [PATCH v2 8/8] scheck: support pre-conditions via __a linux-spa Luc Van Ooste
 22. 2021-04-12  [1] [PATCH v2 7/8] scheck: assert_const()                 linux-spa Luc Van Ooste
 23. 2021-04-12  [1] [PATCH v2 6/8] scheck: allow multiple assertions      linux-spa Luc Van Ooste
 24. 2021-04-12  [1] [PATCH v2 5/8] scheck: assert_eq()                    linux-spa Luc Van Ooste
 25. 2021-04-12  [1] [PATCH v2 4/8] scheck: add a symbolic checker         linux-spa Luc Van Ooste
 26. 2021-04-12  [1] [PATCH v2 3/8] .gitignore is a bit too greedy         linux-spa Luc Van Ooste
 27. 2021-04-12  [1] [PATCH v2 1/8] export declare_builtins()              linux-spa Luc Van Ooste
 28. 2021-04-12  [1] [PATCH v2 0/8] scheck: add a symbolic checker         linux-spa Luc Van Ooste
 29. 2021-04-11  [3] [PATCH 2/8] builtin: define a symbol_op for a generic linux-spa Luc Van Ooste
 30. 2021-04-10  [1] [PATCH 5/5] kill redundant stores (local)             linux-spa Luc Van Ooste

 Next  Last