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