| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| | * | | | | | | | | | | | | Merge remote-tracking branch 'savannah/master' into native-comp | Andrea Corallo | 2021-01-24 | 2 | -23/+160 | |
| | |\ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * \ \ \ \ \ \ \ \ \ \ \ \ | Merge remote-tracking branch 'savannah/master' into native-comp | Andrea Corallo | 2021-01-16 | 7 | -22/+147 | |
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge remote-tracking branch 'savannah/master' into HEAD | Andrea Corallo | 2021-01-08 | 2 | -62/+43 | |
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | | | | | Fix bug#45603 | Andrea Corallo | 2021-01-06 | 2 | -0/+33 | |
| | * | | | | | | | | | | | | | | | * test/src/comp-tests.el (cond-rw-1, not-cons, 45576): Rename three tests. | Andrea Corallo | 2021-01-04 | 1 | -3/+3 | |
| | * | | | | | | | | | | | | | | | Fix type inference for bug#45635 | Andrea Corallo | 2021-01-04 | 2 | -0/+20 | |
| | * | | | | | | | | | | | | | | | Fix `functionp' contraining (bug#45576) | Andrea Corallo | 2021-01-02 | 2 | -0/+13 | |
| | * | | | | | | | | | | | | | | | Merge remote-tracking branch 'savannah/master' into HEAD | Andrea Corallo | 2021-01-02 | 39 | -66/+472 | |
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | | | | | | Introduce 'unreachable' LIMPLE operator | Andrea Corallo | 2021-01-01 | 2 | -34/+70 | |
| | * | | | | | | | | | | | | | | | | Fix missing negation handling in a bunch of predicates | Andrea Corallo | 2020-12-29 | 2 | -0/+9 | |
| | * | | | | | | | | | | | | | | | | Constrain mvars under compare and branch with built-in predicates | Andrea Corallo | 2020-12-29 | 1 | -17/+52 | |
| | * | | | | | | | | | | | | | | | | Store function type and expose it with `subr-type' | Andrea Corallo | 2020-12-28 | 1 | -10/+6 | |
| | * | | | | | | | | | | | | | | | | Propagate function calls also when hiddend under funcall | Andrea Corallo | 2020-12-28 | 1 | -1/+6 | |
| | * | | | | | | | | | | | | | | | | Compute function type for native compiled functions | Andrea Corallo | 2020-12-28 | 1 | -1/+1 | |
| | * | | | | | | | | | | | | | | | | Add 1+ 1- integer range propagation support | Andrea Corallo | 2020-12-27 | 1 | -1/+13 | |
| | * | | | | | | | | | | | | | | | | Add sum/subtraction integer range propagation support | Andrea Corallo | 2020-12-27 | 1 | -1/+90 | |
| | * | | | | | | | | | | | | | | | | Merge remote-tracking branch 'savannah/master' into HEAD | Andrea Corallo | 2020-12-27 | 1 | -0/+41 | |
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | | | | | | | Fix missing float handling into `comp-cstr-set-cmp-range' | Andrea Corallo | 2020-12-26 | 1 | -13/+13 | |
| | * | | | | | | | | | | | | | | | | | * test/src/comp-tests.el (comp-tests-type-spec-tests): Add two more test. | Andrea Corallo | 2020-12-26 | 1 | -1/+15 | |
| | * | | | | | | | | | | | | | | | | | Enable integer range narrowing under compare and branch | Andrea Corallo | 2020-12-26 | 1 | -1/+76 | |
| | * | | | | | | | | | | | | | | | | | Extend cstrs pass to match `unless' like code | Andrea Corallo | 2020-12-24 | 1 | -0/+6 | |
| | * | | | | | | | | | | | | | | | | | Extend cstrs pass to match `when' like code | Andrea Corallo | 2020-12-24 | 1 | -1/+7 | |
| | * | | | | | | | | | | | | | | | | | Merge remote-tracking branch 'savannah/master' into HEAD | Andrea Corallo | 2020-12-23 | 1 | -0/+6 | |
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | | | | | | | | Negate only values while constraining variables (bug#45376) | Andrea Corallo | 2020-12-23 | 2 | -3/+25 | |
| | * | | | | | | | | | | | | | | | | | | Make input constraints into memoization hash immutable (bug#45376) | Andrea Corallo | 2020-12-23 | 2 | -0/+18 | |
| | * | | | | | | | | | | | | | | | | | | Fix `comp-add-call-cstr' and add a test | Andrea Corallo | 2020-12-21 | 2 | -0/+16 | |
| | * | | | | | | | | | | | | | | | | | | Fix value type inference for doubly negate constraints | Andrea Corallo | 2020-12-21 | 2 | -0/+14 | |
| | * | | | | | | | | | | | | | | | | | | Fix native compiler tests when they are bytecompiled | Andrea Corallo | 2020-12-21 | 1 | -134/+135 | |
| | * | | | | | | | | | | | | | | | | | | Enhance type inference constraining function arguments | Andrea Corallo | 2020-12-21 | 1 | -2/+2 | |
| | * | | | | | | | | | | | | | | | | | | * Enumerate and split type specifier tests in comp-tests.el to ease debug | Andrea Corallo | 2020-12-21 | 1 | -17/+47 | |
| | * | | | | | | | | | | | | | | | | | | Merge remote-tracking branch 'savannah/master' into HEAD | Andrea Corallo | 2020-12-20 | 4 | -16/+80 | |
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | | | | | | | | | Have native compiler always preserve multibyte strings (bug#45342) | Andrea Corallo | 2020-12-20 | 2 | -0/+10 | |
| | * | | | | | | | | | | | | | | | | | | | * test/src/comp-tests.el (comp-tests-bootstrap): Temp fix bootstrap test. | Andrea Corallo | 2020-12-12 | 1 | -2/+3 | |
| | * | | | | | | | | | | | | | | | | | | | Merge remote-tracking branch 'savannah/master' into HEAD | Andrea Corallo | 2020-12-12 | 5 | -2/+100 | |
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge remote-tracking branch 'savannah/master' into HEAD | Andrea Corallo | 2020-12-06 | 2 | -0/+39 | |
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | | | | | | | | | | | Fix `comp-mvar-symbol-p' and `comp-mvar-cons-p' (bug#44968) | Andrea Corallo | 2020-12-01 | 2 | -0/+14 | |
| | * | | | | | | | | | | | | | | | | | | | | | Merge remote-tracking branch 'savannah/master' into HEAD | Andrea Corallo | 2020-11-29 | 2 | -0/+60 | |
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | | | | | | | | | | | | Add intersection support into comp-cstr.el | Andrea Corallo | 2020-11-27 | 1 | -20/+0 | |
| | * | | | | | | | | | | | | | | | | | | | | | | Move some tests from comp-tests.el to comp-cstr-tests.el | Andrea Corallo | 2020-11-26 | 1 | -60/+1 | |
| | * | | | | | | | | | | | | | | | | | | | | | | Add comp-cstr.el and comp-cstr-tests.el | Andrea Corallo | 2020-11-26 | 1 | -3/+4 | |
| | * | | | | | | | | | | | | | | | | | | | | | | Merge remote-tracking branch 'savannah/master' into HEAD | Andrea Corallo | 2020-11-22 | 5 | -3/+227 | |
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | | | | | | | | | | | | | ; Fix trivial typos | Stefan Kangas | 2020-11-20 | 1 | -2/+2 | |
| | * | | | | | | | | | | | | | | | | | | | | | | | Fix nativecomp cond-rw pass | Andrea Corallo | 2020-11-16 | 2 | -0/+14 | |
| | * | | | | | | | | | | | | | | | | | | | | | | | Merge remote-tracking branch 'savannah/master' into dev | Andrea Corallo | 2020-11-14 | 1 | -4/+0 | |
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | | | | | | | | | | | | | | Add `comp-constraint-to-type-spec' and better handle boolean type spec | Andrea Corallo | 2020-11-14 | 1 | -1/+5 | |
| | * | | | | | | | | | | | | | | | | | | | | | | | | Characterize functions in terms of type specifiers | Andrea Corallo | 2020-11-14 | 1 | -0/+35 | |
| | * | | | | | | | | | | | | | | | | | | | | | | | | Add copy insn testcase | Andrea Corallo | 2020-11-12 | 2 | -0/+21 | |
| | * | | | | | | | | | | | | | | | | | | | | | | | | * Add few more type specifier tests | Andrea Corallo | 2020-11-12 | 1 | -20/+41 | |
| | * | | | | | | | | | | | | | | | | | | | | | | | | * Nativecomp testsuite rework for derived return type specifiers | Andrea Corallo | 2020-11-12 | 1 | -62/+105 | |
| | * | | | | | | | | | | | | | | | | | | | | | | | | Add a nativecomp testcase | Andrea Corallo | 2020-11-12 | 2 | -0/+10 | |