Sparse dev tree

Clone this repo:
  1. c4706aa Sparse v0.6.4 by Luc Van Oostenryck · 8 months ago master v0.6.4
  2. 7165d0d Sparse v0.6.4-rc1 by Luc Van Oostenryck · 9 months ago v0.6.4-rc1
  3. cf144c9 Add release notes for incoming v0.6.4 by Luc Van Oostenryck · 9 months ago
  4. f0e6938 Merge branch 'schecker-fixes' by Luc Van Oostenryck · 10 months ago
  5. 72d04aa scheck: fix type of operands in casts by Luc Van Oostenryck · 10 months ago
  6. 732bc04 scheck: mkvar() with target or input type by Luc Van Oostenryck · 10 months ago
  7. 918e9a4 scheck: constants are untyped by Luc Van Oostenryck · 10 months ago
  8. a8ebc72 scheck: ignore OP_NOP & friends by Luc Van Oostenryck · 1 year ago
  9. 0b0d8b1 scheck: better diagnostic for unsupported instructions by Luc Van Oostenryck · 1 year ago
  10. 9980026 fix missing itype in SEL(x, 0/1, 1/0) --> (x ==/!= 0) by Luc Van Oostenryck · 10 months ago
  11. 8af2432 Merge branches misc, cmp-pow2, optim-and-cmp, cmp-and-or and optim-cast-eval into next by Luc Van Oostenryck · 1 year, 1 month ago
  12. 9475049 remove early simplification of casts during evaluation by Luc Van Oostenryck · 1 year, 5 months ago
  13. 9807570 simplify TRUNC(NOT(x)) --> NOT(TRUNC(x)) by Luc Van Oostenryck · 1 year, 5 months ago
  14. 99bf609 TRUNC(x) {==,!=} C --> AND(x,M) {==,!=} C by Luc Van Oostenryck · 1 year, 2 months ago
  15. df7767c simplify AND(x >= 0, x < C) --> (unsigned)x < C by Luc Van Oostenryck · 1 year, 3 months ago optim-and-cmp
  16. 28cd6d6 add helper is_positive() by Luc Van Oostenryck · 1 year, 3 months ago
  17. 7ae82c3 add testcases for AND(x > 0, x <= C) --> x u<= C by Luc Van Oostenryck · 1 year, 1 month ago
  18. 48eb2ca canonicalize constant signed compares toward zero by Luc Van Oostenryck · 1 year, 1 month ago
  19. 09ec74f Merge branches 'fix-phisrc' and 'insert-last-insn' into memops-prep by Luc Van Oostenryck · 1 year, 1 month ago
  20. e1f6c18 add testcases for simplification of casts. by Luc Van Oostenryck · 1 year, 5 months ago