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