summaryrefslogtreecommitdiff
path: root/test/src
Commit message (Expand)AuthorAgeFilesLines
...
| * Merge remote-tracking branch 'savannah/master' into native-compAndrea Corallo2021-04-197-13/+102
| |\
| * \ Merge remote-tracking branch 'savannah/master' into native-compAndrea Corallo2021-04-133-0/+215
| |\ \
| * \ \ Merge remote-tracking branch 'savannah/master' into native-compAndrea Corallo2021-04-051-3/+3
| |\ \ \
| * \ \ \ Merge remote-tracking branch 'savannah/master' into native-compAndrea Corallo2021-03-312-0/+206
| |\ \ \ \
| * \ \ \ \ Merge remote-tracking branch 'savannah/master' into native-compAndrea Corallo2021-03-251-1/+0
| |\ \ \ \ \
| * \ \ \ \ \ Merge remote-tracking branch 'savannah/master' into native-compAndrea Corallo2021-03-191-0/+2
| |\ \ \ \ \ \
| * | | | | | | Fix some entry in `comp-known-type-specifiers' (bug#46847)Andrea Corallo2021-03-141-1/+1
| * | | | | | | * test/src/comp-test-funcs.el (comp-test-46670-1-f): Remove a warning.Andrea Corallo2021-03-091-1/+1
| * | | | | | | Merge commit '9cbdf20316' into native-compAndrea Corallo2021-03-091-1/+57
| |\ \ \ \ \ \ \
| * | | | | | | | Fix `comp-cstr-intersection-no-hashcons' for negated result cstrAndrea Corallo2021-03-061-1/+8
| * | | | | | | | Fix `=' propagation to handle -0.0 0.0 caseAndrea Corallo2021-03-061-8/+24
| * | | | | | | | Don't call _setjmp through a function pointer (Bug#46824)Pip Cet2021-03-032-2/+22
| * | | | | | | | Fix two compiler ICEs dealing with nan and infinityAndrea Corallo2021-03-031-0/+8
| * | | | | | | | Fix = propagation semantic for constrained inputsAndrea Corallo2021-03-021-1/+28
| * | | | | | | | Fix `eql' `equal' propagation of non hash consed values (bug#46843)Andrea Corallo2021-03-011-1/+15
| * | | | | | | | Don't treat '=' as simple equality emitting constraints (bug#46812)Andrea Corallo2021-02-281-6/+41
| * | | | | | | | Migrate and rename a bunch of functions from comp.el to comp-cstr.elAndrea Corallo2021-02-281-4/+4
| * | | | | | | | Merge remote-tracking branch 'savannah/master' into native-compAndrea Corallo2021-02-262-7/+19
| |\ \ \ \ \ \ \ \
| * | | | | | | | | Do not emit assumptions referencing clobbered mvars (bug#46670)Andrea Corallo2021-02-232-0/+13
| * | | | | | | | | * Fix union constraint for mixed pos/neg constraintsAndrea Corallo2021-02-221-1/+1
| * | | | | | | | | Merge remote-tracking branch 'savannah/master' into HEADAndrea Corallo2021-02-211-8/+31
| |\ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'savannah/master' into native-compAndrea Corallo2021-02-171-0/+28
| |\ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | Fix inverted logic in constraint comparison (bug#46540)Andrea Corallo2021-02-171-1/+28
| * | | | | | | | | | | Merge remote-tracking branch 'savannah/master' into HEADAndrea Corallo2021-02-105-27/+83
| |\ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'savannah/master' into native-compAndrea Corallo2021-01-242-23/+160
| |\ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'savannah/master' into native-compAndrea Corallo2021-01-167-22/+147
| |\ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'savannah/master' into HEADAndrea Corallo2021-01-082-62/+43
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | Fix bug#45603Andrea Corallo2021-01-062-0/+33
| * | | | | | | | | | | | | | | * test/src/comp-tests.el (cond-rw-1, not-cons, 45576): Rename three tests.Andrea Corallo2021-01-041-3/+3
| * | | | | | | | | | | | | | | Fix type inference for bug#45635Andrea Corallo2021-01-042-0/+20
| * | | | | | | | | | | | | | | Fix `functionp' contraining (bug#45576)Andrea Corallo2021-01-022-0/+13
| * | | | | | | | | | | | | | | Merge remote-tracking branch 'savannah/master' into HEADAndrea Corallo2021-01-0239-66/+472
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | Introduce 'unreachable' LIMPLE operatorAndrea Corallo2021-01-012-34/+70
| * | | | | | | | | | | | | | | | Fix missing negation handling in a bunch of predicatesAndrea Corallo2020-12-292-0/+9
| * | | | | | | | | | | | | | | | Constrain mvars under compare and branch with built-in predicatesAndrea Corallo2020-12-291-17/+52
| * | | | | | | | | | | | | | | | Store function type and expose it with `subr-type'Andrea Corallo2020-12-281-10/+6
| * | | | | | | | | | | | | | | | Propagate function calls also when hiddend under funcallAndrea Corallo2020-12-281-1/+6
| * | | | | | | | | | | | | | | | Compute function type for native compiled functionsAndrea Corallo2020-12-281-1/+1
| * | | | | | | | | | | | | | | | Add 1+ 1- integer range propagation supportAndrea Corallo2020-12-271-1/+13
| * | | | | | | | | | | | | | | | Add sum/subtraction integer range propagation supportAndrea Corallo2020-12-271-1/+90
| * | | | | | | | | | | | | | | | Merge remote-tracking branch 'savannah/master' into HEADAndrea Corallo2020-12-271-0/+41
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | | Fix missing float handling into `comp-cstr-set-cmp-range'Andrea Corallo2020-12-261-13/+13
| * | | | | | | | | | | | | | | | | * test/src/comp-tests.el (comp-tests-type-spec-tests): Add two more test.Andrea Corallo2020-12-261-1/+15
| * | | | | | | | | | | | | | | | | Enable integer range narrowing under compare and branchAndrea Corallo2020-12-261-1/+76
| * | | | | | | | | | | | | | | | | Extend cstrs pass to match `unless' like codeAndrea Corallo2020-12-241-0/+6
| * | | | | | | | | | | | | | | | | Extend cstrs pass to match `when' like codeAndrea Corallo2020-12-241-1/+7
| * | | | | | | | | | | | | | | | | Merge remote-tracking branch 'savannah/master' into HEADAndrea Corallo2020-12-231-0/+6
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | | | Negate only values while constraining variables (bug#45376)Andrea Corallo2020-12-232-3/+25
| * | | | | | | | | | | | | | | | | | Make input constraints into memoization hash immutable (bug#45376)Andrea Corallo2020-12-232-0/+18
| * | | | | | | | | | | | | | | | | | Fix `comp-add-call-cstr' and add a testAndrea Corallo2020-12-212-0/+16
View Lorry Controller Status