| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | ; Add 2024 to copyright years | Po Lu | 2024-01-02 | 1 | -1/+1 |
| * | ; Update my mail address | Andrea Corallo | 2023-06-08 | 1 | -1/+1 |
| * | ; Add 2023 to copyright years. | Eli Zaretskii | 2023-01-01 | 1 | -1/+1 |
| * | ; Add 2022 to copyright years. | Eli Zaretskii | 2022-01-01 | 1 | -1/+1 |
| * | Have `comp-cstr-intersection-no-mem' intersect pos neg value sets | Andrea Corallo | 2021-04-27 | 1 | -8/+12 |
| * | Rework where `comp-ctxt' is defined. | Andrea Corallo | 2021-04-26 | 1 | -2/+0 |
| * | * Fix comp-cstr tests for vanilla build (bug#48021) | Andrea Corallo | 2021-04-26 | 1 | -0/+2 |
| * | ; Add 2021 to copyright years | Glenn Morris | 2021-04-25 | 1 | -1/+1 |
| * | * Fix two comp-cstr tests | Andrea Corallo | 2021-04-13 | 1 | -2/+2 |
| * | * Fix union constraint for mixed pos/neg constraints | Andrea Corallo | 2021-02-22 | 1 | -1/+3 |
| * | * Add a type specifier test | Andrea Corallo | 2021-01-07 | 1 | -1/+3 |
| * | * Fix a type specifier test | Andrea Corallo | 2021-01-04 | 1 | -1/+1 |
| * | Fix type inference for bug#45635 | Andrea Corallo | 2021-01-04 | 1 | -1/+3 |
| * | Symplify (not t) => nil and (not nil) => t | Andrea Corallo | 2020-12-24 | 1 | -1/+5 |
| * | Fix native compiler tests when they are bytecompiled | Andrea Corallo | 2020-12-21 | 1 | -174/+176 |
| * | Simplify correctly (or (integer 1 1) (not (integer 1 1))) as t | Andrea Corallo | 2020-12-21 | 1 | -1/+3 |
| * | Symplify type specifier (not t) as nil | Andrea Corallo | 2020-12-21 | 1 | -1/+5 |
| * | * Add a type specifier test to comp-cstr-tests.el | Andrea Corallo | 2020-12-21 | 1 | -1/+3 |
| * | * Fix a number of type specifier simplification tests | Andrea Corallo | 2020-12-21 | 1 | -12/+28 |
| * | * Add initial negated non-negegated intersection support | Andrea Corallo | 2020-12-13 | 1 | -1/+23 |
| * | Normalize cstrs for cache hint effectiveness and test stability | Andrea Corallo | 2020-12-12 | 1 | -6/+6 |
| * | * Enumerate type specifier tests to ease debugging | Andrea Corallo | 2020-12-12 | 1 | -6/+60 |
| * | Couple of `comp-cstr-union-1-no-mem' improvements for mixed neg pos union | Andrea Corallo | 2020-12-06 | 1 | -2/+5 |
| * | More improvements to `comp-cstr-union-1' for mixed positive/negative cases | Andrea Corallo | 2020-12-05 | 1 | -2/+13 |
| * | Fix union of homogeneously negated input constraints | Andrea Corallo | 2020-12-05 | 1 | -1/+3 |
| * | Initial support for union of negated constraints | Andrea Corallo | 2020-12-05 | 1 | -1/+8 |
| * | Initial constraint negation support | Andrea Corallo | 2020-12-05 | 1 | -1/+2 |
| * | Add intersection support into comp-cstr.el | Andrea Corallo | 2020-11-27 | 1 | -5/+18 |
| * | Move some tests from comp-tests.el to comp-cstr-tests.el | Andrea Corallo | 2020-11-26 | 1 | -4/+16 |
| * | Add comp-cstr.el and comp-cstr-tests.el | Andrea Corallo | 2020-11-26 | 1 | -0/+68 |
